tso-axm: axiomatic label에서 order 제거 (#4)#9
Merged
3 commits merged intoJan 6, 2020
Merged
Conversation
- step 2 처음부터 다시 (axiomatic.v 복사) - read/write ord 지운다 - aob 삭제 - 공리에 대하여 여러가지 TODO 기재 Signed-off-by: Kyeongmin Cho <kyeongmin.cho@kaist.ac.kr>
jeehoonkang
requested changes
Jan 3, 2020
- OK 난 CHECK 주석 제거 - rfi 삭제 - internel에서 co, rf 제거 (많은 admit 발생) - fre, coe 제거는 ex와 얽혀있어서 일단 팬딩 Signed-off-by: Kyeongmin Cho <kyeongmin.cho@kaist.ac.kr>
jeehoonkang
requested changes
Jan 6, 2020
Member
|
- Label.ctrl 제거 - Alocal.ctrl, Alocal,rmw 제거 - Execution.ctrl, Execution.rmw 제거 - fre, coe 제거 Signed-off-by: Kyeongmin Cho <kyeongmin.cho@kaist.ac.kr>
Member
|
bors r+ |
ghost
pushed a commit
that referenced
this pull request
Jan 6, 2020
9: tso-axm: axiomatic label에서 order 제거 (#4) r=jeehoonkang a=drzix ## 표기 - `CHECK`로 검토해야 할 부분을 명시하였습니다. - `TODO`로 수행해야 할 부분들을 명시하였습니다. ## 진행사항 - step 2 처음부터 다시 (axiomatic.v 복사) - read/write ord 지운다 - aob 삭제 - 공리에 대하여 여러가지 TODO 기재 Co-authored-by: Kyeongmin Cho <kyeongmin.cho@kaist.ac.kr>
Build succeeded |
ghost
merged commit
This pull request was closed.
This file contains hidden or bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
Sign up for free
to join this conversation on GitHub.
Already have an account?
Sign in to comment
2 participants
Add this suggestion to a batch that can be applied as a single commit.This suggestion is invalid because no changes were made to the code.Suggestions cannot be applied while the pull request is closed.Suggestions cannot be applied while viewing a subset of changes.Only one suggestion per line can be applied in a batch.Add this suggestion to a batch that can be applied as a single commit.Applying suggestions on deleted lines is not supported.You must change the existing code in this line in order to create a valid suggestion.Outdated suggestions cannot be applied.This suggestion has been applied or marked resolved.Suggestions cannot be applied from pending reviews.Suggestions cannot be applied on multi-line comments.Suggestions cannot be applied while the pull request is queued to merge.Suggestion cannot be applied right now. Please check back later.
표기
CHECK로 검토해야 할 부분을 명시하였습니다.TODO로 수행해야 할 부분들을 명시하였습니다.진행사항