projects / cdsspec-compiler.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: b81be96) | patch
model: detect uninitialized atomic reads
authorBrian Norris <banorris@uci.edu>
Sat, 7 Jul 2012 00:54:54 +0000 (17:54 -0700)
committerBrian Norris <banorris@uci.edu>
Sat, 7 Jul 2012 01:00:51 +0000 (18:00 -0700)
commitb4dd96124e3182bd2ae7d9d2b2ff332b3ef8fc27
tree80c7b51b17c66fdd26fd84f0469a2c52f5ae0204tree | snapshot
parentb81be9611238c9485f1912fa1e9cab26b5df6fb6commit | diff
model: detect uninitialized atomic reads
model.cc diff | blob | history
This is the public repository for the CDSSpec specification compiler.