projects / model-checker.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 2f6506f) | patch
schedule: exit if we run out of linked-list nodes
authorBrian Norris <banorris@uci.edu>
Mon, 12 Mar 2012 23:52:04 +0000 (16:52 -0700)
committerBrian Norris <banorris@uci.edu>
Mon, 12 Mar 2012 23:52:04 +0000 (16:52 -0700)
commitcbbc5fce741e4c09bccff60a8e24ad0b93c9451c
tree8e7e58be77d536206e4abb26741037b9e8ebe945tree | snapshot
parent2f6506f4535415ffefb5c4735e9414a00bf5c1a8commit | diff
schedule: exit if we run out of linked-list nodes
schedule.c diff | blob | history
C++11 memory model checker