| .. |
|
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 |
Patrick Lühne
6ca579735b
