John T. Myers dafb7996af fix(docker): add openshell-prover to Dockerfile skeleton stages and provide z3 (#800)

2026-04-10 17:25:23 -07:00

..

src

fix(tui): resolve community image names in sandbox creation (#798)

2026-04-09 16:11:21 -07:00

tests

refactor(proto): rename UpdateSettings to UpdateConfig for consistency with read path (#515)

2026-03-20 16:45:59 -07:00

Cargo.toml

fix(docker): add openshell-prover to Dockerfile skeleton stages and provide z3 (#800)

2026-04-10 17:25:23 -07:00