projects / c11tester.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: a9e7715) | patch
Add support for converting normal writes into ModelActions after the fact
authorbdemsky <bdemsky@uci.edu>
Fri, 19 Jul 2019 00:04:37 +0000 (17:04 -0700)
committerbdemsky <bdemsky@uci.edu>
Fri, 19 Jul 2019 00:04:37 +0000 (17:04 -0700)
commit1cc3e9dfadc5fe19200ef156bdaf1f05d3aa3616
tree79d3bb565d69557a7f7248a462de9ce370328b16tree | snapshot
parenta9e77155aee17d9e66603f970a964bee83f62248commit | diff
Add support for converting normal writes into ModelActions after the fact
action.cc diff | blob | history
action.h diff | blob | history
datarace.cc diff | blob | history
datarace.h diff | blob | history
execution.cc diff | blob | history
execution.h diff | blob | history
C11 Tester Tool Public Repository