Programming Languages Research Group: Git - model-checker.git/history

2012-03-14	Brian Norris	schedule: create 'class Scheduler' with implementation...	blob \| commitdiff \| raw
2012-03-14	Brian Norris	model: change 'struct model_checker' to 'class ModelChe...	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-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

C++11 memory model checker