3 Pull requests merged by 2 people

• Bump the gradle-deps group across 1 directory with 5 updates

  #3536 merged Jan 5, 2025

• Bump the github-actions-deps group with 5 updates

  #3531 merged Jan 5, 2025

• Also depend on checker-qual artifact

  #3535 merged Jan 5, 2025

2 Pull requests opened by 2 people

• Proposing a more flexible lexing framework

  #3537 opened Jan 17, 2025

• Reactivate Checkstyle

  #3539 opened Jan 22, 2025

1 Issue closed by 1 person

• Parse Java files with unknown library methods

  #1663 closed Jan 17, 2025

1 Issue opened by 1 person

• Missing spaces in .key files are ignored

  #3538 opened Jan 20, 2025

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

• Use KeYParser.g4 for parsing proof scripts

  #3021 commented on Jan 29, 2025 • 18 new comments

• 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

• no_state modifier no longer supported

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

• Exploiting JML Names in the Proof Tree

  #3022 commented on Jan 25, 2025 • 0 new comments

• The Removal of Recoder

  #3120 commented on Jan 25, 2025 • 0 new comments

• Create a JSON-RPC for KeY

  #3303 commented on Jan 25, 2025 • 0 new comments

• Nullness Type System for `key.core`

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

• Package structured reworked for sealed packages

  #3473 commented on Jan 25, 2025 • 0 new comments

• Restoration of the formatter for KEY files

  #3494 commented on Jan 24, 2025 • 0 new comments

• Improved treatment of final fields

  #3495 commented on Jan 20, 2025 • 0 new comments

• Isabelle Translation

  #3514 commented on Jan 23, 2025 • 0 new comments