Create a JSON-RPC for KeY#3303

Draft

wadoon wants to merge 38 commits into

mainfrom

weigl/jsonrpc

Commits on Jun 11, 2026

some functions for tff
wadoon
committed
different clients
wadoon
committed
wip
wadoon
committed
Creating an JSON-RPC API
wadoon
committed
working on a working minimal version
wadoon
committed
more doc and py generation
wadoon
committed
running for primitive data types, somethings wrong in de-/serialization
wadoon
committed
add throwable adapter
wadoon
committed
spotless and merge errors
wadoon
committed
fix after refactoring + spotless
wadoon
committed
wip
wadoon
committed
start of a simple Java client
wadoon
committed
- Shutdown Callbacks

samysweb
authored and
wadoon
committed
Error message for python generation

samysweb
authored and
wadoon
committed
Updated library and example

samysweb
authored and
wadoon
committed
Added proof api endpoint

samysweb
authored and
wadoon
committed
Attempt at reseting proof control

samysweb
authored and
wadoon
committed
First (incomplete) working proof management endpoint

samysweb
authored and
wadoon
committed
Updated python client for proof endpoint

samysweb
authored and
wadoon
committed
Improved interface, environment disposal

samysweb
authored and
wadoon
committed
Fixed JSON type annotation&retrieval

samysweb
authored and
wadoon
committed
Updated json type annotation on codegen/python side

samysweb
authored and
wadoon
committed
Merge branch 'steuber/jsonrpc' into weigl/jsonrpc

samysweb
authored and
wadoon
committed
Configurable Strategy (not Streategy) options for proof auto mode

samysweb
authored and
wadoon
committed
Extracted node description function

samysweb
authored and
wadoon
committed
Null serialization (necessary due to python class initialization), node labels

samysweb
authored and
wadoon
committed
reformat / remove weakrefs from the data model
wadoon
committed
fix compile error
wadoon
committed
spotless
wadoon
committed
fixing the missing javadoc in the api generator
wadoon
committed
better documentation
wadoon
committed
working on documentation, now with json examples
wadoon
committed
try to make the documentation better
wadoon
committed
better documentation
wadoon
committed
repair branch after rewriting
wadoon
committed
spotless
wadoon
committed
Extensions to the KeY API: Server changes allow now a reconnect

unp1
authored and
wadoon
committed
Fix server API name and example chooser

unp1
authored and
wadoon
committed