Redesign actionlist and change acquire fence
authorBrian Demsky <bdemsky@uci.edu>
Tue, 7 Apr 2020 07:05:48 +0000 (00:05 -0700)
committerBrian Demsky <bdemsky@uci.edu>
Tue, 7 Apr 2020 07:05:48 +0000 (00:05 -0700)
commit15ea44894415d4b1150728658d65c641556e5fcf
tree0635b78464a64790a3c417fffe511af0b824ba0c
parent3e2ec3ed4b37f4e6aa8e5e0e9e3241890948c3ac
Redesign actionlist and change acquire fence
14 files changed:
Makefile
action.cc
action.h
actionlist.cc [new file with mode: 0644]
actionlist.h [new file with mode: 0644]
classlist.h
config.h
execution.cc
execution.h
fuzzer.cc
model.h
stl-model.h
threads-model.h
threads.cc