projects / model-checker.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: e08fe0c) | patch
model: rename according to the comments
authorBrian Norris <banorris@uci.edu>
Fri, 8 Feb 2013 23:23:41 +0000 (15:23 -0800)
committerBrian Norris <banorris@uci.edu>
Sat, 9 Feb 2013 00:16:01 +0000 (16:16 -0800)
commite67f2f90b92e9176dc3f574095ba05a062c87f72
tree5cc888291a3d3def101eca2fec1802dc18ff1512tree | snapshot
parente08fe0c24bc8d577e1487a3368c56d5a5244d66bcommit | diff
model: rename according to the comments

The documentation mentions 'pread' and 'pwrite'. Those names aren't
actually used in the code, though, so change that.
model.cc diff | blob | history
C++11 memory model checker