projects / model-checker.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 28e1bf2) | patch
user_main: pass remaining arguments to the user program
authorBrian Norris <banorris@uci.edu>
Tue, 9 Oct 2012 01:36:06 +0000 (18:36 -0700)
committerBrian Norris <banorris@uci.edu>
Tue, 9 Oct 2012 01:36:06 +0000 (18:36 -0700)
commitb59d5f84ac4800cc144fc7c8837d96181423d9ae
tree22e43bcb00f6d896e0c72460fe741a9fb32bddfetree | snapshot
parent28e1bf20ea2bc74d7376b7cd1bfce0fc409bcde9commit | diff
user_main: pass remaining arguments to the user program
libthreads.h diff | blob | history
main.cc diff | blob | history
test/double-relseq.c diff | blob | history
test/linuxrwlocks.c diff | blob | history
test/pending-release.c diff | blob | history
test/releaseseq.c diff | blob | history
test/rmwprog.c diff | blob | history
test/userprog.c diff | blob | history
C++11 memory model checker