Skip to content
master
Switch branches/tags
Code

Latest commit

 

Git stats

Files

Permalink
Failed to load latest commit information.
Type
Name
Latest commit message
Commit time
 
 
 
 
 
 
 
 
 
 
Synthesizing Bijective Lenses Artifact Evaluation
-------------------------------------------------

Makefile
 - make regenerate-specs creates specifications for Flash Fill and FlashExtract
 - make regenerate-data must be ran after specifications are made, and generates data and graphs

program contains the Optician program

comparisons contains code for testing Flash Fill and FlashExtract

data transforms the generated data

combine-data.py aggregates the data from multiple tests into a single CSV file

About

Artifact Evaluation repository for "Synthesizing Bijective Lenses" POPL 2018

Resources

Stars

Watchers

Forks

Releases

No releases published

Packages

No packages published