Analyze a large set of traces through modular decomposition
Switch branches/tags
Nothing to show
Clone or download
Fetching latest commit…
Cannot retrieve the latest commit at this time.
Permalink
Failed to load latest commit information.
darwin_x86_64
lib
src/main
.gitignore
Makefile
README.md
SODA-GROUND-TRUTH
SODA.csv
build.sbt
h16.csv
h4.csv
h8.csv
sbt
z16.csv
z4.csv
z8.csv

README.md

trace-analysis

Code and data for 'Toward tool support for interactive synthesis', published in Onward '15.

The project is able to decompose a set of traces into a cross-product of smaller traces or a sum of cross-products. View the Makefile for details on how to run the project.

More information can be found in the paper: http://sbarman.com/static/interactive_onward15.pdf