Skip to content
This repository

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

This branch is 2 commits ahead and 98 commits behind master

Fetching latest commit…

Octocat-spinner-32-eaf2f5

Cannot retrieve the latest commit at this time

Octocat-spinner-32 InSynth_CompilerPlugin
Octocat-spinner-32 InSynth_HoFSearchPlugin
Octocat-spinner-32 SAV_Project_Report
Octocat-spinner-32 ch.epfl.insynth.build
Octocat-spinner-32 ch.epfl.insynth.reconstruction
Octocat-spinner-32 .gitignore
Octocat-spinner-32 README.md
README.md

Scala IDE InSynth Integration

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

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 code generation module of InSynth.

Something went wrong with that request. Please try again.