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 22, 2024 — Jul 22, 2025 Showing page 21 of 62 Search / Filter on:
MSS Check of UnexploredMap now succeeds (Bugfix)	Leonard Fichtner	More...				almost 5 years ago
Implemented MSS check for UnexploredMap. Since it makes several tests fail, I commented it out for now.	Leonard Fichtner	More...				almost 5 years ago
Remove weird bugfix for a weird bug which does not occur anymore (which is weird, I assume it does not occur anymore, because of other changes I have made for tests and bugfixes)	Leonard Fichtner	More...				almost 5 years ago
More Exceptions for MusEnumerationScript	Leonard Fichtner	More...				almost 5 years ago
Shrink now uses the simple satisfiableExtension	Leonard Fichtner	More...				almost 5 years ago
Refactoring in ReMus	Leonard Fichtner	More...				almost 5 years ago
Several Bugfixes, 2 new tests for heuristics	Leonard Fichtner	More...				almost 5 years ago
Refactoring + Tests for MusEnumerationScript (Currently the tests fail). Also getUnsatCore has been overridden for unsat core generation by using remus and the specified heuristic	Leonard Fichtner	More...				almost 5 years ago
Added MusOptions	Leonard Fichtner	More...				almost 5 years ago
Little refactoring in translator	Leonard Fichtner	More...				almost 5 years ago
Big structural changes in MusEnumerationScript for interpolation, removed push/pop functionality from Translator, introduced timeout functionality to Heuristics	Leonard Fichtner	More...				almost 5 years ago
Introduced push pop functionality to Translator	Leonard Fichtner	More...				almost 5 years ago
Introduced reset functionality to ReMus	Leonard Fichtner	More...				almost 5 years ago
Proof production for quantified problems.	Tanja Schindler	More...				almost 5 years ago
Bugfixes + big restructuring of MusEnumerationScript	Leonard Fichtner	More...				almost 5 years ago
More Tests for heuristics	Leonard Fichtner	More...				almost 5 years ago
Another test for a heuristic + bugfix	Leonard Fichtner	More...				almost 5 years ago
Implemented the MusEnumerationScript, also bugfix in chooseWidestAmongSmall heuristic	Leonard Fichtner	More...				almost 5 years ago
Moved TimeoutHandler, added Copyright text to several classes	Leonard Fichtner	More...				almost 5 years ago
Renamed IteratorReMus to ReMus	Leonard Fichtner	More...				almost 5 years ago
Added Timeout and TerminationRequest functionality to IteratorReMus, removed old ReMus	Leonard Fichtner	More...				almost 5 years ago
Refactoring, commenting	Leonard Fichtner	More...				almost 5 years ago
Bugfix	Leonard Fichtner	More...				almost 5 years ago
Bugfix	Leonard Fichtner	More...				almost 5 years ago
Implemented Iterator version of Remus (untested)	Leonard Fichtner	More...				almost 5 years ago
Implemented random selection for each heuristic, if heuristic finds a draw, also refactoring of Heuristics	Leonard Fichtner	More...				almost 5 years ago
Changed chooseDifferentMusesWithRespectToStatementsHeuristic§	Leonard Fichtner	More...				almost 5 years ago
Improve colorLiterals().	Tanja Schindler	More...				about 5 years ago
Bugfixes, more tests, changed the chooseDifferentMusesWithRespectToStatements to pick a random mus among the most different muses	Leonard Fichtner	More...				about 5 years ago
report coverage to sonar	Daniel Dietsch	More...				about 5 years ago

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