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.
Scala compiler plugin for analyzing statistics of various Scala source code and deriving weight for using in InSynth synthesis.
Scala compiler plugin for searching for application of high-order functions (useful for demonstration of InSynth correctness)
Project report on the InSynth code generation phase, as a final course report in Sofrware Analysis and Verification, at EPFL.
InSynth feature maven build.
Temporary repository containing the code generation module of InSynth (the code is now old and merged into the InSynth maven build).