ultimate

Settings | Report Duplicate

0

I Use This!

High Activity

Commits : Listings

Analyzed about 19 hours ago. based on code collected 2 days ago.

Commit Message	Contributor	Files Modified	Lines Added	Lines Removed	Code Location	Date
Sep 29, 2025 — Sep 29, 2026 Showing page 1 of 1,034 Search / Filter on:
Add quantifier elimination benchmark	Matthias Heizmann	More...				2 days ago
Add elimination benchmark	Matthias Heizmann	More...				2 days ago
Make method names consitent	Matthias Heizmann	More...				2 days ago
Fix called method	Matthias Heizmann	More...				2 days ago
Improve analysis of expensive eliminations	Matthias Heizmann	More...				2 days ago
Generalize generation of simplification log messages	Matthias Heizmann	More...				2 days ago
Move method for summary computation to TraceCheckUtils	Matthias Heizmann	More...				4 days ago
ExpressionFactory: Simplify struct accesses on struct constructors	Frank Schüssele	More...				6 days ago
Remove unused variable	Frank Schüssele	More...				6 days ago
Fix off-heap assignments for structs with flexible arrays	Frank Schüssele	More...				6 days ago
Use library method for dumping formulas	Matthias Heizmann	More...				6 days ago
Move and improve methods for dumping formulas	Matthias Heizmann	More...				6 days ago
Extend sort constuction hack	Matthias Heizmann	More...				6 days ago
Extract method	Matthias Heizmann	More...				6 days ago
Add new failing test with flexible arrays	Frank Schüssele	More...				6 days ago
Minor simplification	Frank Schüssele	More...				6 days ago
update versions to 0.3.2 for new release	Frank Schüssele	More...				6 days ago
fix #809: check preconditions of forked procedures at fork site	maul.esel	More...				8 days ago
Fix #810: use proper substitution for call preconditions	maul.esel	More...				8 days ago
add failing test for issue #809	maul.esel	More...				8 days ago
add failing test for issue #810	maul.esel	More...				8 days ago
implement BoogieSubstitution class	maul.esel	More...				9 days ago
BoogieVariableCollector: support collecting only free variables	maul.esel	More...				9 days ago
Move WeakestPrecondition to Library-Icfg to avoid duplication (#770)	Frank Schüssele	More...				9 days ago
Revise method for summary computation in IterativePredicateTransformer	Matthias Heizmann	More...				9 days ago
Remove more unnecessary dependencies from feature.xml	Frank Schüssele	More...				9 days ago
Fix build: Remove unused dependencies from feature.xml	Frank Schüssele	More...				12 days ago
Improve HoareTripleCheckerWithPreconditionRelevanceAnalysis	Matthias Heizmann	More...				13 days ago
Update dependencies	Frank Schüssele	More...				15 days ago
Migrate Eclipse to version 4.41 and remove unused dependencies	Frank Schüssele	More...				15 days ago

←
1
2
3
4
5
6
7
8
9
…
1033
1034
→