projects / cdsspec-compiler.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: f9e2e3a) | patch
model: privatize ModelChecker::get_num_threads()
authorBrian Norris <banorris@uci.edu>
Tue, 16 Apr 2013 18:58:28 +0000 (11:58 -0700)
committerBrian Norris <banorris@uci.edu>
Tue, 16 Apr 2013 18:58:28 +0000 (11:58 -0700)
commite7e175a74d95b5ed0a50750453168275f2fa3589
tree6bc55d18b56ce2d143ad49f93e76adeb8acec9catree | snapshot
parentf9e2e3a893918a431d3af1e6657cd08260e31941commit | diff
model: privatize ModelChecker::get_num_threads()

The public interface is now in ModelExecution.
model.cc diff | blob | history
model.h diff | blob | history
nodestack.cc diff | blob | history
This is the public repository for the CDSSpec specification compiler.