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 23 of 62 Search / Filter on:
Bug fix: mAsserts is set for produce-assertions	Jochen Hoenicke	More...				about 5 years ago
More Tests, small changes in the rest of the code	Leonard Fichtner	More...				about 5 years ago
Bugfixes	Leonard Fichtner	More...				about 5 years ago
2 tests for the shrinker	Leonard Fichtner	More...				about 5 years ago
New extension tests and bugfixes	Leonard Fichtner	More...				about 5 years ago
Bugfixes + Changed Hack/Bugfix in SMTInterpol	Leonard Fichtner	More...				about 5 years ago
Minor changes to the extension test + Hack/Bugfix? in SMTInterpol	Leonard Fichtner	More...				about 5 years ago
Test for low demand getExtension	Leonard Fichtner	More...				about 5 years ago
SMT-COMP Folie 2020	Jochen Hoenicke	More...				about 5 years ago
Refactoring and adding a TestClass for Muses	Leonard Fichtner	More...				about 5 years ago
Added light version of getSatExtension	Leonard Fichtner	More...				about 5 years ago
Merge branch 'MUSes' of https://github.com/ultimate-pa/smtinterpol into MUSes This merge is necessary because after rebasing the master into my branch, git tells me that i need to integrate remote change before pushing again?	Leonard Fichtner	More...				about 5 years ago
Implemented additional Datastructure MUSContainer and integrated it into shrink	Leonard Fichtner	More...				about 5 years ago
Implemented additional Datastructure MUSContainer and integrated it into shrink	Leonard Fichtner	More...				about 5 years ago
Some refactoring and started with easy extension method	Leonard Fichtner	More...				about 5 years ago
Some refactoring and started with easy extension method	Leonard Fichtner	More...				about 5 years ago
Removed randomness in Extensions again	Leonard Fichtner	More...				about 5 years ago
Removed randomness in Extensions again	Leonard Fichtner	More...				about 5 years ago
Made the Extension random	Leonard Fichtner	More...				about 5 years ago
Made the Extension random	Leonard Fichtner	More...				about 5 years ago
Implemented all the medium and hard extension variant	Leonard Fichtner	More...				about 5 years ago
Implemented all the medium and hard extension variant	Leonard Fichtner	More...				about 5 years ago
Implemented basic functionality of CritAdministrationSolver	Leonard Fichtner	More...				about 5 years ago
Implemented basic functionality of CritAdministrationSolver	Leonard Fichtner	More...				about 5 years ago
Refactoring and overall structural changes	Leonard Fichtner	More...				about 5 years ago
Refactoring and overall structural changes	Leonard Fichtner	More...				about 5 years ago
Changed the Shrinking algorithm to use BitSets instead of boolean[]	Leonard Fichtner	More...				about 5 years ago
Changed the Shrinking algorithm to use BitSets instead of boolean[]	Leonard Fichtner	More...				about 5 years ago
Created preliminary version of Shrinker	Leonard Fichtner	More...				about 5 years ago
Created preliminary version of Shrinker	Leonard Fichtner	More...				about 5 years ago

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