projects / cdsspec-compiler.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 00372fb) | patch
model: implement, use schedule_next_thread()
authorBrian Norris <banorris@uci.edu>
Fri, 20 Apr 2012 17:50:29 +0000 (10:50 -0700)
committerBrian Norris <banorris@uci.edu>
Fri, 20 Apr 2012 17:58:22 +0000 (10:58 -0700)
commit94c12b28e9afeed050f40c3d2d625fa0e22f0387
treea3dcffa94a0cdec4ddec129d09dd2371838ab4e0tree | snapshot
parent00372fb761d9f0e4a15764c7bd45f9ad3ecad8aacommit | diff
model: implement, use schedule_next_thread()

Relies on the rest of the model checker to set the next thread; simply returns
the chosen thread.
model.cc diff | blob | history
schedule.cc diff | blob | history
This is the public repository for the CDSSpec specification compiler.