Ecosyste.ms: Issues

An open API service for providing issue and pull request metadata for open source projects.

GitHub / kaist-cp/view-hw issues and pull requests

#133 - test

Pull Request - State: closed - Opened by kyeongmincho almost 4 years ago - 4 comments

#132 - test

Pull Request - State: closed - Opened by kyeongmincho almost 4 years ago - 5 comments

#131 - test

Pull Request - State: closed - Opened by kyeongmincho almost 4 years ago - 2 comments

#130 - test

Pull Request - State: closed - Opened by kyeongmincho almost 4 years ago - 1 comment

#129 - test

Pull Request - State: closed - Opened by kyeongmincho almost 4 years ago - 3 comments

#128 - Ignore aux files

Pull Request - State: closed - Opened by kyeongmincho almost 4 years ago - 8 comments

#127 - Test bors

Pull Request - State: closed - Opened by kyeongmincho almost 4 years ago - 4 comments

#126 - Docker & CI & merge from Promising

Pull Request - State: closed - Opened by kyeongmincho almost 4 years ago

#125 - Docker & CI

Pull Request - State: closed - Opened by kyeongmincho almost 4 years ago

#124 - artifact: Add Dockerfile

Pull Request - State: closed - Opened by kyeongmincho almost 4 years ago

#123 - Fix ci

Pull Request - State: closed - Opened by kyeongmincho almost 4 years ago

#122 - Fix ci (#121)

Pull Request - State: closed - Opened by kyeongmincho almost 4 years ago

#121 - coq ci 해야 함

Issue - State: closed - Opened by kyeongmincho almost 4 years ago - 2 comments

#120 - artifact 제출을 위한 repo 구성

Issue - State: closed - Opened by kyeongmincho almost 4 years ago - 5 comments

#119 - pldi artifacts 준비

Pull Request - State: closed - Opened by kyeongmincho almost 4 years ago - 3 comments

#118 - Use coq template

Issue - State: closed - Opened by jeehoonkang about 4 years ago - 1 comment

#117 - artifact: Add eval script

Pull Request - State: closed - Opened by kyeongmincho over 4 years ago - 2 comments

#116 - artifact: Add more information

Pull Request - State: closed - Opened by kyeongmincho over 4 years ago - 2 comments

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

Issue - State: closed - Opened by jeehoonkang over 4 years ago - 1 comment

#114 - artifact more comments

Issue - State: closed - Opened by jeehoonkang over 4 years ago - 1 comment

#113 - I hope this would be the last PR for submission...

Pull Request - State: closed - Opened by kyeongmincho over 4 years ago - 7 comments

#112 - artifact 마지막 검수

Issue - State: closed - Opened by jeehoonkang over 4 years ago

#111 - artifact: Apply the comment #110

Pull Request - State: closed - Opened by kyeongmincho over 4 years ago

#110 - artifact more comments

Issue - State: closed - Opened by jeehoonkang over 4 years ago - 5 comments

#109 - artifact: Apply Sung-hwan's comment (#101)

Pull Request - State: closed - Opened by kyeongmincho over 4 years ago - 5 comments

#108 - Fix vrmw

Pull Request - State: closed - Opened by kyeongmincho over 4 years ago - 4 comments

#107 - PLDI 2021 artifact 만들기 계속 (#101)

Pull Request - State: closed - Opened by kyeongmincho over 4 years ago

#106 - Update Jenkindsfile Coq vesion to 8.12.0

Pull Request - State: closed - Opened by jeehoonkang over 4 years ago - 2 comments

#105 - Coq 8.12.1?

Issue - State: closed - Opened by jeehoonkang over 4 years ago - 2 comments

#104 - Finalize artifact.zip

Pull Request - State: closed - Opened by kyeongmincho over 4 years ago - 3 comments

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

Issue - State: closed - Opened by kyeongmincho over 4 years ago
Labels: P-high

#102 - [ETRI] 금년도 연차평가 준비 자료

Issue - State: closed - Opened by kyeongmincho over 4 years ago - 6 comments
Labels: P-high

#101 - PLDI 2021 artifact 만들기

Issue - State: closed - Opened by jeehoonkang over 4 years ago - 5 comments

#100 - For submission

Pull Request - State: closed - Opened by kyeongmincho over 4 years ago

#99 - zip으로 묶는 스크립트 추가

Issue - State: closed - Opened by kyeongmincho over 4 years ago
Labels: P-high

