S

SMTInterpol

Settings | Report Duplicate

0

I Use This!

Very Low Activity

Commits : Listings

Analyzed about 17 hours ago. based on code collected about 17 hours ago.

Commit Message	Contributor	Files Modified	Lines Added	Lines Removed	Code Location	Date
Aug 16, 2024 — Aug 16, 2025 Showing page 12 of 62 Search / Filter on:
More rules and added canonicalSum	Jochen Hoenicke	More...				about 4 years ago
toInt axioms, div axioms and related rules	Jochen Hoenicke	More...				about 4 years ago
Move normalization of rational terms...	Jochen Hoenicke	More...				about 4 years ago
implemented read-const-weakeq, added more axioms	Jochen Hoenicke	More...				about 4 years ago
Simplify array and cc lemma simplification	Jochen Hoenicke	More...				about 4 years ago
Fix output of remaining proof rules.	Jochen Hoenicke	More...				about 4 years ago
Move normalization for rational terms into theory.	Jochen Hoenicke	More...				about 4 years ago
Added read-over-weakeq lemma	Jochen Hoenicke	More...				about 4 years ago
Array rules	Jochen Hoenicke	More...				about 4 years ago
Added Array axioms	Jochen Hoenicke	More...				about 4 years ago
Fixed missing pivot in resolution.	Jochen Hoenicke	More...				about 4 years ago
update website	Tanja Schindler	More...				about 4 years ago
Remove old unused rewrite rules	Jochen Hoenicke	More...				about 4 years ago
Added leqTrue/False.	Jochen Hoenicke	More...				about 4 years ago
Added :xorTrue :xorFalse :xorSame rules.	Jochen Hoenicke	More...				about 4 years ago
Added :orSimp rule.	Jochen Hoenicke	More...				about 4 years ago
implemented EQ lemma	Jochen Hoenicke	More...				about 4 years ago
New proof rules strip and const-diff.	Jochen Hoenicke	More...				about 4 years ago
Changed ltInt to total-int.	Jochen Hoenicke	More...				about 4 years ago
Trichotomy and LA lemma	Jochen Hoenicke	More...				about 4 years ago
Instantiation lemma	Jochen Hoenicke	More...				about 4 years ago
Oracle rule and more proofs implemented.	Jochen Hoenicke	More...				about 4 years ago
Finished rewrite intern, fixed trichotomy.	Jochen Hoenicke	More...				about 4 years ago
Handle aux/skolem correctly.	Jochen Hoenicke	More...				about 4 years ago
Bug fixes	Jochen Hoenicke	More...				about 4 years ago
forall -> exists rewrite	Jochen Hoenicke	More...				about 4 years ago
More linear arithmetic proofs	Jochen Hoenicke	More...				about 4 years ago
Proof trivial diseqs	Jochen Hoenicke	More...				about 4 years ago
Fix ProofMode in unit tests.	Jochen Hoenicke	More...				about 4 years ago
Added options for lowlevel proofs	Jochen Hoenicke	More...				about 4 years ago

←
1
2
…
8
9
10
11
12
13
14
15
16
…
61
62
→