Pull requests: ultimate-pa/ultimate
Author
Label
Projects
Milestones
Reviews
Assignee
Sort
Pull requests list
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!
What’s not been updated in a month: updated:<2024-04-14.