projects / cdsspec-compiler.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: cdf3ae3) | patch
model: refactor ModelChecker::initialize_curr_action
authorBrian Norris <banorris@uci.edu>
Tue, 18 Sep 2012 23:16:38 +0000 (16:16 -0700)
committerBrian Norris <banorris@uci.edu>
Tue, 18 Sep 2012 23:45:53 +0000 (16:45 -0700)
commited5684e598c27e458bde4976848d48a0cd247dbb
tree62bd43145df7b4f50cdbb05364b9d7dc8205993btree | snapshot
parentcdf3ae3d7205018a412f75addf4113587a1a0586commit | diff
model: refactor ModelChecker::initialize_curr_action

Rewrite some logic for simplification. Just refactorization.
model.cc diff | blob | history
This is the public repository for the CDSSpec specification compiler.