Pinned Loading

1. isla isla Public

   The ISLa (Input Specification Language) language & solver.

   Python 58 8

2. islearn islearn Public

   ISLearn is a tool for mining constraints on string inputs based on context-free grammars and the ISLa specification language.

   Python 15 4

3. GrammarGraph GrammarGraph Public

   Creation of Graphs from Context-Free Grammars

   Jupyter Notebook 3

4. grammar2regex grammar2regex Public

   Conversion / approximation of context-free grammars to regular expressions (custom ADT types or z3 ReRefs)

   Python 6

5. proxyorderedset proxyorderedset Public

   A simple implementation of ordered sets as a proxy to Python's standard dict class.

   Python 1