projects / model-checker.git / history
? search:
summary | shortlog | log | commit | commitdiff | tree
first ⋅ prev ⋅ next
model: get_num_threads() should be const
[model-checker.git] / model.h
2012-03-13 Brian Norrismodel: add thread ID assignment function blob | commitdiff | raw | diff to current
2012-03-12 Brian Norrismodel: move 'main_thread' to model_checker struct blob | commitdiff | raw | diff to current
2012-03-12 Brian Norrismodel: add global model_checker initialization blob | commitdiff | raw | diff to current
2012-03-12 Brian Norrisschedule: add replaceable scheduler struct blob | commitdiff | raw | diff to current
2012-03-10 Brian Norrismodel: add stub model.[hc] files blob | commitdiff | raw | diff to current
C++11 memory model checker