Login | Register
My pages Projects Community openCollabNet

[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]

[Catacomb] 100% passing litmus test cases including locks



Hello,

Finally, Catacomb can pass all litmus-0.8.0 test cases including locks, even though there are several warnings. We should look at the warnings, though.

Why don't you check it out.

--
Sung Kim <hunkim@cse.ucsc.edu>
http://www.cse.ucsc.edu/~hunkim

 "Dreams become reality!"