Mutex spec tweaks - #167

Open

pgiarrusso-sl wants to merge 4 commits into

mainfrom

paolo/mutex-spec-tweaks

Commits on Sep 10, 2026

[mutex.v]: change token to user; comment out with_RepFor section

dkxb
authored and
pgiarrusso-sl
committed
a67cb26
replace appearance of mutex.token to user

dkxb
authored and
pgiarrusso-sl
committed
3d49757
Tweak spec and client proof
pgiarrusso-sl
committed
10d5ee2
WIP on porting mutex client
pgiarrusso-sl
committed
1770be1