projects / model-checker.git / history
| 2012-05-14 | Brian Norris | action: add comparison operator for ModelAction | blob | commitdiff | raw |
| 2012-05-14 | Brian Norris | nodestack: add class NodeStack and class Node | blob | commitdiff | raw | diff to current |
| 2012-05-09 | Brian Norris | action: rename 'node' members to 'treenode' | blob | commitdiff | raw | diff to current |
| 2012-05-03 | Brian Norris | straighten out header includes, comment on Forward... | blob | commitdiff | raw | diff to current |
| 2012-05-02 | Brian Norris | model: add sequence numbers to ModelAction | blob | commitdiff | raw | diff to current |
| 2012-05-01 | Brian Norris | threads: move thread_id_t definition and redefine thrd_... | blob | commitdiff | raw | diff to current |
| 2012-04-30 | Brian Norris | clean up header #includes | blob | commitdiff | raw | diff to current |
| 2012-04-30 | Brian Norris | split header out to action.h | blob | commitdiff | raw | diff to current |