patrick
/
anthem-rs
1
0
Fork 0
Code Issues Pull Requests Releases Wiki Activity
You can not select more than 25 topics Topics must start with a letter or number, can include dashes ('-') and can be up to 35 characters long.
162 Commits
1 Branch
3 Tags
444 KiB
 
Branch: master
Branches Tags
${ item.name }
Create tag ${ searchTerm }
Create branch ${ searchTerm }
from 'master'
${ noResults }
anthem-rs/src
Patrick Lühne 6ca579735b
Add simplification rule 		2 years ago
..
commands Accept more than one specification file 2 years ago
input Show all predicates used in specification by default 2 years ago
output Add option to specify output color choice 2 years ago
problem Require supertight programs for backward proof 2 years ago
translate Implement tightness check 2 years ago
utils Check that only input predicates are used in assumptions 2 years ago
ast.rs Allow U, V, and W for program variables 2 years ago
commands.rs Implement proof mechanism 2 years ago
error.rs Improve error message 2 years ago
input.rs Work in progress 2 years ago
lib.rs Use custom foliage flavor 2 years ago
main.rs Make bidirectional proof the default 2 years ago
output.rs Add option to specify output color choice 2 years ago
problem.rs Improve wording in status output 2 years ago
simplify.rs Add simplification rule 2 years ago
translate.rs Refactoring to support TPTP output 2 years ago
utils.rs Check that only input predicates are used in assumptions 2 years ago