Skip to content

Rebuild MachineOutcome as executable verification reference - #2

Merged
SamCT86 merged 6 commits into
mainfrom
prometheus/executable-reference-v1
Sep 19, 2026
Merged

Rebuild MachineOutcome as executable verification reference#2
SamCT86 merged 6 commits into
mainfrom
prometheus/executable-reference-v1

Reframe MachineOutcome around executable verification proof

226c77c
Select commit
Loading
Failed to load commit list.

Select a check to view from the sidebar