projects / model-checker.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(initial) | patch
initial commit
authorBrian Norris <banorris@uci.edu>
Thu, 8 Mar 2012 02:10:59 +0000 (18:10 -0800)
committerBrian Norris <banorris@uci.edu>
Thu, 8 Mar 2012 02:10:59 +0000 (18:10 -0800)
commit8b2af1dd4772675680b8b23808886de5ce688cbc
treede0d9cdddbd1d727632d8f9ce0414285db4d965dtree | snapshot
initial commit

Basic working copy of "threads," which execute until completion as soon as
they are launched.
Makefile [new file with mode: 0644] blob
libthreads.c [new file with mode: 0644] blob
C++11 memory model checker