projects / model-checker.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 298510d) | patch
model: create 'action_list_t' typedef
authorBrian Norris <banorris@uci.edu>
Thu, 19 Apr 2012 20:00:26 +0000 (13:00 -0700)
committerBrian Norris <banorris@uci.edu>
Thu, 19 Apr 2012 20:00:26 +0000 (13:00 -0700)
commitd559cca6ce8264cee284dda4e0962b3bb564c955
treed917110fe05e7bbe093759b6e7944f4448eed9dftree | snapshot
parent298510d3ab0dc8280e9648c7b13e7c77258e9f3bcommit | diff
model: create 'action_list_t' typedef

'std::list<class ModelAction *>' is a long name for a repeated type. Replace
it.
model.cc diff | blob | history
model.h diff | blob | history
C++11 memory model checker