ultimate

Settings | Report Duplicate

0

I Use This!

Moderate Activity

Commits : Listings

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

Commit Message	Contributor	Files Modified	Lines Added	Lines Removed	Code Location	Date
Jun 12, 2025 — Jun 12, 2026 Showing page 1 of 1,027 Search / Filter on:
Fix NPE (fixes #785)	Frank Schüssele	More...				1 day ago
Bugfix: Use StatisticsAggregator in ReuseStatisticsGenerator (fixes #786)	Frank Schüssele	More...				2 days ago
website: add Matthias Zumkeller to developers	maul.esel	More...				27 days ago
improved runtime when transferring abtraction from main to worker	Max Barth	More...				about 2 months ago
website: use edited SV-COMP photo (also slightly compressed)	Frank Schüssele	More...				about 2 months ago
website: add picture for SV-COMP 2026	Frank Schüssele	More...				about 2 months ago
Fix launcher JARs in WebBackend.ini	Frank Schüssele	More...				2 months ago
WebsiteStatic: fix settings build (broken by dfa373fe1)	maul.esel	More...				2 months ago
WebsiteStatic: remove duplicate paragraph from main page	maul.esel	More...				2 months ago
add SV-COMP'26 results to website	maul.esel	More...				2 months ago
WebsiteStatic: dependency update	maul.esel	More...				2 months ago
README: add Referee as SV-COMP tool	maul.esel	More...				2 months ago
Support NotAnalyzedResult also in WebBackend	Frank Schüssele	More...				4 months ago
Bugfix: Check for NotAnalyzedResult	Frank Schüssele	More...				4 months ago
Report `NotAnalyzedResult` instead of `UnprovableResult` when analysis stops early (#771)	Frank Schüssele	More...				4 months ago
Bugfix: Use correct import	Frank Schüssele	More...				5 months ago
add nightly build directory to default website deployment	Daniel Dietsch	More...				5 months ago
removed the script exit again, seems to cause regression test fails	Max Barth	More...				5 months ago
without exiting the script here, many instances stay alive	Max Barth	More...				5 months ago
added support for SequentialComposition Edges	Max Barth	More...				5 months ago
copy the program cache, necessary because reporting the same counterexamples from different thread leads to dfferent path programs hashes	Max Barth	More...				5 months ago
removed thread save map / list from pathprogram cache instead do a copy of the cache	Max Barth	More...				5 months ago
added origin script to backtranslation via icdg builder not only via rcfg	Max Barth	More...				5 months ago
website: fix missing word	maul.esel	More...				5 months ago
forgot to remove a comment	Max Barth	More...				6 months ago
Merge pull request #729 from ultimate-pa/merge/mb/parallel-trace-abstraction	Max barth	More...				6 months ago
changed comment	Max Barth	More...				6 months ago
ACSLPrettyPrinter: omit parentheses when allowed by operator precedence (#765)	Dominik Klumpp	More...				6 months ago
C translation: Handle incomplete arrays properly (#764)	Frank Schüssele	More...				6 months ago
Boogie2ACSL: add backtranslation for if-then-else	maul.esel	More...				6 months ago

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