Performing equivalence checking and clustering for EPL programming assignments 1 and 2 based on Stainless 0.9.8.7, while employing AST transformation to make Stainless compatible with standard Scala and reduce the verification difficulty of certain complex exercises.
run sbt universal:stage to build the project.
Example usage can be found in the shell scripts in the evaluation folder.