2013-04-16 | Brian Norris | model / threads: remove global get_next_id() interface | blob | commitdiff | raw |
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 |