2013-03-18 | Brian Demsky | Merge branch 'master' of ssh://demsky.eecs.uci.edu... | blob | commitdiff | raw |
2013-03-15 | Brian Norris | test: rmwprog: add MODEL_ASSERT | blob | commitdiff | raw |
2013-02-12 | Brian Norris | Merge branch 'fences' | blob | commitdiff | raw | diff to current |
2013-01-22 | Brian Norris | test: rmwprog: support command-line argument | blob | commitdiff | raw | diff to current |
2012-10-09 | Brian Norris | tests: use <stdatomic.h> | blob | commitdiff | raw | diff to current |
2012-10-09 | Brian Norris | move libthreads.h -> include/threads.h | blob | commitdiff | raw | diff to current |
2012-10-09 | Brian Norris | user_main: pass remaining arguments to the user program | blob | commitdiff | raw | diff to current |
2012-09-14 | Brian Norris | Merge branch 'norris' | blob | commitdiff | raw | diff to current |
2012-09-14 | Brian Demsky | add support for dumping cyclegraphs as dot files..... | blob | commitdiff | raw | diff to current |
2012-09-13 | Brian Demsky | commit new test case | blob | commitdiff | raw | diff to current |