Patrick Lühne 6ca579735b

Add simplification rule

2020-06-05 18:58:14 +02:00

..

commands

Accept more than one specification file

2020-05-29 18:54:47 +02:00

input

Show all predicates used in specification by default

2020-05-29 18:41:16 +02:00

output

Add option to specify output color choice

2020-05-22 19:33:06 +02:00

problem

Require supertight programs for backward proof

2020-05-28 05:03:56 +02:00

translate

Implement tightness check

2020-05-29 14:57:00 +02:00

utils

Check that only input predicates are used in assumptions

2020-05-29 17:42:05 +02:00

ast.rs

Allow U, V, and W for program variables

2020-06-05 18:50:09 +02:00

commands.rs

Implement proof mechanism

2020-05-06 00:13:43 +02:00

error.rs

Improve error message

2020-05-29 17:43:02 +02:00

input.rs

Work in progress

2020-05-05 19:40:57 +02:00

lib.rs

Use custom foliage flavor

2020-05-22 02:25:00 +02:00

main.rs

Make bidirectional proof the default

2020-05-29 19:52:30 +02:00

output.rs

Add option to specify output color choice

2020-05-22 19:33:06 +02:00

problem.rs

Improve wording in status output

2020-06-05 18:50:27 +02:00

simplify.rs

Add simplification rule

2020-06-05 18:58:14 +02:00

translate.rs

Refactoring to support TPTP output

2020-02-03 02:57:45 +01:00

utils.rs

Check that only input predicates are used in assumptions

2020-05-29 17:42:05 +02:00