projects / model-checker.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: e309ada) | patch
(1) add actions for the fence
authorBrian Demsky <bdemsky@uci.edu>
Fri, 14 Sep 2012 08:31:09 +0000 (01:31 -0700)
committerBrian Demsky <bdemsky@uci.edu>
Fri, 14 Sep 2012 08:31:09 +0000 (01:31 -0700)
commit5485feb8f53f4fe816b08d854fc3e82b00c33b0b
tree769b28a025468faaf96ab9de53cdf276faa860e3tree | snapshot
parente309adaee27786a638bcd44303ecb88351074257commit | diff
(1) add actions for the fence
(2) a little more support for cyclegraph -- show rmw edges
(3) add extra documentation for norris
action.cc diff | blob | history
action.h diff | blob | history
cmodelint.cc diff | blob | history
cmodelint.h diff | blob | history
config.h diff | blob | history
cyclegraph.cc diff | blob | history
include/impatomic.h diff | blob | history
model.cc diff | blob | history
C++11 memory model checker