projects / model-checker.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 473bdc8) | patch
action: add get_{type,mo}_str() accessors
authorBrian Norris <banorris@uci.edu>
Wed, 24 Apr 2013 17:11:16 +0000 (10:11 -0700)
committerBrian Norris <banorris@uci.edu>
Wed, 24 Apr 2013 17:11:16 +0000 (10:11 -0700)
commit981465809f7f1fdf2693daf099be5e5f75967ed8
tree08aa9068120a84c2662dee378fe2116430fa4809tree | snapshot
parent473bdc841f3b03b722911a5fa0b4f21ba3a217edcommit | diff
action: add get_{type,mo}_str() accessors

The big switch/case statements can be shortened and separated into their
own functions.
action.cc diff | blob | history
action.h diff | blob | history
C++11 memory model checker