projects / model-checker.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: c441974) | patch
fix various problems with my 64-bit clean hack
authorBrian Demsky <bdemsky@uci.edu>
Mon, 21 May 2012 06:50:34 +0000 (23:50 -0700)
committerBrian Demsky <bdemsky@uci.edu>
Mon, 21 May 2012 06:50:34 +0000 (23:50 -0700)
commit9ab763adc965ca76a8d65b9898d20c60cdb44445
treeaaa16f3ee5e453ec27c0094372a74a8f86aeda92tree | snapshot
parentc441974826572b713174c571104bdf9bd37c018bcommit | diff
fix various problems with my 64-bit clean hack
found missing initializer bug in scheduler
libthreads.cc diff | blob | history
libthreads.h diff | blob | history
main.cc diff | blob | history
schedule.cc diff | blob | history
schedule.h diff | blob | history
threads.cc diff | blob | history
threads.h diff | blob | history
C++11 memory model checker