-
Notifications
You must be signed in to change notification settings - Fork 27
Insights: KeYProject/key
Overview
-
0 Active pull requests
-
- 0 Merged pull requests
- 0 Open pull requests
- 1 Closed issue
- 0 New issues
There hasn’t been any commit activity on KeYProject/key in the last week.
Want to help out?
1 Issue closed by 1 person
-
Parse Java files with unknown library methods
#1663 closed
Jan 17, 2025
5 Unresolved conversations
Sometimes conversations happen on old items that aren’t yet closed. Here is a list of all the Issues and Pull Requests with unresolved conversations.
-
JavacExtension does not work with classpath/bootclasspath
#3513 commented on
Jan 17, 2025 • 0 new comments -
Collected Runtime Exceptions
#1652 commented on
Jan 17, 2025 • 0 new comments -
Ask before closing a proof whose branches are "used" in other proofs
#3469 commented on
Jan 17, 2025 • 0 new comments -
The Removal of Recoder
#3120 commented on
Jan 17, 2025 • 0 new comments -
Restoration of the formatter for KEY files
#3494 commented on
Jan 17, 2025 • 0 new comments