projects / model-checker.git / history
| 2013-04-04 | Brian Norris | swapcontext() fix for Mac OSX | blob | commitdiff | raw |
| 2012-11-01 | Brian Norris | common.mk: build with -O3 (except for Mac OSX) | blob | commitdiff | raw | diff to current |
| 2012-10-03 | Brian Demsky | extra file committed accidentally | blob | commitdiff | raw | diff to current |
| 2012-10-03 | Brian Demsky | missing change | blob | commitdiff | raw |
| 2012-09-20 | Brian Norris | Makefile: move common Mac flags to common.mk | blob | commitdiff | raw | diff to current |
| 2012-09-13 | Brian Norris | Merge remote-tracking branch 'origin/makefile' | blob | commitdiff | raw | diff to current |
| 2012-09-13 | Brian Norris | Makefile: fixup Mac dependencies | 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: split part into a common makefile (common.mk) | blob | commitdiff | raw | diff to current |