Add datarace support for atomics and calloc
authorbdemsky <bdemsky@uci.edu>
Wed, 20 Nov 2019 19:50:00 +0000 (11:50 -0800)
committerbdemsky <bdemsky@uci.edu>
Wed, 20 Nov 2019 19:50:00 +0000 (11:50 -0800)
commit69d9b3609ff724140893c7dffb1e7a38c3090a81
tree04f58cbeb67c1287b94ce0d2f871a8e1b4d8641e
parent1bdb456ee7767a75d266716459a85743740acc33
Add datarace support for atomics and calloc
cmodelint.cc
datarace.cc
datarace.h
mymemory.cc