projects / cdsspec-compiler.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 443c3b5) | patch
libthreads: utilize new model_checker framework
authorBrian Norris <banorris@uci.edu>
Mon, 12 Mar 2012 22:52:44 +0000 (15:52 -0700)
committerBrian Norris <banorris@uci.edu>
Mon, 12 Mar 2012 22:57:06 +0000 (15:57 -0700)
commitc45f266119299ec579737b5911c1ab82e11d0bfc
treeabe309cdf22c8dff49966e657245b378259f93b5tree | snapshot
parent443c3b5f3962dbd4d5607a11d9c41ececf854e2ccommit | diff
libthreads: utilize new model_checker framework

Just a simple drop-in of the current FCFS scheduler (with the ability to
generically switch out schedulers).
libthreads.c diff | blob | history
This is the public repository for the CDSSpec specification compiler.