ANTLR4 to Perses Normal Form converter for technique described in "Perses: Syntax-Guided Program Reduction"
Primary LanguagePythonMIT LicenseMIT
No issues in this repository yet.