projects / urcu.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 6af482a) | patch
Use define SLAB_SIZE in promela model
authorMathieu Desnoyers <mathieu.desnoyers@polymtl.ca>
Wed, 27 May 2009 14:38:27 +0000 (10:38 -0400)
committerMathieu Desnoyers <mathieu.desnoyers@polymtl.ca>
Wed, 27 May 2009 14:38:27 +0000 (10:38 -0400)
commitabbe7e27151039f5f56b7130f0043f703862e99c
treeeacfbe91599544ef5da488d807c4f203ab2b3694tree | snapshot
parent6af482a9e24a5ee17eef220b25a050be5df8aa39commit | diff
Use define SLAB_SIZE in promela model

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