Skip to content

feat(lang): add Yield scheduler and structural lemmas - #1

Open
elefthei wants to merge 5 commits into
mainfrom
lang/yield
Open

feat(lang): add Yield scheduler and structural lemmas#1
elefthei wants to merge 5 commits into
mainfrom
lang/yield

feat(yield): add scheduler fairness proof surface

8f8f47b
Select commit
Loading
Failed to load commit list.
Sign in for the full log view

Annotations

2 warnings
build (9.1, 4.14-flambda)
succeeded Jun 8, 2026 in 14m 5s