This repository has been archived by the owner on Dec 9, 2017. It is now read-only.
move symbolic analysis to separate repository #56
Comments
Sign up for free
to subscribe to this conversation on GitHub.
Already have an account?
Sign in.
We should move the symbolic analysis code in Jalangi to a separate git repository. This will make it easier to install Jalangi for those not doing symbolic analysis, since auxiliary tools like cvc3 won't need to be installed. Plus, it will force us to clean up the design a little bit.
The text was updated successfully, but these errors were encountered: