Prototype implementation of MIX (hybrid type-checking/symbolic execution engine)
Primary LanguageOCaml
No issues in this repository yet.