source: tests/unified_locking@ 32ab519

ADT arm-eh ast-experimental enum forall-pointer-decay jacob/cs343-translation new-ast-unique-expr pthread-emulation qualifiedEnum
Name Size Rev Age Author Last Change
../
.expect 7404cdc   4 years caparson added updated timeout_lock text
timeout_lock.cfa 2.1 KB ​ b984d54   4 years caparson removed semaphore usage and used a lock when checking if empty
mcs.cfa 968 bytes ​ c51124b   5 years Thierry Delisle Added tests for: - the "0nary" Semaphore, a.k.a. spinaphore. - the mcs lock
locks.cfa 6.2 KB ​ 22b7579   5 years Thierry Delisle Changed is_blocking_lock trait to use on_wakeup. Fixed fast_lock to …
fast.cfa 947 bytes ​ 976bc68   5 years Thierry Delisle Added two more tests for locks
  • Property mode set to 040000
Note: See TracBrowser for help on using the repository browser.