Skip to content

processor: the Kami word instance is coqutil's Naive.word (stacked on #562) - #563

Draft
JasonGross wants to merge 11 commits into
mit-plv:masterfrom
JasonGross:fable/kami-naive-unify
Draft

JasonGross wants to merge 11 commits into
mit-plv:masterfrom
JasonGross:fable/kami-naive-unify

processor, end2end: make the Kami word instance be coqutil's Naive.word

9d947e4
Select commit
Loading
Failed to load commit list.
Sign in for the full log view

Annotations

1 warning
alpine-edge
succeeded Sep 15, 2026 in 39m 44s