projects / model-checker.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 79f227f) | patch
common.h: move common code (non-user) to header
authorBrian Norris <banorris@uci.edu>
Sat, 10 Mar 2012 01:37:05 +0000 (17:37 -0800)
committerBrian Norris <banorris@uci.edu>
Sat, 10 Mar 2012 01:38:48 +0000 (17:38 -0800)
commit60e0a49ba320b32b9cc0d2f8d73c8d95c92fc0ba
tree19acd92865dce7fecc857355e551d510331bba63tree | snapshot
parent79f227f355cd5efbcad184b20d020493f27f1c35commit | diff
common.h: move common code (non-user) to header

Enable us to include libthreads.h in a "user program".
Makefile diff | blob | history
common.h [new file with mode: 0644] blob
libthreads.c diff | blob | history
libthreads.h diff | blob | history
schedule.c diff | blob | history
C++11 memory model checker