Final Project

Thisis the final project, building up the Z3 integration of MiniDafny.

You should download FinalProject.zip. This contains the template for the exercise - the standard stack/cabal boilerplate, as well as a few Haskell files. You should update at least the DafnyParser and WP files with your earlier homework. You probably also want to update your Printer. The Z3.hs file outlines your final project. The Eval.hs file contains an (optional) evaluator - details on that will follow.

The deadline for this is the final day of classes.