projects / model-checker.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 334dbf9) | patch
terminology - use 'thread id' instead of 'thread index'
authorBrian Norris <banorris@uci.edu>
Tue, 13 Mar 2012 06:10:26 +0000 (23:10 -0700)
committerBrian Norris <banorris@uci.edu>
Tue, 13 Mar 2012 06:10:26 +0000 (23:10 -0700)
commit03a707bee7d872245e5a35299a999b79ded17db6
tree804d4a219d9149e47c21413b69267e6f327487b8tree | snapshot
parent334dbf9134ad466daad8c1a02b9c33373e3d3619commit | diff
terminology - use 'thread id' instead of 'thread index'
libthreads.c diff | blob | history
libthreads.h diff | blob | history
model.c diff | blob | history
schedule.c diff | blob | history
userprog.c diff | blob | history
C++11 memory model checker