projects / model-checker.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 8294305) | patch
action: add create_cv() and read_from()
authorBrian Norris <banorris@uci.edu>
Sat, 26 May 2012 02:13:36 +0000 (19:13 -0700)
committerBrian Norris <banorris@uci.edu>
Sat, 26 May 2012 03:39:00 +0000 (20:39 -0700)
commit1a75079a60d2788bad4ee82378182abcfade51c8
tree402d597a8692d47d4ef9b51c7d4cf8123d277095tree | snapshot
parent8294305a6c0b9c0aa16485cf1d48f47200a8c8abcommit | diff
action: add create_cv() and read_from()

These functions provide basic wrapper functionality for creating and updating
the clock vector for a particular ModelAction.
action.cc diff | blob | history
action.h diff | blob | history
C++11 memory model checker