projects / model-checker.git / history
| 2013-02-20 | Brian Norris | don't include action.h from model.h | blob | commitdiff | raw |
| 2012-12-12 | Brian Norris | model: return value from switch_to_master | blob | commitdiff | raw | diff to current |
| 2012-11-30 | Brian Norris | impatomic: remove fence member functions | blob | commitdiff | raw | diff to current |
| 2012-10-09 | Brian Norris | rename threads.h -> threads-model.h | blob | commitdiff | raw | diff to current |
| 2012-10-04 | Brian Demsky | Merge branch 'master' of /home/git/model-checker | blob | commitdiff | raw | diff to current |
| 2012-10-03 | Brian Norris | Merge remote-tracking branch 'origin/master' | blob | commitdiff | raw | diff to current |
| 2012-10-03 | Brian Norris | modeltypes: move small typedefs to own header | blob | commitdiff | raw | diff to current |
| 2012-08-02 | Brian Demsky | towards making rmw work... | blob | commitdiff | raw | diff to current |
| 2012-08-02 | Brian Demsky | don't forget this file | blob | commitdiff | raw | diff to current |