S

SMTInterpol

Settings | Report Duplicate

0

I Use This!

Very Low Activity

Commits : Listings

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

Commit Message	Contributor	Files Modified	Lines Added	Lines Removed	Code Location	Date
Jul 20, 2024 — Jul 20, 2025 Showing page 33 of 62 Search / Filter on:
Commented ProofTracker a bit more	Jochen Hoenicke	More...				over 6 years ago
Fixed indentation	Jochen Hoenicke	More...				over 6 years ago
Make Unit-Tests fast again	Jochen Hoenicke	More...				over 6 years ago
Remove outdated checks	Jochen Hoenicke	More...				over 6 years ago
Fix bug in checkClean (expensive assert)	Jochen Hoenicke	More...				over 6 years ago
Simplify LAInterpolator	Jochen Hoenicke	More...				over 6 years ago
Simplified InterpolatorAffineTerm	Jochen Hoenicke	More...				over 6 years ago
Remove unused sort parameter from SMTAffineTerm	Jochen Hoenicke	More...				over 6 years ago
Reworked InterpolatorAtomInfo.	Jochen Hoenicke	More...				over 6 years ago
Simplified CC-Interpolator even more	Jochen Hoenicke	More...				over 6 years ago
Use @EQ in interpolants for equality interpolating	Jochen Hoenicke	More...				over 6 years ago
Simplified interpolation of congruence	Jochen Hoenicke	More...				over 6 years ago
fix intern	Jochen Hoenicke	More...				over 6 years ago
Fixed intern rule and added unit test	Jochen Hoenicke	More...				over 6 years ago
Normalize rational constant terms.	Jochen Hoenicke	More...				over 6 years ago
Make CC proof and proof checking stricter.	Jochen Hoenicke	More...				over 6 years ago
Make intern a rewrite rule	Jochen Hoenicke	More...				over 6 years ago
Remove old Isabelle Proof checker	Jochen Hoenicke	More...				over 6 years ago
Changed normalization of boolean xor terms.	Jochen Hoenicke	More...				over 6 years ago
Find conflict and unit instances of quantified clauses.	Tanja Schindler	More...				over 6 years ago
Added termITEBound axioms	Jochen Hoenicke	More...				over 6 years ago
Non-recursive CC Proof generation and cleanup	Jochen Hoenicke	More...				over 6 years ago
Performance of LetTerm.getSort().	Jochen Hoenicke	More...				over 6 years ago
Fixed bug in Jenkins hash, better hash2 in Cuckoo.	Jochen Hoenicke	More...				over 6 years ago
Prepare instantiation of quantified clauses.	Tanja Schindler	More...				over 6 years ago
Bug fix in pivoter	Jochen Hoenicke	More...				over 6 years ago
Performance fix for Cuckoo Hash	Jochen Hoenicke	More...				over 6 years ago
Get rid of MutableExactInfinetisimalNumber	Jochen Hoenicke	More...				over 6 years ago
Refactoring fix naming of classes	Jochen Hoenicke	More...				over 6 years ago
Always compute exact epsilon for values	Jochen Hoenicke	More...				over 6 years ago

←
1
2
…
29
30
31
32
33
34
35
36
37
…
61
62
→