Merge remote-tracking branch 'origin/master'
[model-checker.git] / datarace.cc
2013-04-17 Brian Norrisdatarace: bugfix - don't implicitly allocate global...
2013-04-17 Brian Norrisdatarace: don't export unrealized race vector
2013-04-16 Brian NorrisMerge cleanup branch
2013-04-16 Brian Norrismodel: cleanup a few more interfaces
2013-04-16 Brian Norrisdatarace: simplify raceCheck{Read,Write}() function...
2013-04-16 Brian Norrisdatarace: make globals static
2013-04-05 Brian Norrisdatarace: use variable-argument bug-printing
2013-03-07 Brian Norrisbugfix - add stl-model.h wrappers, to provide more...
2013-02-20 Brian Norrisdon't include action.h from model.h
2013-01-03 Brian Norrisfixup style
2012-11-16 Brian Norrisdataraces: don't print an uninformative "Data race...
2012-11-16 Brian Norrisdatarace: redirect "Data race @ ..." messages to model...
2012-11-16 Brian Norrisdatarace: change "Datarace" to "Data race"
2012-11-16 Brian Norrisassert bugs through common interface
2012-11-15 Brian DemskyMerge branch 'master' of /home/git/model-checker
2012-11-15 Brian Demskymerge
2012-11-15 Brian Demskyoptimization...don't calloc the datarace tables every...
2012-11-14 Brian Norrisrace: where possible, use "const void *" for addresses
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...