projects / model-checker.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: c767868) | patch
model: stash actions for lazy release-seq checking
authorBrian Norris <banorris@uci.edu>
Thu, 23 Aug 2012 02:16:58 +0000 (19:16 -0700)
committerBrian Norris <banorris@uci.edu>
Sat, 25 Aug 2012 01:58:17 +0000 (18:58 -0700)
commita98cefb336e2b2298e9205f09f37612d03db3d9e
treea1d487895a4eb71e1f3918dddbd7624581d64144tree | snapshot
parentc767868da49992a09ee482bbd666e080c6d43177commit | diff
model: stash actions for lazy release-seq checking

Build up lists of actions to lazily check for new release sequence
developments.
model.cc diff | blob | history
model.h diff | blob | history
C++11 memory model checker