projects / cdsspec-compiler.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: d17f013) | patch
libthreads: use model-checker's thread ID assignment
authorBrian Norris <banorris@uci.edu>
Tue, 13 Mar 2012 06:08:12 +0000 (23:08 -0700)
committerBrian Norris <banorris@uci.edu>
Tue, 13 Mar 2012 06:08:12 +0000 (23:08 -0700)
commit334dbf9134ad466daad8c1a02b9c33373e3d3619
treec15c560f5fccce3a6c7f9f3a95aeee581f5a0e80tree | snapshot
parentd17f01373231c13da5ff530f9c633ba4277f9954commit | diff
libthreads: use model-checker's thread ID assignment
libthreads.c diff | blob | history
This is the public repository for the CDSSpec specification compiler.