projects / model-checker.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 201b9e6) | patch
nodestack: add class NodeStack and class Node
authorBrian Norris <banorris@uci.edu>
Mon, 14 May 2012 18:05:02 +0000 (11:05 -0700)
committerBrian Norris <banorris@uci.edu>
Mon, 14 May 2012 19:40:33 +0000 (12:40 -0700)
commitf52c40fdba5d4648020927cfb942518ed02362df
treecbae5087076f0f3cb527887c9e248cd4db288f9etree | snapshot
parent201b9e63f1f9fb250d2040aa414db490f7ef2f49commit | diff
nodestack: add class NodeStack and class Node

These will replace class TreeNode in the near future, since I don't need to
retain the entire execution tree: just the stack of the current tree, along
with some backtracking information.
Makefile diff | blob | history
action.h diff | blob | history
nodestack.cc [new file with mode: 0644] blob
nodestack.h [new file with mode: 0644] blob
C++11 memory model checker