Search Docker Hub
Community User
Displaying 1 to 2 of 2 repositories
Artifact for "Semantic Program Alignment for Equivalence Checking", presented in PLDI 2019
5y
2.0K
Don't use this -- it's just an Ubuntu with some packages installed and SMT solvers.
7y
1.0K