S

SMTInterpol

Settings | Report Duplicate

0

I Use This!

Very Low Activity

Commits : Listings

Analyzed about 22 hours ago. based on code collected about 22 hours ago.

Commit Message	Contributor	Files Modified	Lines Added	Lines Removed	Code Location	Date
Jul 20, 2024 — Jul 20, 2025 Showing page 20 of 62 Search / Filter on:
Extend proof system to deal with implied formulas.	Tanja Schindler	More...				almost 5 years ago
Introduce proof rule for universal quantification.	Tanja Schindler	More...				almost 5 years ago
Now also log the size of the constraint set	Leonard Fichtner	More...				almost 5 years ago
Changed logger of internal ReMus-DPLLEngine	Leonard Fichtner	More...				almost 5 years ago
Add rewrite rule for Skolemization.	Tanja Schindler	More...				almost 5 years ago
Now ReMus messes around with the activity of the atoms, such that the DPLLEngine chooses the maximal unexplored subsets more randomly	Leonard Fichtner	More...				almost 5 years ago
Documentation	Leonard Fichtner	More...				almost 5 years ago
Default constructor for MusEnumerationScript	Leonard Fichtner	More...				almost 5 years ago
Override getInterpolants(Term[] partition)	Leonard Fichtner	More...				almost 5 years ago
Check aux terms in ProofChecker.	Tanja Schindler	More...				almost 5 years ago
MusEnumerationScript now has logging turned on per default. Also some tiny changes like logging tolerance and logging on fatal instead of info again	Leonard Fichtner	More...				almost 5 years ago
Fix intern rewrite rule for quantified terms.	Tanja Schindler	More...				almost 5 years ago
Additional constructor for MusEnumeration which takes a LogProxy	Leonard Fichtner	More...				almost 5 years ago
Logging more additional information (about the chosen Mus)	Leonard Fichtner	More...				almost 5 years ago
Cleanup in quantifier solver.	Tanja Schindler	More...				almost 5 years ago
Log more possibly valuable information	Leonard Fichtner	More...				almost 5 years ago
Added Logging Option to MusEnumerationScript	Leonard Fichtner	More...				almost 5 years ago
Added some documentation	Leonard Fichtner	More...				almost 5 years ago
Added FIRST heuristic + test	Leonard Fichtner	More...				almost 5 years ago
Commit for bug report	Leonard Fichtner	More...				almost 5 years ago
Possible bugfix (not actually a bug, but couldve been in the future), new method to change activity of atoms	Leonard Fichtner	More...				almost 5 years ago
Improve collecting interesting instantiation terms.	Tanja Schindler	More...				almost 5 years ago
Fix handling of quantified boolean variables.	Tanja Schindler	More...				almost 5 years ago
Find trivial quantified equalities and disequalities.	Tanja Schindler	More...				almost 5 years ago
Fixed timeout behaviour of MusEnumerationScript	Leonard Fichtner	More...				almost 5 years ago
Implemented additional timeouts for MUS enumeration and the heuristic respectively	Leonard Fichtner	More...				almost 5 years ago
Made generation of MUSes as random as possible, also fixed a bug where a timeout in getSatisfiableExtension would result in an error	Leonard Fichtner	More...				almost 5 years ago
Fixed timeout related stuff of MusEnumerationScript	Leonard Fichtner	More...				almost 5 years ago
More exception handling and documentation for MusEnumerationScripot	Leonard Fichtner	More...				almost 5 years ago
implemented guard for assert, also added more documentation to MusEnumerationScript	Leonard Fichtner	More...				almost 5 years ago

←
1
2
…
16
17
18
19
20
21
22
23
24
…
61
62
→