ImpCompile is our final homework assignment.
You will be developing and verifying a compiler from bexp to an updated
sinstr target language. You will first extend sinstr to include a few
boolean operations. Then you will rework our aexp compiler to operate on a
stack that contains nat and bool values. Finally, you will define and verify
a compiler from bexp to the new sinstr interpreter.
Submission will be via Canvas as we have been doing during the semester.
Due date for this assignment is December 9 at midnight. That gives you a week to complete your and submit you work. This is a challenging assignment, but it should take only a day or so to complete. Please feel free to discuss and collaborate, but make sure you turn in your own work.