projects / model-checker.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: e725e34) | patch
model: log the last action in each thread
authorBrian Norris <banorris@uci.edu>
Mon, 28 May 2012 19:42:54 +0000 (12:42 -0700)
committerBrian Norris <banorris@uci.edu>
Mon, 28 May 2012 19:54:32 +0000 (12:54 -0700)
commitb33a4fd70ac89ed0bf5e276421dd52ee04679c94
tree875dc82e214aa05b53dc814e9df5a6f7ce86377atree | snapshot
parente725e347266a91be41447dba497f57f3b6d5413ccommit | diff
model: log the last action in each thread

The last action in each thread is needed for some model-checking computations.
This could be expanded to a full-fledged per-thread list if needed...
model.cc diff | blob | history
model.h diff | blob | history
C++11 memory model checker