This website requires JavaScript.
Explore
Help
Sign In
patrick
/
anthem
Watch
1
Star
0
Fork
0
You've already forked anthem
Code
Issues
15
Releases
21
Activity
Labels
Milestones
New Issue
4 Open
13 Closed
Label
Show archived labels
Use
alt
+
click/enter
to exclude labels
All labels
No label
aesthetic
bug
discussion
documentation
duplicate
enhancement
good first issue
help wanted
invalid
question
suggestion
task
wontfix
Milestone
All milestones
No milestones
Open milestones
anthem 0.2.0
anthem 0.2.1
Closed milestones
anthem 0.1.9
Project
All projects
No project
Author
All authors
Assignee
All assignees
No assignee
patrick
Sort
Newest
Oldest
Recently updated
Least recently updated
Most commented
Least commented
Nearest due date
Farthest due date
4 Open
13 Closed
Close
Label
Clear labels
aesthetic
bug
discussion
documentation
duplicate
enhancement
good first issue
help wanted
invalid
question
suggestion
task
wontfix
Milestone
No milestone
Open milestones
anthem 0.2.0
anthem 0.2.1
Open milestones
anthem 0.1.9
Projects
Clear projects
Assignee
Clear assignees
No assignee
patrick
Avoid unmapping integers in multiplications with TPTP output
enhancement
#36
by
patrick
was closed
2020-02-24 18:34:31 +01:00
anthem 0.2.0
Eliminate division in TPTP output
bug
#34
by
patrick
was closed
2019-01-30 00:30:13 +01:00
anthem 0.2.0
Add “is even” check only for variables that are actual integers
bug
#33
by
patrick
was closed
2019-01-25 00:24:23 +01:00
anthem 0.2.0
Generate program for proving strong equivalence when two input files are provided
enhancement
#32
by
patrick
was closed
2019-01-24 23:29:48 +01:00
anthem 0.2.0
Add option to specify domains of all variables
enhancement
1
#31
by
patrick
was closed
2019-01-17 04:36:52 +01:00
anthem 0.2.0
Don’t perform simplifications with logic of here-and-there
bug
1
#27
by
patrick
was closed
2019-01-16 02:39:05 +01:00
anthem 0.2.0
Handle programs with both integer and program variables in TPTP output
enhancement
#25
by
patrick
was closed
2019-01-23 16:21:16 +01:00
anthem 0.2.0
Show warning if output is subject to logic of here-and-there
enhancement
1
#22
by
patrick
was closed
2019-01-16 02:38:08 +01:00
anthem 0.2.0
Implement new translation scheme for Horn programs
enhancement
1
#21
by
patrick
was closed
2019-01-16 02:37:36 +01:00
anthem 0.2.0
Implement TPTP output format
enhancement
1
#20
by
patrick
was closed
2019-01-13 16:44:36 +01:00
anthem 0.2.0
Investigate Vampire as a theorem prover
discussion
suggestion
1
#18
by
patrick
was closed
2019-01-13 16:42:46 +01:00
anthem 0.2.0
Keywords are unintendedly underlined in the output
aesthetic
bug
1
#16
by
patrick
was closed
2019-01-16 02:55:45 +01:00
anthem 0.2.0
Support unary minus in terms
bug
1
#5
by
patrick
was closed
2019-01-16 02:36:49 +01:00
anthem 0.2.0