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

2013-01-03	Brian Norris	fixup style	blob \| commitdiff \| raw
2012-11-15	Brian Demsky	Merge branch 'master' of /home/git/model-checker	blob \| commitdiff \| raw \| diff to current
2012-11-15	Brian Demsky	merge	blob \| commitdiff \| raw \| diff to current
2012-11-14	Brian Norris	race: where possible, use "const void *" for addresses	blob \| commitdiff \| raw \| diff to current
2012-10-09	Brian Norris	rename threads.h -> threads-model.h	blob \| commitdiff \| raw \| diff to current
2012-10-04	Brian Demsky	Merge branch 'master' of /home/git/model-checker	blob \| commitdiff \| raw \| diff to current
2012-10-03	Brian Norris	Merge remote-tracking branch 'origin/master'	blob \| commitdiff \| raw \| diff to current
2012-10-03	Brian Norris	modeltypes: move small typedefs to own header	blob \| commitdiff \| raw \| diff to current
2012-07-12	Brian Norris	Merge branch 'master' into brian	blob \| commitdiff \| raw \| diff to current
2012-07-10	Brian Demsky	hook up the race detector...	blob \| commitdiff \| raw \| diff to current
2012-05-18	Brian Demsky	merging stuff...made need to clean up some stuff.....	blob \| commitdiff \| raw \| diff to current
2012-05-15	Brian Norris	librace: actually compute the loads and stores	blob \| commitdiff \| raw \| diff to current
2012-04-26	Brian Norris	librace: format DEBUG() prints properly	blob \| commitdiff \| raw \| diff to current
2012-04-25	Brian Norris	librace: add load/store interface for checking data...	blob \| commitdiff \| raw \| diff to current

C++11 memory model checker