urcu.git
2009-09-29  Mathieu DesnoyersUpdate formal model from local copy