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

2012-04-17	Brian Norris	threads/model: move switch_to_master from class Thread...	blob \| commitdiff \| raw
2012-04-16	Brian Norris	libthreads: split into libthreads and threads	blob \| commitdiff \| raw \| diff to current
2012-04-16	Brian Norris	major rewrite - 'struct thread' replaced with internal...	blob \| commitdiff \| raw \| diff to current
2012-04-10	Brian Norris	threads_internal: pass the current 'action' to the...	blob \| commitdiff \| raw \| diff to current
2012-04-10	Brian Norris	threads_internal: add 'thread_switch_to_master()' inter...	blob \| commitdiff \| raw \| diff to current

C++11 memory model checker