README.md: add linux locks example
[model-checker.git] / clockvector.h
2013-04-13 Brian Demskytowards supporting scanalysis...
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-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 the whole object
2012-08-24 Brian Norrisaction, clockvector: add 'has_synchronized_with()'...
2012-07-12 Brian NorrisMerge branch 'master' into brian
2012-07-11 Brian Norrisclockvector: add 'const', fix comments in ClockVector...
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-06-06 Brian Demsky1) Add more comments.
2012-05-30 Subramanian GanapathyMerge branch 'master' of ssh://demsky.eecs.uci.edu...
2012-05-26 Brian Norrisclockvector: add print() method
2012-05-26 Brian Norrisclockvector: add snapshotting new/delete operators
2012-05-18 Brian Demskymerging stuff...made need to clean up some stuff.....
2012-05-08 Brian Norrisclockvector: add ClockVector class