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
tree49a2ef8c60a585e11a094d58b1552211f496221f
parent86fcd30e9522c2bc7f81a7bf7da88186b38c3fd0
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
action.h
libatomic.cc
model.cc
threads.h