Repository navigation

All pull requests

Fix some Gradle deprecations
#4017Drodt opened Oct 30, 2026Member
Fix javac lint warnings in KeY (deprecation, unchecked, rawtypes)
#4004wadoon opened Oct 24, 2026Member
19
JSpecify nullness annotations (WIP): follow-up of PR #3470
#4003wadoon opened Oct 24, 2026Member8 of 12 tasks
Remove deprecated ImmutableArray in favor of ImmutableList
#4001wadoon opened Oct 24, 2026Member6 tasks done v3.1.0
9
JMLtk takes over the Parsing and Everything
#3997wadoon opened Oct 24, 2026Member13 tasks done
9
A JavaFX UI for KeY
#3993wadoon opened Oct 7, 2026Member
9
remove Main.getWorkingDir()
#3982wadoon opened Aug 29, 2026Member v3.1.0
3
Generate user documentation for varconds and proof script commands
#3977wadoon opened Aug 20, 2026Member8 tasks done v3.1.0
27
Support for <expr> instanceof <Type> <var>
#3976wadoon opened Aug 19, 2026Member5 of 8 tasks v3.1.0
3
JML Lemmas and proof scripts in model methods
#3971mattulbrich opened Aug 17, 2026Member3 of 5 tasks v3.1.0
Interactive Proof Replayer
#3897wadoon opened Jul 6, 2026Member5 of 10 tasks v3.1.0
1
RFC / KEP-1: Taclet-generating transformers (lemmas instead of metaconstructs, built-in rules, etc.)
#3893unp1 opened Jul 5, 2026Member
2
Term label cleanup: simpler framework, label-agnostic term equality
#3884unp1 opened Jul 3, 2026Member12 tasks done v3.1.0
2
Generation of Java AST classes
#3809wadoon opened Apr 19, 2026Member3 of 9 tasks v3.1.0
Prepare for KeY 2.12.4
#3780unp1 opened Mar 20, 2026Member4 tasks
2
Handle Switch in Taclets w/o Transformer
#3761Drodt opened Mar 13, 2026Member1 task v3.1.0
3
Lambda support by transformation
#3759wadoon opened Mar 11, 2026Member7 tasks done v3.1.0
20
Move strategies to NCore
#3743unp1 opened Feb 12, 2026Member1 task
Optimize UI updates of slicing panel
#3735FliegendeWurst opened Feb 10, 2026Member
6
Add the Universe Type Checker as a Dependency
#3725PiIsRational opened Jan 26, 2026Contributor1 of 3 tasks
Universe Type Rules
#3724PiIsRational opened Jan 26, 2026Contributor3 of 6 tasks v3.1.0
3
Fix handling of \values keyword
#3718FliegendeWurst opened Jan 14, 2026Member1 task
4
Expand OSS steps when saving a proof for more deterministic Proofs
#3707Drodt opened Jan 8, 2026Member2 tasks
Multi Sets
#3698lks9 opened Dec 11, 2025Contributor6 tasks v3.1.0
12
Rewriting the settings in KeY files to the new format.
#3688wadoon opened Nov 22, 2025Member v3.1.0

Navigation Menu

Repository navigation

All pull requests

Fix some Gradle deprecations

Fix javac lint warnings in KeY (deprecation, unchecked, rawtypes)

JSpecify nullness annotations (WIP): follow-up of PR #3470

Remove deprecated ImmutableArray in favor of ImmutableList

JMLtk takes over the Parsing and Everything

A JavaFX UI for KeY

remove Main.getWorkingDir()

Generate user documentation for varconds and proof script commands

Support for `<expr> instanceof <Type> <var>`

JML Lemmas and proof scripts in model methods

Interactive Proof Replayer

RFC / KEP-1: Taclet-generating transformers (lemmas instead of metaconstructs, built-in rules, etc.)

Term label cleanup: simpler framework, label-agnostic term equality

Generation of Java AST classes

Prepare for KeY 2.12.4

Handle Switch in Taclets w/o Transformer

Lambda support by transformation

Move strategies to NCore

Optimize UI updates of slicing panel

Add the Universe Type Checker as a Dependency

Universe Type Rules

Fix handling of \values keyword

Expand OSS steps when saving a proof for more deterministic Proofs

Multi Sets

Rewriting the settings in KeY files to the new format.

Pull requests