projects / model-checker.git / history
| 2012-10-04 | Brian Demsky | Merge branch 'master' of /home/git/model-checker | blob | commitdiff | raw |
| 2012-10-03 | Brian Norris | Merge remote-tracking branch 'origin/master' | blob | commitdiff | raw |
| 2012-10-03 | Brian Norris | modeltypes: move small typedefs to own header | blob | commitdiff | raw |
| 2012-09-07 | Brian Demsky | Merge branch 'master' of ssh://demsky.eecs.uci.edu... | blob | commitdiff | raw | diff to current |
| 2012-09-07 | Brian Demsky | changes | blob | commitdiff | raw | diff to current |
| 2012-09-06 | Brian Norris | Merge branch 'norris' | blob | commitdiff | raw | diff to current |
| 2012-09-06 | Brian Demsky | working towards making datarace detection work | blob | commitdiff | raw | diff to current |
| 2012-08-02 | Brian Demsky | Add documentation | blob | commitdiff | raw | diff to current |
| 2012-07-06 | Brian Norris | datarace/clockvector: switch 'clocks' to use 'unsigned... | blob | commitdiff | raw | diff to current |
| 2012-07-06 | Brian Demsky | add support for datarace detection... | blob | commitdiff | raw | diff to current |