2012-03-12 | Brian Norris | model: move 'main_thread' to model_checker struct | blob | commitdiff | raw |
2012-03-12 | Brian Norris | model: add global model_checker initialization | blob | commitdiff | raw | diff to current |
2012-03-10 | Brian Norris | model: add stub model.[hc] files | blob | commitdiff | raw | diff to current |