projects / model-checker.git / history
| 2012-09-14 | Brian Norris | Merge branch 'norris' | tree | commitdiff |
| 2012-09-14 | Brian Demsky | (1) add actions for the fence | tree | commitdiff |
| 2012-08-11 | Brian Norris | impatomic.h: fixup spacing | tree | commitdiff |
| 2012-08-02 | Brian Demsky | towards making rmw work... | tree | commitdiff |
| 2012-08-02 | Brian Norris | pull in most of atomic header file | tree | commitdiff |
| 2012-08-02 | Brian Demsky | split these defs out of other stuff | tree | commitdiff |
| 2012-08-02 | Brian Demsky | switch rest over to model checker... might work now | tree | commitdiff |
| 2012-08-02 | Brian Demsky | fix missing atomic... | tree | commitdiff |
| 2012-08-02 | Brian Demsky | rewrite macros | tree | commitdiff |
| 2012-08-02 | Brian Demsky | import header file from specification | tree | commitdiff |