#98 - ob includes pf

Pull Request - State: closed - Opened by kyeongmincho over 4 years ago

#97 - *SimLocal.v 는 equiv로 이동하는 게 맞을 듯

Issue - State: closed - Opened by kyeongmincho over 4 years ago
Labels: P-low

#96 - Edit README

Issue - State: closed - Opened by kyeongmincho over 4 years ago
Labels: P-high

#95 - Proof1

Pull Request - State: closed - Opened by kyeongmincho over 4 years ago - 2 comments

#94 - Support coq 8.12.0

Issue - State: closed - Opened by kyeongmincho over 4 years ago
Labels: P-low

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

Issue - State: closed - Opened by kyeongmincho over 4 years ago - 1 comment
Labels: P-low

#92 - resolves #91

Pull Request - State: closed - Opened by kyeongmincho over 4 years ago - 2 comments

#90 - Add cacheline

Pull Request - State: closed - Opened by kyeongmincho over 4 years ago

#89 - ARMv8 Persistency Proof

Pull Request - State: closed - Opened by kyeongmincho over 4 years ago - 2 comments

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

Issue - State: closed - Opened by kyeongmincho over 4 years ago - 3 comments
Labels: P-mid

#87 - ETRI 진도점검 보고서 작성

Issue - State: closed - Opened by kyeongmincho over 4 years ago
Labels: P-high

#86 - Extending co in Px86

Issue - State: closed - Opened by kyeongmincho over 4 years ago - 10 comments

#85 - PF to V

Pull Request - State: closed - Opened by kyeongmincho over 4 years ago - 2 comments

#84 - PF to V

Pull Request - State: closed - Opened by sunghwanl over 4 years ago - 4 comments

#83 - Px86 atop WIP

Pull Request - State: closed - Opened by kyeongmincho over 4 years ago - 2 comments

#82 - Px86: PFtoV comment (possibility of machine equality)

Pull Request - State: closed - Opened by kyeongmincho over 4 years ago

#81 - Begin TsoPFtoV proof (restart)

Pull Request - State: closed - Opened by jeehoonkang over 4 years ago - 2 comments

#79 - terminated -> persist last messages

Issue - State: closed - Opened by kyeongmincho over 4 years ago - 1 comment
Labels: P-mid

#78 - Px86: add persisted eid definition

Pull Request - State: closed - Opened by kyeongmincho over 4 years ago - 1 comment

#77 - Px86 Persistency Equivalence (#76)

Pull Request - State: closed - Opened by kyeongmincho over 4 years ago - 2 comments

#76 - persistency equivalence proof

Issue - State: closed - Opened by kyeongmincho over 4 years ago - 6 comments
Labels: P-high

#75 - TSO VtoP: fix statements

Pull Request - State: closed - Opened by kyeongmincho over 4 years ago - 3 comments

#75 - TSO VtoP: fix statements

Pull Request - State: closed - Opened by kyeongmincho over 4 years ago - 3 comments

#74 - Define Px86

Pull Request - State: closed - Opened by kyeongmincho over 4 years ago - 2 comments

#73 - View-x86: PF to V

Pull Request - State: closed - Opened by kyeongmincho over 4 years ago - 3 comments

#72 - View-x86: Definition & VtoP

Pull Request - State: closed - Opened by kyeongmincho over 4 years ago - 10 comments

#71 - Define PARM

Pull Request - State: closed - Opened by sunghwanl over 4 years ago - 12 comments

#70 - Simplified promising x86 (#56)

Pull Request - State: closed - Opened by kyeongmincho over 4 years ago - 7 comments

#69 - Axiom-PARMv8

Issue - State: closed - Opened by sunghwanl over 4 years ago - 6 comments
Labels: P-high

#68 - 7/20 미팅 내용

Issue - State: closed - Opened by kyeongmincho over 4 years ago - 2 comments

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

Issue - State: closed - Opened by kyeongmincho over 4 years ago - 12 comments
Labels: bug

#66 - PARM pob 및 local pv 추가

Pull Request - State: closed - Opened by kyeongmincho over 4 years ago - 6 comments

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

Issue - State: closed - Opened by kyeongmincho over 4 years ago - 1 comment
Labels: bug

#64 - Refactor tso

Pull Request - State: closed - Opened by kyeongmincho over 4 years ago - 1 comment

