projects / cdsspec-compiler.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: f46cff2) | patch
model: record the number of feasible executions
authorBrian Norris <banorris@uci.edu>
Fri, 14 Sep 2012 17:24:24 +0000 (10:24 -0700)
committerBrian Norris <banorris@uci.edu>
Fri, 14 Sep 2012 17:30:34 +0000 (10:30 -0700)
commit1d86ead1f9edde08186daf407f648fef942a93bd
treec74becd369e6bd7ded6b5d57b9102655eafe852ctree | snapshot
parentf46cff227bfdc045c93baf366f3d480005240368commit | diff
model: record the number of feasible executions

The 'num_executions' statistic isn't quite as useful now. We want to compare
total executions to the number of feasible executions.
model.cc diff | blob | history
model.h diff | blob | history
This is the public repository for the CDSSpec specification compiler.