Repository navigation

Fix JSON-RPC correctness bugs and implement loadProblem - #6

Merged

wadoon merged 4 commits into

mainfrom

fix/java-rpc-correctness

Jun 29, 2026

Commits on Jun 22, 2026

Fix JSON-RPC correctness bugs and implement loadProblem
unp1
committed
4e1515e
Drop racy testLockingAndReleasing (intermittent CI hang)

unp1
and
claude
committed
0e6751d
Detach client on disconnect in TCP server mode

unp1
authored and
wadoon
committed
8a5903f
Merge branch 'main' into fix/java-rpc-correctness
wadoon
authored
e319b69