-
Notifications
You must be signed in to change notification settings - Fork 40
Pull requests: ultimate-pa/ultimate
Author
Label
Projects
Milestones
Reviews
Assignee
Sort
Pull requests list
Migrate Ultimate to Java 21 and update framework components
build system / releases
dependencies
Pull requests that update a dependency file
enhancement
#672
opened Aug 10, 2024 by
bahnwaerter
•
Draft
Proof Refactoring
Automizer
ICFG-related
witness generation
#671
opened Aug 9, 2024 by
maul-esel
Loading…
Add support for new property check for requirements called State-Recoverability
feature
ReqAnalyzer
#645
opened Aug 15, 2023 by
Tob1as864
Loading…
Fix CDT parser include file handling and support recursion for includes
#639
opened Jun 22, 2023 by
bahnwaerter
•
Draft
Bump yaml from 2.2.1 to 2.2.2 in /trunk/source/WebsiteStatic/bootstrap_dev
dependencies
Pull requests that update a dependency file
javascript
Pull requests that update Javascript code
#628
opened Apr 25, 2023 by
dependabot
bot
Loading…
ProTip!
Mix and match filters to narrow down what you’re looking for.