2013-04-16 | Brian Norris | execution: embed action_list as full member | blob | commitdiff | raw |
2013-04-16 | Brian Norris | execution: embed more data structures directly in class | blob | commitdiff | raw | diff to current |
2013-04-16 | Brian Norris | execution: embed snapshotted data structures in class | blob | commitdiff | raw | diff to current |
2013-04-16 | Brian Norris | execution: make structure snapshotting | blob | commitdiff | raw | diff to current |
2013-04-16 | Brian Norris | execution: move execution number back to ModelChecker... | blob | commitdiff | raw | diff to current |
2013-04-16 | Brian Norris | clean out includes, etc. | blob | commitdiff | raw | diff to current |
2013-04-16 | Brian Norris | Merge cleanup branch | blob | commitdiff | raw | diff to current |
2013-04-16 | Brian Norris | execution: add 'const' | blob | commitdiff | raw | diff to current |
2013-04-16 | Brian Norris | BROKEN: restructure much of ModelChecker as ModelExecut... | blob | commitdiff | raw | diff to current |