projects / model-checker.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 1af3030) | patch
nodestack: add release sequence breakage backtracking
authorBrian Norris <banorris@uci.edu>
Sun, 7 Oct 2012 23:12:00 +0000 (16:12 -0700)
committerBrian Norris <banorris@uci.edu>
Sun, 7 Oct 2012 23:12:00 +0000 (16:12 -0700)
commit4955df9bfa3d2e961024d419069735fd6f25ac67
tree12733e132cbf32c6930f11d30687b34607d82f18tree | snapshot
parent1af30302f46d984b38a02a3f21ec53a5a9de0f71commit | diff
nodestack: add release sequence breakage backtracking

End-of-execution resolution of release sequences requires a search
procedure in which we test various attempts at breaking our pending
release sequences. This provides the NodeStack infrastructure.
nodestack.cc diff | blob | history
nodestack.h diff | blob | history
C++11 memory model checker