projects / model-checker.git / commitdiff
? search:
summary | shortlog | log | commit | commitdiff | tree
raw | patch | inline | side by side (from: a98cefb)
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)
Build up lists of actions to lazily check for new release sequence
developments.


No differences found
C++11 memory model checker