projects / model-checker.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: ed25790) | patch
userprog: use both atomic loads and stores
authorBrian Norris <banorris@uci.edu>
Tue, 10 Apr 2012 22:19:29 +0000 (15:19 -0700)
committerBrian Norris <banorris@uci.edu>
Tue, 10 Apr 2012 22:50:15 +0000 (15:50 -0700)
commit0c8ec8cc34f3ed7ab5398c65d58129e604b73920
tree05d5f3e8af068e96d19d246542d66737d59f0144tree | snapshot
parented2579031bea4a2f3fc0adb1c7e979771a589b9ccommit | diff
userprog: use both atomic loads and stores

(Meaningless change to 'user' program; just for testing purposes)
userprog.c diff | blob | history
C++11 memory model checker