Skip to content

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

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

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

[Codex] Add scoped_lock contract test and counterexample

57bce7f
Select commit
Loading
Failed to load commit list.
Sign in for the full log view

Annotations

1 notice

The logs for this run have expired and are no longer available.