projects / model-checker.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: d6132c3) | patch
model: change constructor assignments to initializer list
authorBrian Norris <banorris@uci.edu>
Wed, 9 May 2012 06:45:00 +0000 (23:45 -0700)
committerBrian Norris <banorris@uci.edu>
Mon, 14 May 2012 19:40:33 +0000 (12:40 -0700)
commit2f3e4e24140493a96a7ece89429d294546a9e0c0
tree32382e064d154c47341f3be6d8ea70c0786b0b2dtree | snapshot
parentd6132c396ec2037c65e1b72382679a8e98781e29commit | diff
model: change constructor assignments to initializer list

Apparently this is a nice C++ feature I didn't know of. Not much use here,
but there will be other uses...
model.cc diff | blob | history
C++11 memory model checker