projects / model-checker.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: ac80452) | patch
optimization...don't calloc the datarace tables every single time...it is really...
authorBrian Demsky <bdemsky@uci.edu>
Thu, 15 Nov 2012 02:11:29 +0000 (18:11 -0800)
committerBrian Demsky <bdemsky@uci.edu>
Thu, 15 Nov 2012 02:11:29 +0000 (18:11 -0800)
commitcaa1df880547acce2804221c8e6995170a5121eb
tree24e602ad56547c2b328d03ec180ed93b791e26b3tree | snapshot
parentac80452d8a9b319e38869c8ff1434ddebfc025a5commit | diff
optimization...don't calloc the datarace tables every single time...it is really expensive for rollback
config.h diff | blob | history
datarace.cc diff | blob | history
C++11 memory model checker