ANTLR4 to Perses Normal Form converter for technique described in "Perses: Syntax-Guided Program Reduction"
-
Updated
Aug 2, 2018 - Python
ANTLR4 to Perses Normal Form converter for technique described in "Perses: Syntax-Guided Program Reduction"
Perses embeddable dashboard & visualization framework example app (built with MUI + Next.js)
Python CLI to create and manage Perses dashboards
Add a description, image, and links to the perses topic page so that developers can more easily learn about it.
To associate your repository with the perses topic, visit your repo's landing page and select "manage topics."