Browse files

Merge branch 'master' of ssh://…

  • Loading branch information...
2 parents 055d498 + b5c658a commit 50fb94e5eb2e25ab3b7714bedd8df613b58a51c0 @kaptoxic committed Feb 23, 2013
Showing with 8 additions and 10 deletions.
  1. +8 −10
@@ -1,20 +1,19 @@
Scala IDE InSynth Integration
-Central repository for managing the implementation of InSynth and Scala IDE 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.
@@ -23,7 +22,6 @@
InSynth feature maven build.
+### ch.epfl.insynth.reconstruction
-Temporary repository containing code generation module of InSynth.
+Temporary repository containing the code generation module of InSynth (the code is now old and merged into the InSynth maven build).

0 comments on commit 50fb94e

Please sign in to comment.