2013-03-19 | Brian Demsky | add copyright message | blob | commitdiff | raw |
2013-03-18 | Brian Demsky | Merge branch 'master' of ssh://demsky.eecs.uci.edu... | blob | commitdiff | raw | diff to current |
2013-03-18 | Brian Demsky | update git repository with license... GPL v2 | blob | commitdiff | raw | diff to current |
2013-03-06 | Brian Demsky | documentation update | blob | commitdiff | raw | diff to current |
2012-11-19 | Brian Norris | README: add verbose (-v) argument | blob | commitdiff | raw | diff to current |
2012-11-15 | Brian Demsky | Merge branch 'master' of /home/git/model-checker | blob | commitdiff | raw | diff to current |
2012-11-15 | Brian Demsky | merge | blob | commitdiff | raw | diff to current |
2012-11-14 | Brian Norris | README | blob | commitdiff | raw | diff to current |