2012-03-13 | Brian Norris | model: add thread ID assignment function | blob | commitdiff | raw | diff to current |
2012-03-12 | Brian Norris | model: move 'main_thread' to model_checker struct | blob | commitdiff | raw | diff to current |
2012-03-12 | Brian Norris | model: add global model_checker initialization | blob | commitdiff | raw | diff to current |
2012-03-12 | Brian Norris | schedule: add replaceable scheduler struct | blob | commitdiff | raw | diff to current |
2012-03-10 | Brian Norris | model: add stub model.[hc] files | blob | commitdiff | raw | diff to current |