ultimate

Settings | Report Duplicate

0

I Use This!

Moderate Activity

Commits : Listings

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

Commit Message	Contributor	Files Modified	Lines Added	Lines Removed	Code Location	Date
Jul 14, 2025 — Jul 14, 2026 Showing page 1 of 1,028 Search / Filter on:
Bugfix: Set location for wildcard expression in Boogie	Frank Schüssele	More...				14 days ago
Adapt error paths in backtranslation tests	Frank Schüssele	More...				14 days ago
Update reference to SV-COMP in README	Frank Schüssele	More...				14 days ago
Make field private	Frank Schüssele	More...				15 days ago
Move method to check for auxiliary label to BoogieUtils	Frank Schüssele	More...				15 days ago
Bugfix: auxiliary_label should not have values	Frank Schüssele	More...				15 days ago
Bugfix: Remove unreachable LOIs	Frank Schüssele	More...				15 days ago
Move files from RCFGBuilder to IcfgBuilder and to its own library	Frank Schüssele	More...				17 days ago
Add Python script to extract witness files from unpacked SV-COMP archives	Manuel Bentele	More...				18 days ago
adjust setting names in EPF files	maul.esel	More...				20 days ago
fixes for searchAndReplaceInSettings.sh	maul.esel	More...				20 days ago
add common utility class for printer plugins	maul.esel	More...				20 days ago
WebsiteStatic: routine dependency update	maul.esel	More...				22 days ago
Refactor BoogieOutput and BoogiePrettyPrinter	maul.esel	More...				22 days ago
remove some duplications of string literals "ULTIMATE.start" resp. ".init"	maul.esel	More...				22 days ago
Add Max to main developers	Matthias Heizmann	More...				25 days ago
Add Max to main developers	Matthias Heizmann	More...				25 days ago
Update link to my website	Matthias Heizmann	More...				25 days ago
Add Max to main developers	Matthias Heizmann	More...				25 days ago
Update README.md	Matthias Heizmann	More...				27 days ago
Add scripts for SMT-COMP 2026 submission	Matthias Heizmann	More...				27 days ago
Bugfix: Only remove auxiliary labels	Frank Schüssele	More...				28 days ago
Fix NPE (fixes #785)	Frank Schüssele	More...				about 1 month ago
Bugfix: Use StatisticsAggregator in ReuseStatisticsGenerator (fixes #786)	Frank Schüssele	More...				about 1 month ago
website: add Matthias Zumkeller to developers	maul.esel	More...				about 2 months ago
improved runtime when transferring abtraction from main to worker	Max Barth	More...				3 months ago
website: use edited SV-COMP photo (also slightly compressed)	Frank Schüssele	More...				3 months ago
website: add picture for SV-COMP 2026	Frank Schüssele	More...				3 months ago
Fix launcher JARs in WebBackend.ini	Frank Schüssele	More...				3 months ago
WebsiteStatic: fix settings build (broken by dfa373fe1)	maul.esel	More...				3 months ago

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