projects / cdsspec-compiler.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: e552799) | patch
litmus: seq-lock: add MODEL_ASSERT() for the important behavior
authorBrian Norris <banorris@uci.edu>
Sat, 9 Mar 2013 00:50:51 +0000 (16:50 -0800)
committerBrian Norris <banorris@uci.edu>
Sat, 9 Mar 2013 00:55:19 +0000 (16:55 -0800)
commit49dd0f6c667d9ab2a92301f230de60890f8c0c57
treea7d043124e40ef0178c29c5448f63e59befa7630tree | snapshot
parente552799710cf415a268915a009513621ca806e2fcommit | diff
litmus: seq-lock: add MODEL_ASSERT() for the important behavior
test/litmus/seq-lock.cc diff | blob | history
This is the public repository for the CDSSpec specification compiler.