Flash Fill

My implementation of the Flash Fill algorithm from the paper Automating String Processing in Spreadsheets using Input-Output Examples by Sumit Gulwani.

Structure

src/
├── eval.rs        # Semantic of the language
├── examples.rs    # Examples copied from the paper
├── language.rs    # Syntax of the language
├── data_struct.rs # Data Structure from the paper
├── lib.rs
└── synthesis.rs   # Synthesis algorithm from the paper

Tests

Tests are located in src/eval.rs can be run with cargo test.

Examples

See examples for simple examples, mainly written for testing the synthesis algorithm.