해결해주시고, PR 올리시고, 제가 머지하면 hotcrp에 다시 올려주세요.

• Ubuntu 20.04만 지원한다고 명시
• opam을 coq을 위해서도 깔고 model checker를 위해서도 까는데 한번만 해도 될듯 합니다. 앞에서 installation 이런 식으로
• Bulid script를 각각의 directory에서 수행해야함을 명시, e.g., cd model-checker 이후에 opam install --deps-only .
• proof our results가 우리가 이 파일들을 완전히 새로 만든게 아니라 좀 수정했다고 말해야 할거같아요. 그리고 our results를 results of prior work 앞으로 보냅시다.
• "Promising model for ARMv8 and RISC-V by Christopher Pulte, ARMv8-view.": Pulte et al. 이라고 하거나 혹은 저자 이름을 모두 써주세요. 그리고 ", ARMv8-view"는 없어도 될듯 합니다.
• "ocaml 4.10.0"이 필요하다고 하는 것보다 "opam switch 4.10.0"을 넣는게 나을지도 모르겠습니다. 주석으로 시스템 버전이 4.10.0보다 높으면 그거 써도 된다.. 이정도로 넣고
• opam 혹시 parallel하게 실행되는 옵션이 있나요? 있으면 넣는게 좋을 것 같아서요.
• run.p에 더해서 모든 litmus를 모두 실행하는 스크립트 하나만 넣어주세요.