small changes
[c11tester.git] /
2020-08-25 weiyuMerge branch 'master' of /home/git/random-fuzzer into...
2020-03-20 weiyuFix typo
2019-12-16 rootmerge
2019-12-13 Brian Demskytowards freeing actions
2019-07-08 weiyumerge and resolve conflict
2019-07-02 bdemskymemoize hb in writes
2019-06-19 rootmerge
2019-06-14 weiyuMerge branch 'new_fuzzer' of /home/git/random-fuzzer...
2019-06-12 bdemskyMerge branch 'new_fuzzer' into tmp
2019-06-12 bdemskypartial edits
2019-06-11 bdemskyfix tabbing
2019-06-05 bdemskymake some changes with hacks
2013-05-29 Brian NorrisMerge remote-tracking branch 'origin/master'
2013-05-29 Brian Norrisexecution: reformat execution traces
2013-04-16 Brian Norrisclockvector: don't use global get_num_threads()
2013-04-13 Brian Demskytowards supporting scanalysis...
2013-01-03 Brian Norrisfixup style
2012-11-16 Brian Norrisprintf -> model_print
2012-11-03 Brian NorrisMerge remote-tracking branch 'origin/master' into pldi13
2012-11-03 Brian DemskyMerge branch 'master' of ssh://
2012-11-03 Brian Demskyprevious synchronization was weird...
2012-11-02 Brian Norrisclockvector: remove old include
2012-11-01 Brian Demskyrealloc doesn't guarantee zeroing...
2012-11-01 Brian Demskybug
2012-11-01 Brian Norrisclockvector: bugfix - bad clock merge
2012-10-09 Brian Norrisrename threads.h -> threads-model.h
2012-10-04 Brian DemskyMerge branch 'master' of /home/git/model-checker
2012-10-03 Brian NorrisMerge remote-tracking branch 'origin/master'
2012-10-03 Brian Norrismodeltypes: move small typedefs to own header
2012-10-02 Brian Norrisclockvector: snapshot our clock vectors
2012-08-24 Brian Norrisaction, clockvector: add 'has_synchronized_with()'...
2012-07-12 Brian Norrisreformat some doxygen comments, remove newlines
2012-07-12 Brian NorrisMerge branch 'master' into brian
2012-07-11 Brian Norrisclockvector: add 'const', fix comments in ClockVector...
2012-07-11 Brian Norrisremove EOL spaces, fix indentation
2012-07-07 Brian NorrisMerge branch 'datarace'
2012-07-06 Brian Norrisadd more const qualifiers
2012-07-06 Brian Norrisdatarace/clockvector: switch 'clocks' to use 'unsigned...
2012-07-06 Brian Norrisclock: add modelclock_t typedef, use 'unsigned int'
2012-07-06 Brian Demskyadd support for datarace detection...
2012-06-21 Subramanian GanapathyMerge branch 'master' of ssh://
2012-06-21 Brian Norrisclockvector: add const qualifiers
2012-06-21 Brian Norrisclockvector: add documentation
2012-06-21 Brian NorrisMerge branch 'sandbox' (remove finalize())
2012-06-21 Brian Norrisclockvector: fix 'happens_before', change name to ...
2012-05-30 Subramanian GanapathyMerge branch 'master' of ssh://
2012-05-28 Brian Norrisclockvector: fixup initialization
2012-05-26 Brian Norrisclockvector: bugfix - fixup vector initialization,...
2012-05-26 Brian Norrisclockvector: fixup print message
2012-05-26 Brian Norrisclockvector: add print() method
2012-05-21 Brian NorrisMerge commit: branch 'work'
2012-05-19 Brian Demskyget rid of redundant mallocs
2012-05-18 Brian Demskymerging stuff...made need to clean up some stuff.....
2012-05-08 Brian Norrisclockvector: add ClockVector class