projects / model-checker.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 9b23c6d) | patch
nodestack: limit the number of future values per read
authorBrian Norris <banorris@uci.edu>
Sun, 4 Nov 2012 02:39:33 +0000 (19:39 -0700)
committerBrian Norris <banorris@uci.edu>
Wed, 14 Nov 2012 22:48:14 +0000 (14:48 -0800)
commit9e4f7e812e1e6e8cdb4df00add7199288dc30c04
treea2ccd2c5a78c7f2ac7afeaec24c7420d1c295c64tree | snapshot
parent9b23c6d09407427abcbc41c0eabecaf8724e6e26commit | diff
nodestack: limit the number of future values per read

Not tested very thoroughly, but it seems to limit the future values set
as intended.
nodestack.cc diff | blob | history
C++11 memory model checker