projects / userspace-rcu.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 4ccf3e7) | patch
Cleanup promela code for wakeup verif
authorMathieu Desnoyers <mathieu.desnoyers@polymtl.ca>
Sat, 26 Sep 2009 12:13:20 +0000 (08:13 -0400)
committerMathieu Desnoyers <mathieu.desnoyers@polymtl.ca>
Sat, 26 Sep 2009 12:13:20 +0000 (08:13 -0400)
commit9b35d5dcf52a88861328f442ee0ef6812ec9b35b
treef18350560e22bf542d63a3b8dbe26bc53b16dd7atree | snapshot
parent4ccf3e7c5f7b23c99278d56e95b82b4e337a172bcommit | diff
Cleanup promela code for wakeup verif

Signed-off-by: Mathieu Desnoyers <mathieu.desnoyers@polymtl.ca>
formal-model/futex-wakeup/futex.ltl diff | blob | blame | history
formal-model/futex-wakeup/futex.spin diff | blob | blame | history
Userspace RCU (urcu) for Linux
This page took 0.025659 seconds and 4 git commands to generate.