projects / model-checker.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: cf4cc8a) | patch
model: rename release_seq_head() -> release_seq_heads()
authorBrian Norris <banorris@uci.edu>
Wed, 3 Oct 2012 23:07:54 +0000 (16:07 -0700)
committerBrian Norris <banorris@uci.edu>
Wed, 3 Oct 2012 23:07:54 +0000 (16:07 -0700)
commite44b9753a9b616cba58c2fb0583b876e3d4006ae
tree0b852526c4d7921899aa1257a48e1103e5ff3baftree | snapshot
parentcf4cc8a444d3c85367b9aa15b91b2829220e2edfcommit | diff
model: rename release_seq_head() -> release_seq_heads()

It may return multiple heads, so make it plural.
model.cc diff | blob | history
model.h diff | blob | history
C++11 memory model checker