more implementation of scanalysis...
[model-checker.git] / clockvector.cc
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://demsky.eecs.uci.edu...
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://demsky.eecs.uci.edu...
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://demsky.eecs.uci.edu...
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