projects / model-checker.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: cfbd2bd) | patch
librace: add load/store interface for checking data races
authorBrian Norris <banorris@uci.edu>
Wed, 25 Apr 2012 23:55:46 +0000 (16:55 -0700)
committerBrian Norris <banorris@uci.edu>
Wed, 25 Apr 2012 23:55:46 +0000 (16:55 -0700)
commit7af1e278a823b97b391f37da9ef6a013d58ac50e
treeabc663fa3a39f16a5864e6cc22e8c7468950e87ctree | snapshot
parentcfbd2bd9b7c20f27d474142f56ad49d6b7bd0a4acommit | diff
librace: add load/store interface for checking data races

The compiler portion will need to replace loads/stores with calls to the
store_X() and load_X() functions.
Makefile diff | blob | history
librace.cc [new file with mode: 0644] blob
librace.h [new file with mode: 0644] blob
C++11 memory model checker