ultimate

Settings | Report Duplicate

0

I Use This!

High 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
Feb 11, 2025 — Feb 11, 2026 Showing page 1 of 1,027 Search / Filter on:
Support NotAnalyzedResult also in WebBackend	Frank Schüssele	More...				8 days ago
Bugfix: Check for NotAnalyzedResult	Frank Schüssele	More...				8 days ago
Report `NotAnalyzedResult` instead of `UnprovableResult` when analysis stops early (#771)	Frank Schüssele	More...				9 days ago
Bugfix: Use correct import	Frank Schüssele	More...				15 days ago
add nightly build directory to default website deployment	Daniel Dietsch	More...				20 days ago
removed the script exit again, seems to cause regression test fails	Max Barth	More...				about 1 month ago
without exiting the script here, many instances stay alive	Max Barth	More...				about 1 month ago
added support for SequentialComposition Edges	Max Barth	More...				about 1 month ago
copy the program cache, necessary because reporting the same counterexamples from different thread leads to dfferent path programs hashes	Max Barth	More...				about 1 month ago
removed thread save map / list from pathprogram cache instead do a copy of the cache	Max Barth	More...				about 1 month ago
added origin script to backtranslation via icdg builder not only via rcfg	Max Barth	More...				about 1 month ago
website: fix missing word	maul.esel	More...				about 1 month ago
forgot to remove a comment	Max Barth	More...				about 2 months ago
Merge pull request #729 from ultimate-pa/merge/mb/parallel-trace-abstraction	Max barth	More...				about 2 months ago
changed comment	Max Barth	More...				about 2 months ago
ACSLPrettyPrinter: omit parentheses when allowed by operator precedence (#765)	Dominik Klumpp	More...				about 2 months ago
C translation: Handle incomplete arrays properly (#764)	Frank Schüssele	More...				about 2 months ago
Boogie2ACSL: add backtranslation for if-then-else	maul.esel	More...				about 2 months ago
Boogie2ACSL: replace "isNegated" with "permissible approximation"	maul.esel	More...				about 2 months ago
Boogie2ACSL: exhaustive switch & safe casts	maul.esel	More...				about 2 months ago
Merge remote-tracking branch 'origin/dev' into merge/mb/parallel-trace-abstraction	Max Barth	More...				about 2 months ago
website: update main developers to match github README	maul.esel	More...				about 2 months ago
website: make sure awards on tool pages are up-to-date (by generating them)	maul.esel	More...				about 2 months ago
fix build	Max Barth	More...				about 2 months ago
final points of MR adressed	Max Barth	More...				about 2 months ago
Use junit4 in POM	Frank Schüssele	More...				2 months ago
website: update JS dependencies	maul.esel	More...				2 months ago
website: update ruby dependencies	maul.esel	More...				2 months ago
Bugfix: Actually use IcfgBuilder in BuchiAutomizerCInline_IcfgBuilder.xml toolchain	Frank Schüssele	More...				3 months ago
Merge remote-tracking branch 'origin/dev' into merge/mb/parallel-trace-abstraction	Max Barth	More...				3 months ago

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