Evan Lezar 29dc25a9c2 feat(proto): replace gpu flag with gpu spec

2026-04-29 15:06:43 +02:00

..

src

feat(proto): replace gpu flag with gpu spec

2026-04-29 15:06:43 +02:00

tests

feat(server): add object meta convention to top-level objects (#919)

2026-04-27 07:16:07 -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