projects / urcu.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 9598a48) | patch
Add Promela model
authorMathieu Desnoyers <mathieu.desnoyers@polymtl.ca>
Thu, 12 Feb 2009 03:49:22 +0000 (22:49 -0500)
committerMathieu Desnoyers <mathieu.desnoyers@polymtl.ca>
Thu, 12 Feb 2009 03:49:22 +0000 (22:49 -0500)
commit5464000f823e493703feb49d7580a479d3ba54d4
treed156d01f9396c64b3e3da7823eb23c25f0f10609tree | snapshot
parent9598a4814c854780e9ca9bb2cfff8d77442c3db6commit | diff
Add Promela model

From: "Paul E. McKenney" <paulmck@linux.vnet.ibm.com>
Signed-off-by: Mathieu Desnoyers <mathieu.desnoyers@polymtl.ca>
formal-model/urcu.sh [new file with mode: 0644] blob
formal-model/urcu.spin [new file with mode: 0644] blob
Userspace RCU (urcu) for Linux
This page took 0.024368 seconds and 4 git commands to generate.