WIP: Valid/Ready Handshaking example#29

Open

benreynwar wants to merge 3 commits intoTeamVoss:masterfrom

benreynwar:validready_example

Commits on Mar 28, 2024

Start on an example using valid/ready handshaking.
benreynwar
committed

Commits on Mar 29, 2024

Continuing to fail to prove anything about valid/ready handshaking.
benreynwar
committed

Commits on Apr 10, 2024

More lack of proofs about valid/ready handshaking.
benreynwar
committed