Repository navigation

Mutex spec tweaks - #167

Closed

pgiarrusso-sl wants to merge 4 commits into

mainfrom

paolo/mutex-spec-tweaks

Closed

Mutex spec tweaks#167
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