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
about 10 hours
ago. based on code collected
about 11 hours
ago.
Jul 24, 2024 — Jul 24, 2025
Showing page 27 of 62
Search / Filter on:
Commit Message
Contributor
Files Modified
Lines Added
Lines Removed
Code Location
Date
Quantifier Theory: Avoid true instances in final check.
Tanja Schindler
More...
over 5 years ago
Evaluate non-ematching literals
Jochen Hoenicke
More...
over 5 years ago
Added and implemented option :propagate-unknown-aux
Jochen Hoenicke
More...
over 5 years ago
Added and implemented option :propagate-unknown-terms
Jochen Hoenicke
More...
over 5 years ago
more proof fixes
Jochen Hoenicke
More...
over 5 years ago
Check forallExists rewrite rule
Jochen Hoenicke
More...
over 5 years ago
Bugfix in proof generation.
Jochen Hoenicke
More...
over 5 years ago
Added another missing getProvedTerm
Jochen Hoenicke
More...
over 5 years ago
Extend E-Matching, proofs for DER instances.
Tanja Schindler
More...
over 5 years ago
Literal dawgs: handle value unknown_term correctly.
Tanja Schindler
More...
over 5 years ago
Fix bug in LA literal evaluation.
Tanja Schindler
More...
over 5 years ago
More stats, bug fix in QuantClause.
Tanja Schindler
More...
over 5 years ago
Normalize affine terms when substituting.
Jochen Hoenicke
More...
over 5 years ago
Partial proof and model handling in quantified logics
Tanja Schindler
More...
over 5 years ago
Report error for quantifiers in qf-theories
Jochen Hoenicke
More...
over 5 years ago
InstantiationManager: reset interesting terms after backtracking.
Tanja Schindler
More...
over 5 years ago
Timeout check in QuantifierTheory.getPropagatedLiteral()
Tanja Schindler
More...
over 5 years ago
Another timeout check.
Tanja Schindler
More...
almost 6 years ago
Handle outofmemory gracefully
Jochen Hoenicke
More...
almost 6 years ago
Added Termination check in ematching
Jochen Hoenicke
More...
almost 6 years ago
Fix bug in QuantifierTheory.
Tanja Schindler
More...
almost 6 years ago
Fix unit test for congruences
Jochen Hoenicke
More...
almost 6 years ago
Do not unify dawgs.
Jochen Hoenicke
More...
almost 6 years ago
Skip congruent terms in reverse trigger
Jochen Hoenicke
More...
almost 6 years ago
Optimize dawgs for arithmetical literals.
Tanja Schindler
More...
almost 6 years ago
More timeout checks.
Tanja Schindler
More...
almost 6 years ago
BugFix: find congruent term when creating new term
Jochen Hoenicke
More...
almost 6 years ago
Fix previous commit.
Tanja Schindler
More...
almost 6 years ago
Reverted some patch partly from August.
Jochen Hoenicke
More...
almost 6 years ago
Simplify finding test subdirectory
Jochen Hoenicke
More...
almost 6 years ago
←
1
2
…
23
24
25
26
27
28
29
30
31
…
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