Homework 7: Iris

Due Tuesday, April 2, at 11:59 PM

Complete the following exercises from ex_01_swap.v: rotate_l_spec, z_mult_spec, max_spec