projects / model-checker.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 02e807a) | patch
model/action: move complicated read_from logic into model.cc
authorBrian Norris <banorris@uci.edu>
Tue, 4 Dec 2012 02:14:55 +0000 (18:14 -0800)
committerBrian Norris <banorris@uci.edu>
Tue, 4 Dec 2012 02:26:48 +0000 (18:26 -0800)
commit39c0de028fe3b1c1d229ecf715007c751ddab445
treed6ca62fa286ff9137c0931492bbde9eabbaf8a2etree | snapshot
parent02e807a227da687ff2606d6eecf49aff372d3a51commit | diff
model/action: move complicated read_from logic into model.cc

The release sequence wrapper logic will only get more complicated, so
rather than spreading across two files and exporting more interfaces,
just integrate into ModelChecker.
action.cc diff | blob | history
action.h diff | blob | history
model.cc diff | blob | history
model.h diff | blob | history
C++11 memory model checker