-
Notifications
You must be signed in to change notification settings - Fork 27
2nd Hackeython
21/22. Februrary 2024
both days: 10:00 am - 6:00 pm
Karlsruhe
-
JML-based Invariant Dialog -- Having an Invariant Dialog that follows the loop specification/clauses of JML and allows also to enter JML formula might provide an user-friendlier experience.
-
Error Reporting
-
Verification Template -- Providing the best suitable environment for making the side-task of Java verification an ease.
-
Recoder Removal -- We should try to make progress on the removal of the Recoder framework in favor of the javaparser. Current state is debugging and fixing of pattern expression.
-
Remote Procedure API -- Infrastructure on KeY side ready, need a client in Python or other language
-
'System.out.println*' und häufig benötigte Systemfunktionen (wie ArraytoString) in JavaRedux deklarieren und u.U. teilweise auch spezifizieren
-
In the repo, there is a tag
HacKeYthon. Please mark candidate issues and feature requests!