projects / model-checker.git / history
| 2012-06-21 | Subramanian Ganapathy | Merge branch 'master' of ssh://demsky.eecs.uci.edu... | blob | commitdiff | raw |
| 2012-06-06 | Brian Norris | .gitignore: ignore docs directory | blob | commitdiff | raw |
| 2012-05-21 | Brian Norris | .gitignore: fixup bad merge step | blob | commitdiff | raw | diff to current |
| 2012-05-18 | Brian Demsky | merging stuff...made need to clean up some stuff..... | blob | commitdiff | raw | diff to current |
| 2012-05-15 | Subramanian Ganapathy | Defining the interfaces to add various regions to snapshot | blob | commitdiff | raw | diff to current |
| 2012-05-14 | Brian Norris | .gitignore: add *~ files | blob | commitdiff | raw | diff to current |
| 2012-04-24 | Brian Norris | .gitignore: add *.so | blob | commitdiff | raw | diff to current |
| 2012-04-16 | Brian Norris | rename binary: libthreads -> model | blob | commitdiff | raw | diff to current |
| 2012-03-09 | Brian Norris | add "make tags" (using `ctags`) | blob | commitdiff | raw | diff to current |
| 2012-03-08 | Brian Norris | add .gitignore | blob | commitdiff | raw | diff to current |