source: tests/unified_locking@ 2b910f9

ADT 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 ​ ab388c5   4 years Thierry Delisle alarm.hfa is now a public header Fixed include of timeout_lock.cfa.
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 989 bytes ​ 07033ce   4 years Thierry Delisle Even more work on removing any possible integer overflow in fast lock test
  • Property mode set to 040000
Note: See TracBrowser for help on using the repository browser.