Homework 7: Invariants

Due Thursday, April 3, at 11:59 PM

Complete the exercises in hw7.v. Some of these exercises are also in the Iris tutorial invariants.v; feel free to solve them there and then copy them over to hw7.v. When you’re done, submit your hw7.v file on Gradescope.