3 Pull requests opened by 2 people

• Fix #3452

  #3540 opened Jan 31, 2025

• Fix #3415

  #3541 opened Feb 1, 2025

• Bump the gradle-deps group with 2 updates

  #3542 opened Feb 1, 2025

8 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.

• Rewrite IssueDialog/EditSourceFileAction

  #1621 commented on Jan 31, 2025 • 0 new comments

• AutoModeAction cannot be started when proof tree or task tree is selected

  #3208 commented on Jan 31, 2025 • 0 new comments

• JavacExtension does not work with classpath/bootclasspath

  #3513 commented on Jan 31, 2025 • 0 new comments

• no_state modifier no longer supported

  #3452 commented on Jan 31, 2025 • 0 new comments

• Non-trivial diverges clauses make you prove things twice.

  #29 commented on Feb 1, 2025 • 0 new comments

• TestTacletEquality ignores semantic switches

  #3489 commented on Feb 1, 2025 • 0 new comments

• Use KeYParser.g4 for parsing proof scripts

  #3021 commented on Jan 30, 2025 • 0 new comments

• Nullness Type System for `key.core`

  #3470 commented on Jan 31, 2025 • 0 new comments