projects / model-checker.git / history
| 2013-02-12 | Brian Norris | Merge branch 'fences' | blob | commitdiff | raw |
| 2013-01-16 | Brian Norris | tests: litmus: link up Makefile properly | blob | commitdiff | raw |
| 2013-01-15 | Brian Norris | test: Makefile: add $(BASE) variable | blob | commitdiff | raw | diff to current |
| 2012-09-20 | Brian Norris | Makefile: move common Mac flags to common.mk | blob | commitdiff | raw | diff to current |
| 2012-09-20 | Brian Demsky | changes | blob | commitdiff | raw | diff to current |
| 2012-09-20 | Brian Demsky | push changes | blob | commitdiff | raw | diff to current |
| 2012-08-20 | Brian Norris | test/Makefile: remove pointless variable | blob | commitdiff | raw | diff to current |
| 2012-08-02 | Brian Norris | Merge branch 'brian' | blob | commitdiff | raw | diff to current |
| 2012-08-02 | Brian Norris | Makefile: wire up test/ directory for compilation | blob | commitdiff | raw | diff to current |