Skip to content

Create a JSON-RPC for KeY#3303

Draft
wadoon wants to merge 38 commits into
mainfrom
weigl/jsonrpc
Draft

Create a JSON-RPC for KeY#3303
wadoon wants to merge 38 commits into
mainfrom
weigl/jsonrpc

Fix server API name and example chooser

f3092ad
Select commit
Loading
Failed to load commit list.
Sign in for the full log view
integration-tests (testProveRules, ubuntu-latest, 21)
succeeded Jun 11, 2026 in 2m 55s