This repository has been archived by the owner on Dec 13, 2022. It is now read-only.

[bedrock2/Uart] Finish firmware semantics and proofs #889

Open

dayeol opened this issue Aug 12, 2021 · 0 comments

Assignees

Labels

P1

Contributor

dayeol commented Aug 12, 2021

Write up the specification of each function in Uart device driver and complete the proofs.

dayeol added the P1 label

dayeol self-assigned this

This was referenced Aug 12, 2021

Uart state machine and proofs #853

Merged

Uart semantics and proofs (cont'd) #888

Merged

Sign up for free to subscribe to this conversation on GitHub. Already have an account? Sign in.