S

SMTInterpol

Settings | Report Duplicate

0

I Use This!

Very Low Activity

Commits : Listings

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

Commit Message	Contributor	Files Modified	Lines Added	Lines Removed	Code Location	Date
Jul 29, 2024 — Jul 29, 2025 Showing page 29 of 62 Search / Filter on:
Small performance improvements	Jochen Hoenicke	More...				almost 6 years ago
Recheck bound propagations after backtrack	Jochen Hoenicke	More...				almost 6 years ago
Improved debug messages	Jochen Hoenicke	More...				almost 6 years ago
Support match terms in CheckClosedTerm	Jochen Hoenicke	More...				almost 6 years ago
Better error handling for match; fix toString	Jochen Hoenicke	More...				almost 6 years ago
Fix logging of declareDatatype(s)	Jochen Hoenicke	More...				almost 6 years ago
Merge branch 'datatype' into quantifiers	Jochen Hoenicke	More...				almost 6 years ago
Merge branch 'master' into quantifiers	Jochen Hoenicke	More...				almost 6 years ago
add WrapperScript to Library-SMTLIB and let LoggingScript extend it (#45)	Daniel Dietsch	More...				almost 6 years ago
Bugfix in mixed LA interpolation.	Jochen Hoenicke	More...				almost 6 years ago
Clear unit and conflict clauses after backtracking	Jochen Hoenicke	More...				almost 6 years ago
Added hashcode to InstClause	Jochen Hoenicke	More...				almost 6 years ago
Bug fixes in LA and QuantifierTheory	Jochen Hoenicke	More...				almost 6 years ago
use custom symbol factory implementation provided by newest jh-javacup version (#44)	Daniel Dietsch	More...				almost 6 years ago
Reset clause dawgs after backtracking.	Tanja Schindler	More...				almost 6 years ago
Bug fix:	Jochen Hoenicke	More...				almost 6 years ago
E-Matching uses computeDecideLevelForPath for correct backtracking.	Tanja Schindler	More...				almost 6 years ago
New function computeDecideLevelForPath	Jochen Hoenicke	More...				almost 6 years ago
E-Matching for conflict and unit instance detection.	Tanja Schindler	More...				almost 6 years ago
Bug fixes in Dawg.	Jochen Hoenicke	More...				almost 6 years ago
New dawg functions.	Jochen Hoenicke	More...				almost 6 years ago
Initial implementation of Dawg (untested)	Jochen Hoenicke	More...				almost 6 years ago
Fix null pointer in convertFuncTerm.	Jochen Hoenicke	More...				almost 6 years ago
QuantLiterals are not marked as almost uninterpreted by default anymore.	Tanja Schindler	More...				almost 6 years ago
Fix syntax errors in test cases	Jochen Hoenicke	More...				almost 6 years ago
Fix bug in QuantClause.	Tanja Schindler	More...				almost 6 years ago
Add E-Matching.	Tanja Schindler	More...				almost 6 years ago
Proof documentation: split	Jochen Hoenicke	More...				about 6 years ago
Competition Version 2019	Jochen Hoenicke	More...				about 6 years ago
Fix ConcurrentModificationException.	Tanja Schindler	More...				about 6 years ago

←
1
2
…
25
26
27
28
29
30
31
32
33
…
61
62
→