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 29 of 62
Search / Filter on:
Commit Message
Contributor
Files Modified
Lines Added
Lines Removed
Code Location
Date
Small performance improvements
Jochen Hoenicke
More...
almost 6 years ago
Recheck bound propagations after backtrack
Jochen Hoenicke
More...
almost 6 years ago
Improved debug messages
Jochen Hoenicke
More...
almost 6 years ago
Support match terms in CheckClosedTerm
Jochen Hoenicke
More...
almost 6 years ago
Better error handling for match; fix toString
Jochen Hoenicke
More...
almost 6 years ago
Fix logging of declareDatatype(s)
Jochen Hoenicke
More...
almost 6 years ago
Merge branch 'datatype' into quantifiers
Jochen Hoenicke
More...
almost 6 years ago
Merge branch 'master' into quantifiers
Jochen Hoenicke
More...
almost 6 years ago
add WrapperScript to Library-SMTLIB and let LoggingScript extend it (#45)
Daniel Dietsch
More...
almost 6 years ago
Bugfix in mixed LA interpolation.
Jochen Hoenicke
More...
almost 6 years ago
Clear unit and conflict clauses after backtracking
Jochen Hoenicke
More...
almost 6 years ago
Added hashcode to InstClause
Jochen Hoenicke
More...
almost 6 years ago
Bug fixes in LA and QuantifierTheory
Jochen Hoenicke
More...
almost 6 years ago
use custom symbol factory implementation provided by newest jh-javacup version (#44)
Daniel Dietsch
More...
almost 6 years ago
Reset clause dawgs after backtracking.
Tanja Schindler
More...
almost 6 years ago
Bug fix:
Jochen Hoenicke
More...
almost 6 years ago
E-Matching uses computeDecideLevelForPath for correct backtracking.
Tanja Schindler
More...
almost 6 years ago
New function computeDecideLevelForPath
Jochen Hoenicke
More...
almost 6 years ago
E-Matching for conflict and unit instance detection.
Tanja Schindler
More...
almost 6 years ago
Bug fixes in Dawg.
Jochen Hoenicke
More...
almost 6 years ago
New dawg functions.
Jochen Hoenicke
More...
almost 6 years ago
Initial implementation of Dawg (untested)
Jochen Hoenicke
More...
almost 6 years ago
Fix null pointer in convertFuncTerm.
Jochen Hoenicke
More...
almost 6 years ago
QuantLiterals are not marked as almost uninterpreted by default anymore.
Tanja Schindler
More...
almost 6 years ago
Fix syntax errors in test cases
Jochen Hoenicke
More...
almost 6 years ago
Fix bug in QuantClause.
Tanja Schindler
More...
almost 6 years ago
Add E-Matching.
Tanja Schindler
More...
almost 6 years ago
Proof documentation: split
Jochen Hoenicke
More...
almost 6 years ago
Competition Version 2019
Jochen Hoenicke
More...
about 6 years ago
Fix ConcurrentModificationException.
Tanja Schindler
More...
about 6 years ago
←
1
2
…
25
26
27
28
29
30
31
32
33
…
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