projects / model-checker.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 174ad81) | 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>
Sun, 4 Nov 2012 02:42:35 +0000 (19:42 -0700)
commit5d5b4d719178c48c3e5f616b5eb61b7d68dc2b49
treef8599875f2298a2a8328820aeb0ae21bec410639tree | snapshot
parent174ad8165eeeb78fb4da391be331a26da044641fcommit | 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