projects / model-checker.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 1ef66ff) | patch
model/action: move action_list_t to model.h
authorBrian Norris <banorris@uci.edu>
Wed, 20 Feb 2013 07:30:31 +0000 (23:30 -0800)
committerBrian Norris <banorris@uci.edu>
Wed, 20 Feb 2013 07:30:31 +0000 (23:30 -0800)
commitc399a44cb63c43c83c11fe6cfab02889896ecff1
treea6790313eb6f69289f23c3e3883a14b73f1dce4btree | snapshot
parent1ef66fffe44c297326b1043cab978789b1071704commit | diff
model/action: move action_list_t to model.h

action_list_t is only used by the ModelChecker class
action.h diff | blob | history
model.h diff | blob | history
C++11 memory model checker