0
I Use This!
Very Low Activity

Commits : Listings

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