S

SMTInterpol

Settings | Report Duplicate

0

I Use This!

Very Low Activity

Commits : Listings

Analyzed about 23 hours ago. based on code collected about 24 hours ago.

Commit Message	Contributor	Files Modified	Lines Added	Lines Removed	Code Location	Date
Jul 26, 2024 — Jul 26, 2025 Showing page 32 of 62 Search / Filter on:
Deleted some unused classes	Jochen Hoenicke	More...				over 6 years ago
Still buggy.	Jochen Hoenicke	More...				over 6 years ago
More simplification	Jochen Hoenicke	More...				over 6 years ago
Some minor performance changes	Jochen Hoenicke	More...				over 6 years ago
Some more cleanup	Jochen Hoenicke	More...				over 6 years ago
New Dawg implementation.	Jochen Hoenicke	More...				over 6 years ago
Simplified DawgLetter - only one class.	Jochen Hoenicke	More...				over 6 years ago
Remove COLNAMES from DawgLetter	Jochen Hoenicke	More...				over 6 years ago
Allow EPR to run again	Jochen Hoenicke	More...				over 6 years ago
Strip all trailing spaces	Jochen Hoenicke	More...				over 6 years ago
Small cleanups in LAInterpolator	Jochen Hoenicke	More...				over 6 years ago
Optimize deep check.	Jochen Hoenicke	More...				over 6 years ago
Split trichotomy interpolation	Jochen Hoenicke	More...				over 6 years ago
Refactored InterpolatorClauseTermInfo class.	Jochen Hoenicke	More...				over 6 years ago
Refactored EQInterpolator into its own class	Jochen Hoenicke	More...				over 6 years ago
Simplified InterpolatorAffineTerm	Jochen Hoenicke	More...				over 6 years ago
Get rid of Interpolant class	Jochen Hoenicke	More...				over 6 years ago
Get rid of LATerm	Jochen Hoenicke	More...				over 6 years ago
Simplify SymbolChecker/Collector	Jochen Hoenicke	More...				over 6 years ago
Don't run epr tests	Jochen Hoenicke	More...				over 6 years ago
Refactored Interpolant check.	Jochen Hoenicke	More...				over 6 years ago
datatype parser first version	Joanna Greulich	More...				over 6 years ago
Handle CNF transformation for quantified formulas.	Tanja Schindler	More...				over 6 years ago
Some cleanups, improved proof document	Jochen Hoenicke	More...				over 6 years ago
Merge branch 'master' into quantifiers	Jochen Hoenicke	More...				over 6 years ago
Fix trueNotFalse axiom	Jochen Hoenicke	More...				over 6 years ago
Some simplification of the Clausifier	Jochen Hoenicke	More...				over 6 years ago
Reworked clause building proofs	Jochen Hoenicke	More...				over 6 years ago
Merge master into quantifiers	Jochen Hoenicke	More...				over 6 years ago
Remove old unused classes	Jochen Hoenicke	More...				over 6 years ago

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