projects / userspace-rcu.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: a725add) | patch
Use nicer LTL formula with eventually for ooomem model
authorMathieu Desnoyers <mathieu.desnoyers@polymtl.ca>
Thu, 4 Jun 2009 18:58:21 +0000 (14:58 -0400)
committerMathieu Desnoyers <mathieu.desnoyers@polymtl.ca>
Thu, 4 Jun 2009 18:58:21 +0000 (14:58 -0400)
commit3f0a3329d1f13d4cf86eace2630c98620b76d6ff
treef0f1674fe361cd37aa05faef5c38458a9af3f961tree | snapshot
parenta725add5d5eeb19f1c4ed6a4bb541e02cf7647b1commit | diff
Use nicer LTL formula with eventually for ooomem model

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