EquiDafny is an equivalence checker built on top of the Dafny program verifier.
This repository is split into several directories. Their purposes are described below.
examples: Contains Dafny files containing equivalence testsprofiling: Contains CPU and Memory flame graphs for running EquiDafny. Also contains a helper script that I used to generate these graphsreport: Contains the LaTeX source for my final project reportsrc/main: Contains EquiDafny's source code. Further details can be found within this directorysrc/test: Contains EquiDafny's tests. Further details can be found within this directory