S

SMTInterpol

Settings | Report Duplicate

0

I Use This!

Very Low Activity

Commits : Listings

Analyzed 1 day ago. based on code collected 1 day ago.

Commit Message	Contributor	Files Modified	Lines Added	Lines Removed	Code Location	Date
Jul 20, 2024 — Jul 20, 2025 Showing page 22 of 62 Search / Filter on:
Bugfixes	Leonard Fichtner	More...				about 5 years ago
pretty print xml	Daniel Dietsch	More...				about 5 years ago
Added Tests for Single Mus Heuristics	Leonard Fichtner	More...				about 5 years ago
Refactoring of some heuristics and added implementations of group heuristics (untested)	Leonard Fichtner	More...				about 5 years ago
Implemented SingleMusHeuristics (untested)	Leonard Fichtner	More...				about 5 years ago
Merge Master into MUSes	Leonard Fichtner	More...				about 5 years ago
Removed unused member in ReMus	Leonard Fichtner	More...				about 5 years ago
Fix bug in TermEquivalence.	Tanja Schindler	More...				about 5 years ago
Added some tests for edge cases to ReMus	Leonard Fichtner	More...				about 5 years ago
Implemented simple TerminationRequest and an easy timeout in ReMUS without TerminationRequest	Leonard Fichtner	More...				about 5 years ago
Changed Theory of DPLLEngine and fixed little bug in ReMUS	Leonard Fichtner	More...				about 5 years ago
Remove Theory from DPLLEngine	Jochen Hoenicke	More...				about 5 years ago
Added getTheory() to Script interface	Jochen Hoenicke	More...				about 5 years ago
Added Tests for ReMus	Leonard Fichtner	More...				about 5 years ago
Removed shrinkWithoutMap, changed corresponding tests and fixed a bug	Leonard Fichtner	More...				about 5 years ago
Refactoring of ReMUS	Leonard Fichtner	More...				about 5 years ago
Implemented preliminary version of ReMUS	Leonard Fichtner	More...				about 5 years ago
mini Bugfix, refactoring, new test	Leonard Fichtner	More...				about 5 years ago
Refactoring + Implemented getImpliedCrits in UnexploredMap	Leonard Fichtner	More...				about 5 years ago
Introduced workaround for the DPLLEngine overwriting my Preferred Statuses.	Leonard Fichtner	More...				about 5 years ago
More Bugfixes for Unexplored Map	Leonard Fichtner	More...				about 5 years ago
Bugfix	Leonard Fichtner	More...				about 5 years ago
Implemented map and also made some tests for it	Leonard Fichtner	More...				about 5 years ago
Small refactoring	Leonard Fichtner	More...				about 5 years ago
Added Translator class, much refactoring	Leonard Fichtner	More...				about 5 years ago
Remove option array-interpolation (is always enabled).	Tanja Schindler	More...				about 5 years ago
explicit path for jar	danieldietsch	More...				about 5 years ago
update sonar scanner to 2.7.0.162	danieldietsch	More...				about 5 years ago
Interpolator uses only proof tree to color literals.	Tanja Schindler	More...				about 5 years ago
Added optional proofTree to getInterpolants.	Jochen Hoenicke	More...				about 5 years ago

←
1
2
…
18
19
20
21
22
23
24
25
26
…
61
62
→