projects / model-checker.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 0a343dd) | patch
model: revert broken bugfix
authorBrian Norris <banorris@uci.edu>
Tue, 2 Oct 2012 18:16:12 +0000 (11:16 -0700)
committerBrian Norris <banorris@uci.edu>
Tue, 2 Oct 2012 18:33:38 +0000 (11:33 -0700)
commitae7fcd2e5e499f72d9d1530bdc293f4fbc5f0644
treeaff70a9358f95ec2d9fbca2c1b649b8b6c8cfb52tree | snapshot
parent0a343dd204223d7351aa709039cf7b1564a038b6commit | diff
model: revert broken bugfix

This reverts parts of the following commit:

 commit 7ba211ec7d1cacbaa3ef2027f1a0f534888f1708

The bugfix broke our basic test case (userprog)
nodestack.cc diff | blob | history
C++11 memory model checker