Skip to content

feat(verify): #433 — take ordeal 0.33.0 and decide memory/UF goals via Solver::from_sliver - #435

Merged
avrabe merged 2 commits into
mainfrom
feat/433-ordeal-0.33-from-sliver
Oct 22, 2026
Merged

feat(verify): #433 — take ordeal 0.33.0 and decide memory/UF goals via Solver::from_sliver#435
avrabe merged 2 commits into
mainfrom
feat/433-ordeal-0.33-from-sliver

Merge branch 'main' into feat/433-ordeal-0.33-from-sliver

74ea254
Select commit
Loading
Failed to load commit list.

Select a check to view from the sidebar