Repository navigation

fix: require the postcondition at the final state in `Omni.loopDone` - #315

Merged

iamrecursion merged 3 commits into

reilabs:mainfrom

oskarth:fix/loopdone-postcondition

Oct 5, 2026

Merged

fix: require the postcondition at the final state in `Omni.loopDone`#315
iamrecursion merged 3 commits into
reilabs:mainfrom
oskarth:fix/loopdone-postcondition

Commits on Sep 17, 2026
- fix: require the postcondition at the final state in Omni.loopDone
  oskarth
  committed
  f5801d9
- test: add regression tests for the loopDone postcondition premise
  oskarth
  committed
  78211d4
Commits on Sep 25, 2026
- review: address iamrecursion's feedback on #315
  oskarth
  committed
  70e0e27