Repository navigation

refactor(prover): remove legacy unused reachability constraints - #1

Closed

eviehoward wants to merge 41 commits into

mainfrom

2412-remove-legacy-reachability-constraints/eviehoward

Commits on Jul 16, 2026

feat!(openshell-cli): remove openshell policy prove command and z3 dependency (#2318)
SDAChess
authored
dd3f27c
fix(server): persist sandbox labels on create (#2306)
matthewgrossman
authored
077adb7
fix: remove mentions of bundled-z3 in CI and wheel builds (#2322)
SDAChess
authored
008193a
fix(gateway): probe Docker socket during driver auto-detection (#2303)
krishicks
authored
cf4decc
chore(deps): bump actions/setup-node from 6.4.0 to 7.0.0 (#2289)
dependabot[bot]
authored
1a0c101
chore(deps): bump softprops/action-gh-release from 3.0.1 to 3.0.2 (#2288)
dependabot[bot]
authored
fe7135a
feat(tui): navigate panels via Up/Down arrow overflow at list boundaries (#2287)
varshaprasad96
authored
d0961cd
feat(providers): AWS STS AssumeRole refresh strategy and aws-s3 profile (#1782)
russellb
authored
aa483ec
rfc-0009: supervisor middleware (#1738)
pimlock
authored
32f0524
test(e2e): run VM suite in CI (#2305)
drew
authored
5402551

Commits on Jul 17, 2026

Commits on Jul 20, 2026

Commits on Jul 21, 2026

Commits on Jul 22, 2026