projects / cdsspec-compiler.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 775ba9f) | patch
model: report 'updates' when adding mo_graph edges
authorBrian Norris <banorris@uci.edu>
Fri, 24 Aug 2012 00:47:31 +0000 (17:47 -0700)
committerBrian Norris <banorris@uci.edu>
Sat, 25 Aug 2012 01:35:23 +0000 (18:35 -0700)
commitc767868da49992a09ee482bbd666e080c6d43177
tree02e5ce3e01b9f3b1a9fcc22f831f849f73cba1fetree | snapshot
parent775ba9f4b05d1a09295b0551c5efbd814b8e15aacommit | diff
model: report 'updates' when adding mo_graph edges

The rest of the model checker would like to know if any edges were added. Add a
boolean return value to report this.
model.cc diff | blob | history
model.h diff | blob | history
This is the public repository for the CDSSpec specification compiler.