projects / cdsspec-compiler.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 7fe82d0) | patch
model: add check_current_action() function
authorBrian Norris <banorris@uci.edu>
Tue, 10 Apr 2012 22:14:45 +0000 (15:14 -0700)
committerBrian Norris <banorris@uci.edu>
Tue, 10 Apr 2012 22:49:41 +0000 (15:49 -0700)
commited2579031bea4a2f3fc0adb1c7e979771a589b9c
treecce36221c7e93daa94aea5aad51283a93bef5babtree | snapshot
parent7fe82d0f56f7b2791a06a29986902da142207a90commit | diff
model: add check_current_action() function

This interface provides a wrapper for all our model checking operations on the
current action (at least, ideally this should work...I might need to work on
this a bit).

For now, we just record the program trace of all atomic/thread actions.
model.cc diff | blob | history
model.h diff | blob | history
This is the public repository for the CDSSpec specification compiler.