projects / model-checker.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 39c0de0) | patch
model: privatize a few interfaces
authorBrian Norris <banorris@uci.edu>
Tue, 4 Dec 2012 02:23:22 +0000 (18:23 -0800)
committerBrian Norris <banorris@uci.edu>
Tue, 4 Dec 2012 02:26:48 +0000 (18:26 -0800)
commit67e374f0a24b266f2ea81913770e89a4aac68ff3
tree60b3d9cbb97f70a67f2c7ace8431644c0929e76dtree | snapshot
parent39c0de028fe3b1c1d229ecf715007c751ddab445commit | diff
model: privatize a few interfaces

These functions were only public for ModelAction::read_from, which has
now been internalized into ModelChecker.
model.cc diff | blob | history
model.h diff | blob | history
C++11 memory model checker