Change initialize a bit
[c11tester.git] /
2020-09-04 weiyusmall changes
2020-09-03 weiyuFind a faster way to get currently executing thread...
2020-09-02 weiyuSmall changes; slightly faster than tsan11rec in jsbenc...
2020-08-25 weiyuMerge branch 'master' of /home/git/random-fuzzer into...
2020-07-10 weiyuAdd macro for recording atomic statics and report data...
2020-05-28 weiyuMerge branch 'firefox-test' of /home/git/random-fuzzer...
2020-05-28 weiyuCount some statistics
2020-05-28 Brian Demskyfix memory leak
2020-04-22 weiyuTiny fix
2020-04-22 Brian Demskychanges
2020-04-22 weiyuOptimize on aligned memory access
2020-04-21 weiyuDefine invalid shadow value
2020-04-21 weiyuOptimize data race detector
2020-04-20 weiyuOptimize RaceCheckRead
2019-12-16 rootmerge
2019-12-16 rootBug fixes
2019-12-12 Brian DemskyGet rid of uninitialized actions and just use non-atomi...
2019-11-21 bdemskyMerge branch 'master' of ssh://
2019-11-20 bdemskybug fix
2019-11-20 bdemskyAdd datarace support for atomics and calloc
2019-11-10 weiyuAvoid seg fault in the case where ensureModel is called...
2019-07-22 rootfix conflict
2019-07-19 rootMore code towards support non-atomic stores
2019-07-19 bdemskyAdd support for converting normal writes into ModelActi...
2019-07-17 bdemskyTrack whether a write was from an atomic
2019-07-16 bdemskyMake atomics actually write to memory for compatibility...
2019-07-16 bdemskyTowards not reporting the same datarace twice
2019-07-16 bdemskyrun tabbing pass
2019-07-16 weiyuallow the fuzzer to continue if only a few data races...
2019-07-15 weiyufix a bug about RaceRecord capacity
2019-07-15 bdemskyadd asserts
2019-06-19 rootmerge
2019-06-14 weiyuMerge branch 'new_fuzzer' of /home/git/random-fuzzer...
2019-06-11 bdemskyfix tabbing
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://
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...