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
Deleted some unused classes More... over 6 years ago
Still buggy. More... over 6 years ago
More simplification More... over 6 years ago
Some minor performance changes More... over 6 years ago
Some more cleanup More... over 6 years ago
New Dawg implementation. More... over 6 years ago
Simplified DawgLetter - only one class. More... over 6 years ago
Remove COLNAMES from *DawgLetter* More... over 6 years ago
Allow EPR to run again More... over 6 years ago
Strip all trailing spaces More... over 6 years ago
Small cleanups in LAInterpolator More... over 6 years ago
Optimize deep check. More... over 6 years ago
Split trichotomy interpolation More... over 6 years ago
Refactored InterpolatorClauseTermInfo class. More... over 6 years ago
Refactored EQInterpolator into its own class More... over 6 years ago
Simplified InterpolatorAffineTerm More... over 6 years ago
Get rid of Interpolant class More... over 6 years ago
Get rid of LATerm More... over 6 years ago
Simplify SymbolChecker/Collector More... over 6 years ago
Don't run epr tests More... over 6 years ago
Refactored Interpolant check. More... over 6 years ago
datatype parser first version More... over 6 years ago
Handle CNF transformation for quantified formulas. More... over 6 years ago
Some cleanups, improved proof document More... over 6 years ago
Merge branch 'master' into quantifiers More... over 6 years ago
Fix trueNotFalse axiom More... over 6 years ago
Some simplification of the Clausifier More... over 6 years ago
Reworked clause building proofs More... over 6 years ago
Merge master into quantifiers More... over 6 years ago
Remove old unused classes More... over 6 years ago