projects / cdsspec-compiler.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 9da5e4a) | patch
model/promise: use ModelChecker is_enabled() interface
authorBrian Norris <banorris@uci.edu>
Wed, 14 Nov 2012 23:55:59 +0000 (15:55 -0800)
committerBrian Norris <banorris@uci.edu>
Wed, 14 Nov 2012 23:55:59 +0000 (15:55 -0800)
commit365a6079a1b43cbc0fce6299449a4ec62876fb20
treed7914de0bb9d96abf8dd238047825cd1b0b46e99tree | snapshot
parent9da5e4a1fe226af688c08ea953a3526354c4a56fcommit | diff
model/promise: use ModelChecker is_enabled() interface

class Promise should not need to access Scheduler directly. Use the
ModelChecker interface.
model.cc diff | blob | history
promise.cc diff | blob | history
This is the public repository for the CDSSpec specification compiler.