Add futex wakeup spin model
authorMathieu Desnoyers <mathieu.desnoyers@polymtl.ca>
Sat, 26 Sep 2009 06:51:04 +0000 (02:51 -0400)
committerMathieu Desnoyers <mathieu.desnoyers@polymtl.ca>
Sat, 26 Sep 2009 06:51:04 +0000 (02:51 -0400)
commitd4de486929b21b452a6fd94f2ca6c906c0f6b6b2
tree6577756beaa525e9eb47724f95d77e07ba936bc5
parentbc6c15bba37d0e6192c006c4d9815201b36d1988
Add futex wakeup spin model

Signed-off-by: Mathieu Desnoyers <mathieu.desnoyers@polymtl.ca>
formal-model/futex-wakeup/.futex.spin.swp [new file with mode: 0644]
formal-model/futex-wakeup/DEFINES [new file with mode: 0644]
formal-model/futex-wakeup/Makefile [new file with mode: 0644]
formal-model/futex-wakeup/futex.ltl [new file with mode: 0644]
formal-model/futex-wakeup/futex.spin [new file with mode: 0644]
formal-model/futex-wakeup/futex_progress_late_dec.define [new file with mode: 0644]
formal-model/futex-wakeup/futex_progress_no_wake.define [new file with mode: 0644]
This page took 0.025734 seconds and 4 git commands to generate.