Skip to content

New ghost state for mutex spec & implementation; give up user ghost state. - #173

Draft
dkxb wants to merge 47 commits into
mainfrom
ke/mutex_impl
Draft

New ghost state for mutex spec & implementation; give up user ghost state.#173
dkxb wants to merge 47 commits into
mainfrom
ke/mutex_impl

add double_incr example and proof from paper as a mutex client; add s…

745c734
Select commit
Loading
Failed to load commit list.

Workflow runs completed with no jobs