projects / model-checker.git / commitdiff
? search:
summary | shortlog | log | commit | commitdiff | tree
raw | patch | inline | side by side (from: 6d27ffd)
execution: reformat execution traces
authorBrian Norris <banorris@uci.edu>
Wed, 29 May 2013 01:32:19 +0000 (18:32 -0700)
committerBrian Norris <banorris@uci.edu>
Wed, 29 May 2013 01:58:28 +0000 (18:58 -0700)
The execution printouts were getting too wide and weren't too easy to
read. This improves the situation marginally.


No differences found
C++11 memory model checker