Skip to content

HTTPS clone URL

Subversion checkout URL

You can clone with HTTPS or Subversion.

Download ZIP
Central repository for managing the implementation of InSynth and Scala IDE integration.
Scala Other

Fetching latest commit…

Cannot retrieve the latest commit at this time

Failed to load latest commit information.
InSynth_CompilerPlugin
InSynth_HoFSearchPlugin
SAV_Project_Report
ch.epfl.insynth.build
ch.epfl.insynth.reconstruction
.gitignore
README.md

README.md

Scala IDE InSynth Integration

Central repository for managing the implementation of InSynth, its Scala IDE integration and documentation.

For more info about the plugin, visit the wiki page.

InSynth_CompilerPlugin

Scala compiler plugin for analyzing statistics of various Scala source code and deriving weight for using in InSynth synthesis.

InSynth_HoFSearchPlugin

Scala compiler plugin for searching for application of high-order functions (useful for demonstration of InSynth correctness)

SAV_Project_Report

Project report on the InSynth code generation phase, as a final course report in Sofrware Analysis and Verification, at EPFL.

ch.epfl.insynth.build

InSynth feature maven build.

ch.epfl.insynth.reconstruction

Temporary repository containing the code generation module of InSynth (the code is now old and merged into the InSynth maven build).

Something went wrong with that request. Please try again.