upenn-acg/verified-tsan

[TODO]: proof structure of the "soundness" direction in the correctness theorem

stilltracy opened this issue 9 years ago · 0 comments

stilltracy commented 9 years ago

[TODO]: proof structure of the "soundness" direction in the correctness theorem