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