Artifact: Solver-based Gradual Type Migration

This is the artifact that accompanies the paper "Solver-based Gradual Type Migration" which was conditionally accepted to OOPSLA 2021. These are the files included: TypeWhich.ova: a virtual machine that was submitted to the artifact evaluation committee Artifact_Guide.pdf: documentation for the artifact evaluation committee TypeWhich-main.zip: newer version of the source code. It has the code to generate a figure that we added after the AEC submission (the concise evaluation summary). The latest version of the artifact is also available at https://github.com/nuprl/typewhich