0
I Use This!
Very Low Activity

Commits : Listings

Analyzed about 14 hours ago. based on code collected about 15 hours ago.
Jul 24, 2024 — Jul 24, 2025
Commit Message Contributor Files Modified Lines Added Lines Removed Code Location Date
Fix another bug when computing upper/lower bounds More... about 5 years ago
Bugfix: Create ExcludedMiddle for all Bool terms More... about 5 years ago
Added SMT-COMP slides 2012-2018 More... about 5 years ago
Bugfix: Composites are built from LiteralReason More... about 5 years ago
Minimize conflicts returned by SOIPivoter More... about 5 years ago
Bugfix: Get all oob vars before explaining More... about 5 years ago
remove unnecessary cwd handling in include More... about 5 years ago
Call addTermAxioms even if source is null. More... about 5 years ago
BugFix: Typo in array model generation More... about 5 years ago
Run clausifier after adding term axioms More... about 5 years ago
Bugfix: terms (/ c 0.0) are not constants More... about 5 years ago
BugFix: use representative to access model value More... about 5 years ago
Don't rely on Integer.hashCode() More... about 5 years ago
Fix visibility of getOption More... about 5 years ago
change ddfriendly to use a callback interface More... about 5 years ago
Update build system More... about 5 years ago
Added batch mode. More... about 5 years ago
Added String theory More... about 5 years ago
Get rid of magic strings. More... about 5 years ago
Reworked Parser and environment. More... about 5 years ago
Added all missing logics from SMT-LIB More... about 5 years ago
New Utility Scripts More... about 5 years ago
fix regression tests More... about 5 years ago
Set AssertionStackLevel for instantiated clauses More... about 5 years ago
revert debugging message More... about 5 years ago
Fix a sanity check. More... about 5 years ago
Fixed the excludedMiddle axiom More... about 5 years ago
New Model implementation More... about 5 years ago
Don't print user-defined functions More... about 5 years ago
Save division by zero model More... about 5 years ago