Prototype implementation of MIX (hybrid type-checking/symbolic execution engine)
Primary LanguageOCaml