Issues - anthem - Gitea: Git with a cup of tea

patrick

/

anthem

New Issue

Detect integer variables and predicate parameters

#2 by patrick was closed 2018-04-21 17:14:51 +02:00 anthem 0.1.9

Implement integer simplification rules

#3 by patrick was closed 2018-04-22 13:17:48 +02:00 anthem 0.1.9

Support unary minus in terms

#5 by patrick was closed 2019-01-16 02:36:49 +01:00 anthem 0.2.0

Add unit tests for testing equality of formulas and terms

#9 by patrick was closed 2018-05-03 16:59:08 +02:00 anthem 0.1.9

Make completion, simplifications, and integer variable detection the default

#11 by patrick was closed 2018-05-04 16:05:17 +02:00 anthem 0.1.9

Add unit tests for integer variable detection

#12 by patrick was closed 2018-05-02 18:38:23 +02:00 anthem 0.1.9

Incorrect translation of choice rule with multiple elements

#13 by patrick was closed 2018-05-04 15:22:03 +02:00 anthem 0.1.9

Handle noninteger intervals appropriately

#15 by patrick was closed 2018-04-22 17:35:38 +02:00 anthem 0.1.9

Keywords are unintendedly underlined in the output

#16 by patrick was closed 2019-01-16 02:55:45 +01:00 anthem 0.2.0

Update readme for release 0.1.9

#17 by patrick was closed 2018-05-04 17:00:14 +02:00 anthem 0.1.9

Investigate Vampire as a theorem prover

#18 by patrick was closed 2019-01-13 16:42:46 +01:00 anthem 0.2.0

Verify interval operator precedence in output

#19 by patrick was closed 2018-05-04 15:52:44 +02:00 anthem 0.1.9

Implement TPTP output format

#20 by patrick was closed 2019-01-13 16:44:36 +01:00 anthem 0.2.0

Implement new translation scheme for Horn programs

#21 by patrick was closed 2019-01-16 02:37:36 +01:00 anthem 0.2.0

Show warning if output is subject to logic of here-and-there

#22 by patrick was closed 2019-01-16 02:38:08 +01:00 anthem 0.2.0

Handle programs with both integer and program variables in TPTP output

#25 by patrick was closed 2019-01-23 16:21:16 +01:00 anthem 0.2.0

Handle placeholders in TPTP output

#26 by patrick was closed 2020-02-24 18:34:02 +01:00 anthem 0.2.1

Don’t perform simplifications with logic of here-and-there

#27 by patrick was closed 2019-01-16 02:39:05 +01:00 anthem 0.2.0

Add option to specify domains of all variables

#31 by patrick was closed 2019-01-17 04:36:52 +01:00 anthem 0.2.0

Generate program for proving strong equivalence when two input files are provided

#32 by patrick was closed 2019-01-24 23:29:48 +01:00 anthem 0.2.0

1 2