projects / model-checker.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 86fcd30) | patch
really should be using a type that is big enough for all commonly used data types...
authorBrian Demsky <bdemsky@uci.edu>
Mon, 16 Jul 2012 23:14:27 +0000 (16:14 -0700)
committerBrian Demsky <bdemsky@uci.edu>
Mon, 16 Jul 2012 23:14:27 +0000 (16:14 -0700)
commitbaf7877f639380a66770d974ad4312c42dda338b
tree49a2ef8c60a585e11a094d58b1552211f496221ftree | snapshot
parent86fcd30e9522c2bc7f81a7bf7da88186b38c3fd0commit | diff
really should be using a type that is big enough for all commonly used data types...

added some notes on unused_value flag to specify that this value does not guarantee an unused value...
action.cc diff | blob | history
action.h diff | blob | history
libatomic.cc diff | blob | history
model.cc diff | blob | history
threads.h diff | blob | history
C++11 memory model checker