projects / model-checker.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 98dd349) | patch
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)
commit6d27ffdd1fc1f816a8381c4c0553256598d62f4a
tree5ed3636d79e5d9dd83b7056a2f1287eaca6442c2tree | snapshot
parent98dd349fcc6e59853e3b54f33ea449527fcd9382commit | diff
execution: reformat execution traces

The execution printouts were getting too wide and weren't too easy to
read. This improves the situation marginally.
action.cc diff | blob | history
clockvector.cc diff | blob | history
execution.cc diff | blob | history
C++11 memory model checker