projects / c11tester.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 50e0465) | patch
Remove special cases for printing SC executions.
authorBrian Demsky <bdemsky@uci.edu>
Fri, 19 Apr 2013 00:34:41 +0000 (17:34 -0700)
committerBrian Demsky <bdemsky@uci.edu>
Fri, 19 Apr 2013 00:34:41 +0000 (17:34 -0700)
commit5566833b04fb088b315dcde5148e05a9ea80c2df
tree76465b085f804f913437f930e79c291adfdf2eb4tree | snapshot
parent50e0465f724dc182d5d7504004e93f1a1b4644b9commit | diff
Remove special cases for printing SC executions.

Just use happens before relation instead.  Also include a criteria to keep things in execution order as much as possible.
scanalysis.cc diff | blob | history
C11 Tester Tool Public Repository