Explore Help
Sign In
patrick
/
anthem-rs
1
0
Fork
You've already forked anthem-rs
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
Rust 100%
 
Branch: master
master
v0.4.0-beta.1
v0.4.0-beta.2
v0.4.0-beta.3
Branches Tags
${ item.name }
Create tag ${ searchTerm }
Create branch ${ searchTerm }
from 'master'
${ noResults }
anthem-rs/src
History
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
Powered by Gitea Version: 1.16.6 Page: 55ms Template: 4ms
English
Deutsch English español français italiano latviešu Nederlands polski português do Brasil suomi svenska Türkçe čeština български русский српски Українська 日本語 简体中文 繁體中文(台灣) 繁體中文(香港) 한국어
Licenses API Website Go1.18.1