Skip to content

Issues: ggrov/tinker

New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

Sign up for GitHub

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

38 Open 59 Closed
38 Open 59 Closed
Author
Filter by author
Loading
Label
Filter by label
Loading
Use alt + click/return to exclude labels
or ⇧ + click/return for logical OR
Projects
Filter by project
Loading
Milestones
Filter by milestone
Loading
Assignee
Filter by who’s assigned
Sort
Sort by
Newest Oldest Most commented Least commented Recently updated Least recently updated Best match
Most reactions
👍 👎 😄 🎉 😕 ❤️ 🚀 👀

Issues list

Quanto lib Priority : High Tinker Core TODO
#97 opened Feb 23, 2017 by lyhlbyl
over-sized json msg Priority : Medium Tinker Core Tinker GUI TODO
#96 opened Nov 10, 2016 by lyhlbyl
sledgehammer approach to call itinker isabelle version Priority : Low Tinker Core
#95 opened Sep 14, 2016 by lyhlbyl
unexpected tactic nodes imported from library Bug Priority : High Tinker GUI
#94 opened Aug 3, 2016 by lyhlbyl
1
clasue goaltype parsing Tinker Core TODO
#90 opened Jun 16, 2016 by lyhlbyl
2
Possible collaboration with Industry TODO
#89 opened May 24, 2016 by lyhlbyl
5 tasks
1
Unstable Tinker Core for Rodin Priority : Low Tinker Core
#88 opened May 3, 2016 by yibo-liang
a todo list for gui Tinker GUI TODO
#86 opened Apr 12, 2016 by lyhlbyl
10 of 20 tasks
9
use xtext to optimise the tactic editor Tinker GUI TODO
#84 opened Mar 15, 2016 by lyhlbyl
type for tactic node Priority : High Tinker Core Tinker GUI TODO
#83 opened Nov 26, 2015 by lyhlbyl
2 tasks
@lyhlbyl
Initial partly instantiated goal node environment
#79 opened Nov 17, 2015 by ggrov
handle tactic argument properly Priority : Medium Tinker Core Tinker GUI TODO
#78 opened Nov 3, 2015 by ggrov
3
Update installation details + webpage Priority : High TODO
#76 opened Sep 29, 2015 by ggrov
1 of 2 tasks
@lyhlbyl
Duplicated goals in pp Bug Priority : Medium proof-power version
#75 opened Sep 17, 2015 by lyhlbyl
1
add a description field for tactic node Priority : Low Tinker Core Tinker GUI TODO
#74 opened Sep 14, 2015 by lyhlbyl
A generic tool to translate psgraph between different json structure Possible Student Project
#73 opened Aug 24, 2015 by lyhlbyl
1
Eclipse version of GUI Possible Student Project
#72 opened Aug 24, 2015 by lyhlbyl
Add support for negation of goal types Priority : High Tinker Core TODO
#71 opened Aug 21, 2015 by ggrov
better support for branching, backtracking, and undo Tinker Core TODO
#64 opened Jul 31, 2015 by lyhlbyl
1 of 3 tasks
@lyhlbyl
to support args for graph tactic Tinker Core TODO
#63 opened Jul 30, 2015 by lyhlbyl
@lyhlbyl
Printing atomic names Tinker GUI TODO
#61 opened Jul 28, 2015 by ggrov
2 tasks
Two way communication protocol
#59 opened Jul 15, 2015 by plebras
1
Testing framework Priority : Low Tinker Core
#57 opened Jul 9, 2015 by ggrov
Integrate environment with Isabelle isabelle version Priority : High Tinker Core TODO
#56 opened Jul 9, 2015 by ggrov
3 tasks
1
type/static checking of clausal goaltype Priority : Low Tinker Core
#55 opened Jul 9, 2015 by ggrov
ProTip! Type g i on any issue or pull request to go back to the issue listing page.