projects / model-checker.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: f7e3432) | patch
userprog: use atomics allocated on "heap"
authorBrian Norris <banorris@uci.edu>
Thu, 31 May 2012 02:42:07 +0000 (19:42 -0700)
committerBrian Norris <banorris@uci.edu>
Thu, 31 May 2012 02:42:07 +0000 (19:42 -0700)
commit1a0114ccaf1f6a8dc1656589c6d733354fe310cd
treea4792de31eddf5fb6344da107ca3ac06c607824ctree | snapshot
parentf7e343245eacef390a0d52ba4f7dac361eb11a51commit | diff
userprog: use atomics allocated on "heap"

Just for kicks, since snapshotting is working properly. We might as well test
this.
userprog.c diff | blob | history
C++11 memory model checker