Closed jrootham closed 7 years ago
https://www.microsoft.com/en-us/research/wp-content/uploads/2016/07/supercomp-by-eval.pdf
We probably want to start with this: https://github.com/CompSciCabal/SMRTYPRTY/issues/63
https://www.microsoft.com/en-us/research/wp-content/uploads/2016/07/supercomp-by-eval.pdf