2013-04-16 | Brian Norris | action: bugfix - use non-zero fence "location" | commit | commitdiff |
2013-02-20 | Brian Norris | don't include action.h from model.h | commit | commitdiff |
2012-12-12 | Brian Norris | model: return value from switch_to_master | commit | commitdiff |
2012-10-09 | Brian Norris | rename threads.h -> threads-model.h | commit | commitdiff |
2012-10-04 | Brian Demsky | Merge branch 'master' of /home/git/model-checker | commit | commitdiff |
2012-10-03 | Brian Norris | Merge remote-tracking branch 'origin/master' | commit | commitdiff |
2012-10-03 | Brian Norris | modeltypes: move small typedefs to own header | commit | commitdiff |
2012-09-14 | Brian Norris | Merge branch 'norris' | commit | commitdiff |
2012-09-14 | Brian Demsky | (1) add actions for the fence | commit | commitdiff |
2012-08-02 | Brian Demsky | Add documentation | commit | commitdiff |
2012-08-02 | Brian Demsky | towards making rmw work... | commit | commitdiff |
2012-08-02 | Brian Norris | pull in most of atomic header file | commit | commitdiff |