2012-03-14 | Brian Norris | model: change 'struct model_checker' to 'class ModelChe... | blob | commitdiff | raw |
2012-03-13 | Brian Norris | C++: cast result of malloc | blob | commitdiff | raw | diff to current |
2012-03-13 | Brian Norris | terminology - use 'thread id' instead of 'thread index' | blob | commitdiff | raw | diff to current |
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-10 | Brian Norris | model: add stub model.[hc] files | blob | commitdiff | raw | diff to current |