projects / cdsspec-compiler.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: f249af2) | patch
Add yield block support. The idea is to not generate executions with yield actions.
authorBrian Demsky <bdemsky@uci.edu>
Thu, 18 Apr 2013 21:53:58 +0000 (14:53 -0700)
committerBrian Demsky <bdemsky@uci.edu>
Thu, 18 Apr 2013 21:53:58 +0000 (14:53 -0700)
commit50e0465f724dc182d5d7504004e93f1a1b4644b9
treee6383e5cb14a4a96fad75b1d3f7583d5d924fec1tree | snapshot
parentf249af2d81c9d4381ed50ceee3cbf393db1f9a01commit | diff
Add yield block support.  The idea is to not generate executions with yield actions.

While preventing yields doesn't preserve livelock, under the CHESS assumptions, it does allow us to reach all states.
execution.cc diff | blob | history
execution.h diff | blob | history
main.cc diff | blob | history
params.h diff | blob | history
This is the public repository for the CDSSpec specification compiler.