kaist-cp/view-hw

Issues

• coq ci 해야 함

  #121 opened 4 years ago by kyeongmincho
  2

• artifact 제출을 위한 repo 구성

  #120 opened 4 years ago by kyeongmincho
  5

• Use coq template

  #118 opened 4 years ago by jeehoonkang
  1

• [ETRI] 금년도 연차평가 준비 자료

  #102 opened 4 years ago by kyeongmincho
  6

• Artifact's model checker doesn't build for kaist-cp-sandbox-01

  #115 opened 4 years ago by jeehoonkang
  1

• artifact more comments

  #114 opened 4 years ago by jeehoonkang
  1

• Coq 8.12.1?

  #105 opened 4 years ago by jeehoonkang
  2

• artifact 마지막 검수

  #112 opened 4 years ago by jeehoonkang
  0

• artifact more comments

  #110 opened 4 years ago by jeehoonkang
  5

• PLDI 2021 artifact 만들기

  #101 opened 4 years ago by jeehoonkang
  5

• view step의 rmw (vrmw) 는 coh + exclusive 대신 latest 적용

  #93 opened 4 years ago by kyeongmincho
  1

• 연구노트 스크린샷 (11월 15일 전에)

  #103 opened 4 years ago by kyeongmincho
  0

• Support coq 8.12.0

  #94 opened 4 years ago by kyeongmincho
  0

• Edit README

  #96 opened 4 years ago by kyeongmincho
  0

• *SimLocal.v 는 equiv로 이동하는 게 맞을 듯

  #97 opened 4 years ago by kyeongmincho
  0

• zip으로 묶는 스크립트 추가

  #99 opened 4 years ago by kyeongmincho
  0

• PLDI 2021 할일 (deadline: 2020년 11월 중순)

  #54 opened 4 years ago by kyeongmincho
  2

• 행동이 나오는지 안 나오는지 실험 (ETRI persistent memory 활용)

  #34 opened 4 years ago by kyeongmincho
  0

• terminated -> persist last messages

  #79 opened 4 years ago by kyeongmincho
  1

• `fob` 세 번째에서 `(po;[FL])^?`는 필요한가요?

  #88 opened 4 years ago by kyeongmincho
  3

• per-location VPN을 사용하지 않고 같은 cache line의 coh를 모두 join

  #91 opened 4 years ago by kyeongmincho
  9

• Axiom-PARMv8

  #69 opened 4 years ago by sunghwanl
  6

• persistency equivalence proof

  #76 opened 4 years ago by kyeongmincho
  6

• Extending co in Px86

  #86 opened 4 years ago by kyeongmincho
  10

• ETRI 진도점검 보고서 작성

  #87 opened 4 years ago by kyeongmincho
  0

• ETRI 요구사항 (2020/07/6 미팅)

  #58 opened 4 years ago by kyeongmincho
  3

• TSO: PF <= PX 증명 전략

  #46 opened 4 years ago by kyeongmincho
  4

• Partial Axiomatic execution <-> Partial Promising execution

  #60 opened 4 years ago by kyeongmincho
  1

• Recent changes to ARMv8 persistence (Point of Persistence vs. Point of Deep Persistence)

  #62 opened 4 years ago by jeehoonkang
  2

• View-x86 Semantics

  #56 opened 4 years ago by kyeongmincho
  6

• 7/20 미팅 내용

  #68 opened 4 years ago by kyeongmincho
  2

• cacheline: 하지 맙시다

  #63 opened 4 years ago by jeehoonkang
  0

• Axiom-PARMv8: [R]; po; dmb.sy; po; [FO] ob 추가 관련 논의

  #67 opened 4 years ago by kyeongmincho
  12

• Axiom-PARMv8: FO;po;DSB 일 때 persist 안 되는 버그 관련 논의

  #65 opened 4 years ago by kyeongmincho
  1

• Px86: update는 바로 영속성을 가질 수 있을까?

  #61 opened 4 years ago by kyeongmincho
  2

• TSO axiom: how about "dob := r;po;r \/ a;po;w"?

  #36 opened 4 years ago by kyeongmincho
  4

• #45 merge 전 체크사항

  #57 opened 5 years ago by kyeongmincho
  1

• 2020/05/28 미팅록 (성환님 조인 미팅)

  #55 opened 5 years ago by kyeongmincho
  0

• TSO: rmw old_ts 재변경

  #53 opened 5 years ago by kyeongmincho
  4

• TSO: Store buffering 예제 불일치 문제

  #51 opened 5 years ago by kyeongmincho
  3

• ETRI 발표자료 송부

  #52 opened 5 years ago by kyeongmincho
  0

• TSO: read step의 post view

  #48 opened 5 years ago by kyeongmincho
  2

• TSO: rmw의 vro

  #49 opened 5 years ago by kyeongmincho
  1

• TSO: rmw_fail에 expected =/= old 가 필요없는 이유

  #50 opened 5 years ago by kyeongmincho
  0

• TSO axiom: acyclic po \/ rf

  #38 opened 5 years ago by kyeongmincho
  4

• TSO: rmw_failure의 pre-view/post-view

  #47 opened 5 years ago by kyeongmincho
  2

• Axiomatic TSO === Promising TSO ?

  #33 opened 5 years ago by kyeongmincho
  3

• TSO prom: vro와 vwn은 필요한가?

  #35 opened 5 years ago by kyeongmincho
  0

• Tso AtoP: 증명

  #39 opened 5 years ago by kyeongmincho
  0

• TSO prom: rmw vro 고치기

  #40 opened 5 years ago by kyeongmincho
  0