Symbolic Reuse Interval Synthesizer By Input-output Examples

This project is trying to explore synthesizing symbolic reuse interval expressions with input-output examples.

How to run this code

Build synthesisizer

cd search-based_synthesizer
mkdir build
cd build
cmake ..
make

Generate executables to produce the data from PolyBench

cd bench
make bench_gen
make trace_gen

Run the system to reorgnize the raw data and synthesis the Symbolic Reuse Interval

cd run
python run.py