TODO.md

TODO List

Sections

• General
• Transformations
• Dependence Test
• Witness Tuple Generation
• Completion Search
• Code Generation
• Visualization

General

Transformations

• testing successive inlining

Dependence Test

• Support for various prefixes
• Analyze epsilon closure initial states

Witness Tuple Generation

• Support more regex constructs

Completion Search

• Analyze different search strategies
• Support strip-mining

Code Generation

• Analyzing and tagging the AST
• Simplifying the AST (constant folding etc.)
• Integrate C99 parser

Visualization

• Add automata-transducer visualization