#63 - cacheline: 하지 맙시다

Issue - State: closed - Opened by jeehoonkang over 4 years ago
Labels: P-low

#62 - Recent changes to ARMv8 persistence (Point of Persistence vs. Point of Deep Persistence)

Issue - State: closed - Opened by jeehoonkang over 4 years ago - 2 comments
Labels: documentation

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

Issue - State: closed - Opened by kyeongmincho over 4 years ago - 2 comments
Labels: question

#60 - Partial Axiomatic execution <-> Partial Promising execution

Issue - State: closed - Opened by kyeongmincho over 4 years ago - 1 comment

#59 - Add persistency w/o cacheline, nvo(global persistency view)

Pull Request - State: closed - Opened by kyeongmincho over 4 years ago - 1 comment

#58 - ETRI 요구사항 (2020/07/6 미팅)

Issue - State: closed - Opened by kyeongmincho over 4 years ago - 3 comments

#57 - #45 merge 전 체크사항

Issue - State: closed - Opened by kyeongmincho over 4 years ago - 1 comment

#56 - View-x86 Semantics

Issue - State: closed - Opened by kyeongmincho over 4 years ago - 6 comments

#55 - 2020/05/28 미팅록 (성환님 조인 미팅)

Issue - State: closed - Opened by kyeongmincho over 4 years ago

#54 - PLDI 2021 할일 (deadline: 2020년 11월 중순)

Issue - State: closed - Opened by kyeongmincho over 4 years ago - 2 comments
Labels: meta

#54 - PLDI 2021 할일 (deadline: 2020년 11월 중순)

Issue - State: closed - Opened by kyeongmincho over 4 years ago - 2 comments
Labels: meta

#53 - TSO: rmw old_ts 재변경

Issue - State: closed - Opened by kyeongmincho almost 5 years ago - 4 comments
Labels: bug

#52 - ETRI 발표자료 송부

Issue - State: closed - Opened by kyeongmincho almost 5 years ago

#51 - TSO: Store buffering 예제 불일치 문제

Issue - State: closed - Opened by kyeongmincho almost 5 years ago - 3 comments
Labels: bug

#50 - TSO: rmw_fail에 expected =/= old 가 필요없는 이유

Issue - State: closed - Opened by kyeongmincho almost 5 years ago
Labels: documentation

#49 - TSO: rmw의 vro

Issue - State: closed - Opened by kyeongmincho almost 5 years ago - 1 comment

#48 - TSO: read step의 post view

Issue - State: closed - Opened by kyeongmincho almost 5 years ago - 2 comments

#47 - TSO: rmw_failure의 pre-view/post-view

Issue - State: closed - Opened by kyeongmincho almost 5 years ago - 2 comments
Labels: documentation

#46 - TSO: PF <= PX 증명 전략

Issue - State: closed - Opened by kyeongmincho almost 5 years ago - 4 comments
Labels: documentation, P-mid

#45 - Tso prom2

Pull Request - State: closed - Opened by kyeongmincho almost 5 years ago - 6 comments

#44 - TSO axiom: change the defition of dob (closes #36)

Pull Request - State: closed - Opened by kyeongmincho almost 5 years ago - 1 comment

#43 - define tso comom axiom ~ prove sim_machine_init

Pull Request - State: closed - Opened by kyeongmincho almost 5 years ago

#42 - TSO prom: fix rmw's vro bug (closes #40)

Pull Request - State: closed - Opened by kyeongmincho almost 5 years ago - 2 comments

#41 - TSO prom: fix rmw's vro bug (closes #40)

Pull Request - State: closed - Opened by kyeongmincho about 5 years ago

#40 - TSO prom: rmw vro 고치기

Issue - State: closed - Opened by kyeongmincho about 5 years ago
Labels: bug

#39 - Tso AtoP: 증명

Issue - State: closed - Opened by kyeongmincho about 5 years ago

#38 - TSO axiom: acyclic po \/ rf

Issue - State: closed - Opened by kyeongmincho about 5 years ago - 4 comments
Labels: documentation

#37 - TSO AtoP

Pull Request - State: closed - Opened by kyeongmincho about 5 years ago

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

Issue - State: closed - Opened by kyeongmincho about 5 years ago - 4 comments
Labels: enhancement

#35 - TSO prom: vro와 vwn은 필요한가?

Issue - State: closed - Opened by kyeongmincho about 5 years ago
Labels: question