S

SMTInterpol

Settings | Report Duplicate

0

I Use This!

Very Low Activity

Commits : Listings

Analyzed 1 day ago. based on code collected 1 day ago.

Commit Message	Contributor	Files Modified	Lines Added	Lines Removed	Code Location	Date
Jul 22, 2024 — Jul 22, 2025 Showing page 35 of 62 Search / Filter on:
Simplified ArrayInterpolator.	Tanja Schindler	More...				almost 7 years ago
Use polymorphic function symbol for const.	Jochen Hoenicke	More...				almost 7 years ago
Support for constant arrays.	Jochen Hoenicke	More...				almost 7 years ago
Fix visibility of private methods	Jochen Hoenicke	More...				almost 7 years ago
Fix stackoverflow for deeply nested terms.	Jochen Hoenicke	More...				almost 7 years ago
Updated and reworked proof document	Jochen Hoenicke	More...				about 7 years ago
Fixed bug in proof checker and in modulo rewrite	Jochen Hoenicke	More...				about 7 years ago
Handle case where fsym is null.	Jochen Hoenicke	More...				about 7 years ago
Simplify proof tree	Jochen Hoenicke	More...				about 7 years ago
Fix walkAsserted.	Jochen Hoenicke	More...				about 7 years ago
Fix resolution proofs	Jochen Hoenicke	More...				about 7 years ago
Implement SMTAffineTerm.normalize again	Jochen Hoenicke	More...				about 7 years ago
New handling of automatic Int->Real casts	Jochen Hoenicke	More...				about 7 years ago
IRA ite hack	Jochen Hoenicke	More...				about 7 years ago
add logic "HORN" (equivalent to "ALL")	Alexander Nutz	More...				about 7 years ago
No hashcode in Clause.	Jochen Hoenicke	More...				about 7 years ago
SMT-COMP 2018 system description	Jochen Hoenicke	More...				about 7 years ago
Fixed proof generation for "trivial" disequalities	Jochen Hoenicke	More...				about 7 years ago
First classes and changes for new quantifier support.	Tanja Schindler	More...				over 7 years ago
Cache results of getOccurrence().	Jochen Hoenicke	More...				over 7 years ago
Reworked Assumptions	Jochen Hoenicke	More...				over 7 years ago
Merge branch 'epr' into quantifiers	Tanja Schindler	More...				over 7 years ago
clean up unnecessary exception handler	Jochen Hoenicke	More...				over 7 years ago
Bugfix: AIOOB in clearAssumptions for empty stack.	Jochen Hoenicke	More...				over 7 years ago
Bugfix: fix previous commit.	Jochen Hoenicke	More...				over 7 years ago
Document ant targets.	Jochen Hoenicke	More...				over 7 years ago
Factor out parseConstant	Jochen Hoenicke	More...				over 7 years ago
Handle nested or in proof checker	Jochen Hoenicke	More...				over 7 years ago
Flatten ands (or in AddAuxAxioms)	Jochen Hoenicke	More...				over 7 years ago
Fix EqualityDestructor, move OccurrenceCounter.	Jochen Hoenicke	More...				over 7 years ago

←
1
2
…
31
32
33
34
35
36
37
38
39
…
61
62
→