Homework 5
Due: Wednesday, 10/11
Read and complete Equiv.v.
Complete the following 2-star exercises in Equiv.v:
- skip_right
- IFB_false
- WHILE_true
- assign_aequiv
For EC, complete all the exercises in the file.
At the top of your Equiv.v, include the usual README
as in previous assignments.
Submit through
Blackboard the one file listed above before
11:59PM on the due date.