ultimate

Settings | Report Duplicate

0

I Use This!

Moderate 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
Aug 06, 2025 — Aug 06, 2026 Showing page 1 of 1,028 Search / Filter on:
Update SimplifyQuick	Matthias Heizmann	More...				8 days ago
WebsiteStatic: dependency update	maul.esel	More...				12 days ago
Update settings for WitnessRegressionTestSuite to match SV-COMP settings	Frank Schüssele	More...				14 days ago
Add BigInterval::toString	Frank Schüssele	More...				15 days ago
Replace MathSAT with Z3 in PolynomialRelationTest	Frank Schüssele	More...				18 days ago
MathSAT: Use gmp.dll instead of mpir.dll for Windows	Frank Schüssele	More...				19 days ago
Add full MathSAT version for Windows to README	Frank Schüssele	More...				19 days ago
Update MathSAT to version 5.6.17	Matthias Heizmann	More...				19 days ago
Add method BitvectorConstant#isAllOnes	Matthias Heizmann	More...				23 days ago
Bugfix: Set location for wildcard expression in Boogie	Frank Schüssele	More...				about 1 month ago
Adapt error paths in backtranslation tests	Frank Schüssele	More...				about 1 month ago
Update reference to SV-COMP in README	Frank Schüssele	More...				about 1 month ago
Make field private	Frank Schüssele	More...				about 1 month ago
Move method to check for auxiliary label to BoogieUtils	Frank Schüssele	More...				about 1 month ago
Bugfix: auxiliary_label should not have values	Frank Schüssele	More...				about 1 month ago
Bugfix: Remove unreachable LOIs	Frank Schüssele	More...				about 1 month ago
Move files from RCFGBuilder to IcfgBuilder and to its own library	Frank Schüssele	More...				about 1 month ago
Add Python script to extract witness files from unpacked SV-COMP archives	Manuel Bentele	More...				about 1 month ago
adjust setting names in EPF files	maul.esel	More...				about 1 month ago
fixes for searchAndReplaceInSettings.sh	maul.esel	More...				about 1 month ago
add common utility class for printer plugins	maul.esel	More...				about 1 month ago
WebsiteStatic: routine dependency update	maul.esel	More...				about 1 month ago
Refactor BoogieOutput and BoogiePrettyPrinter	maul.esel	More...				about 1 month ago
remove some duplications of string literals "ULTIMATE.start" resp. ".init"	maul.esel	More...				about 1 month ago
Add Max to main developers	Matthias Heizmann	More...				about 2 months ago
Add Max to main developers	Matthias Heizmann	More...				about 2 months ago
Update link to my website	Matthias Heizmann	More...				about 2 months ago
Add Max to main developers	Matthias Heizmann	More...				about 2 months ago
Update README.md	Matthias Heizmann	More...				about 2 months ago
Add scripts for SMT-COMP 2026 submission	Matthias Heizmann	More...				about 2 months ago

←
1
2
3
4
5
6
7
8
9
…
1027
1028
→