projects / model-checker.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 5f71c5e) | patch
snapshotimp: move macros to fork-based
authorBrian Norris <banorris@uci.edu>
Thu, 3 Jan 2013 01:21:33 +0000 (17:21 -0800)
committerBrian Norris <banorris@uci.edu>
Thu, 3 Jan 2013 03:12:03 +0000 (19:12 -0800)
commit9fbf5dd29dd143dfbf4acef3d1ec11e0758fccb1
treed972b1ee1085d4a99044efd8980c1a32d68dbf65tree | snapshot
parent5f71c5e271a6fd27f2300b87b6bb45e122348320commit | diff
snapshotimp: move macros to fork-based

These macros are only used for fork-based snapshotting.
snapshotimp.h diff | blob | history
C++11 memory model checker