commit untested condvar code
[cdsspec-compiler.git] / datarace.cc
2012-10-09 Brian Norrisrename threads.h -> threads-model.h
2012-10-09 Brian Norrisdatarace: reformat datarace printing
2012-10-04 Brian DemskyMerge branch 'master' of /home/git/model-checker
2012-10-03 Brian Norrisfixup usage of int vs. thread_id_t
2012-10-03 Brian NorrisMerge remote-tracking branch 'origin/master'
2012-10-03 Brian Norrismodeltypes: move small typedefs to own header
2012-10-03 Brian DemskyMerge branch 'master' of /home/git/model-checker
2012-10-03 Brian Norrisreplace malloc/calloc/free with snapshot_{malloc/calloc...
2012-09-07 Brian Demskychanges
2012-09-07 Brian DemskyMerge branch 'master' of ssh://demsky.eecs.uci.edu...
2012-09-07 Brian Demskychanges
2012-09-06 Brian NorrisMerge branch 'norris'
2012-09-06 Brian Demskyworking towards making datarace detection work
2012-09-05 Brian Demskybug in race detector
2012-07-13 Brian Norrisdatarace: fixup, properly document BIT48
2012-07-12 Brian Norrisreformat some doxygen comments, remove newlines
2012-07-12 Brian NorrisMerge branch 'master' into brian
2012-07-11 Brian Norrisremove EOL spaces, fix indentation
2012-07-11 Brian Demskydocumentation
2012-07-07 Brian NorrisMerge branch 'datarace'
2012-07-07 Brian Norrisdatarace: fix build error
2012-07-07 Brian Demskychanges
2012-07-06 Brian Norrisdatarace: factor subtle clock-vector logic into a reusa...
2012-07-06 Brian Norrisdatarace: remove EOL spaces
2012-07-06 Brian Norrisdatarace/clockvector: switch 'clocks' to use 'unsigned...
2012-07-06 Brian Demskyadd support for datarace detection...