projects / cdsspec-compiler.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 1cdcdc2) | patch
schedule: assert that model-checker thread doesn't enter scheduler
authorBrian Norris <banorris@uci.edu>
Thu, 14 Feb 2013 20:23:48 +0000 (12:23 -0800)
committerBrian Norris <banorris@uci.edu>
Thu, 14 Feb 2013 20:23:48 +0000 (12:23 -0800)
commit3796989e962917277d76de4bf0ef9dc9d2bc0ff2
tree2beb9d5bf7423889c32d50093e967cc00aceb67atree | snapshot
parent1cdcdc24156572a63fd8261a7a3dd2f04ca6648ccommit | diff
schedule: assert that model-checker thread doesn't enter scheduler
schedule.cc diff | blob | history
This is the public repository for the CDSSpec specification compiler.