openhub.net
Black Duck Software, Inc.
Open Hub
Follow @
OH
Sign In
Join Now
Projects
People
Organizations
Tools
Blog
BDSA
Projects
People
Projects
Organizations
Forums
S
SMTInterpol
Settings
|
Report Duplicate
0
I Use This!
×
Login Required
Log in to Open Hub
Remember Me
Very Low Activity
Commits
: Listings
Analyzed
1 day
ago. based on code collected
1 day
ago.
Jul 22, 2024 — Jul 22, 2025
Showing page 32 of 62
Search / Filter on:
Commit Message
Contributor
Files Modified
Lines Added
Lines Removed
Code Location
Date
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
→
This site uses cookies to give you the best possible experience. By using the site, you consent to our use of cookies. For more information, please see our
Privacy Policy
Agree