-
Notifications
You must be signed in to change notification settings - Fork 45
OpenAug 15, 2026
Due by December 1, 2026
•Last updated e.g., v3.1.0
33% complete
List view
0 of 36 selected 0 issues of 36 selected
- Status: Open.
- Status: Open.
Rewriter of old to new settings format.
🛠 MaintenanceCode quality and related things w/o functional changesCode quality and related things w/o functional changesStatus: Draft (not ready).- Status: Open.
- Status: Draft (not ready).
- Status: Draft (not ready).
- Status: Open.
- Status: Draft (not ready).
- Status: Draft (not ready).
- Status: Open.
Migrate from ST4 to Apache Freemarker in keyext.proofmanagement
keyext.proofmanagementModule: keyext.proofmanagementModule: keyext.proofmanagement🛠 MaintenanceCode quality and related things w/o functional changesCode quality and related things w/o functional changesStatus: Open (in progress).Proof reordering (WIP)
FeatureNew feature or requestNew feature or requestStatus: Draft (not ready).Cleanup: Removal of the write and read settings using Properties
🛠 MaintenanceCode quality and related things w/o functional changesCode quality and related things w/o functional changesStatus: Draft (not ready).Cleanup: Making the build script fit for the future.
🛠 MaintenanceCode quality and related things w/o functional changesCode quality and related things w/o functional changesStatus: Draft (not ready).- Status: Draft (not ready).
- Status: Open.#3155 In KeYProject/key;
- Status: Open.#3206 In KeYProject/key;
- Status: Open.#3240 In KeYProject/key;
- Status: Open.
Renovations for SMT solvers
External SolversAdditional Solvers such as (SMT, Isabelle, ...Additional Solvers such as (SMT, Isabelle, ...Status: Open.- Status: Open.
- Status: Draft (not ready).
Implement Switch-to-If Without Transformation
FeatureNew feature or requestNew feature or requestStatus: Open.Generation of Java AST classes
JavaPull requests that update Java codePull requests that update Java codeStatus: Draft (not ready).Improve the SMT translation by translating axiom taclets (mostly for invariants)
FeatureNew feature or requestNew feature or requestHacKeYthonCandidate Issue for HacKeYthon '25Candidate Issue for HacKeYthon '25Status: Draft (not ready).