2009-05-28 | Mathieu Desnoyers | Update spin model | blob | commitdiff | raw |
2009-05-27 | Mathieu Desnoyers | Use define SLAB_SIZE in promela model | blob | commitdiff | raw | diff to current |
2009-05-27 | Mathieu Desnoyers | urcu model wmb/read barrier depend | blob | commitdiff | raw | diff to current |
2009-05-20 | Mathieu Desnoyers | Fix standard (no remote barrier) parity flip bug | blob | commitdiff | raw | diff to current |
2009-05-20 | Mathieu Desnoyers | Special-case reader/writer busy-loop for signals in... | blob | commitdiff | raw | diff to current |
2009-05-20 | Mathieu Desnoyers | Fix single flip test | blob | commitdiff | raw | diff to current |
2009-05-20 | Mathieu Desnoyers | Fix urcu controldataflow model remote barriers | blob | commitdiff | raw | diff to current |
2009-05-19 | Mathieu Desnoyers | Document update in urcu.spin header | blob | commitdiff | raw | diff to current |
2009-05-19 | Mathieu Desnoyers | Add extended urcu model with ooo mem and instruction... | blob | commitdiff | raw | diff to current |