projects / model-checker.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 4955df9) | patch
model: wire up rest of release seq. resolution backtracking
authorBrian Norris <banorris@uci.edu>
Sun, 7 Oct 2012 23:18:07 +0000 (16:18 -0700)
committerBrian Norris <banorris@uci.edu>
Sun, 7 Oct 2012 23:18:07 +0000 (16:18 -0700)
commit27a6b2d336785fa3d30d937a397242c0a6823cfc
tree993bf76a9f130d0ba04b3cf371e33383d78b5826tree | snapshot
parent4955df9bfa3d2e961024d419069735fd6f25ac67commit | diff
model: wire up rest of release seq. resolution backtracking

I still need to actually initiate the special ModelAction fixups.
model.cc diff | blob | history
model.h diff | blob | history
C++11 memory model checker