2013-04-16 | Brian Norris | execution: move execution number back to ModelChecker... | blob | commitdiff | raw |
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 | schedule: drop the ModelChecker::check_promises_thread_... | blob | commitdiff | raw | diff to current |
2013-04-16 | Brian Norris | model / threads: remove global get_next_id() interface | blob | commitdiff | raw | diff to current |
2013-04-16 | Brian Norris | promise: get reference to ModelExecution | 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 |