From b5c658a9acb6048894871e22296c0953a23f54f7 Mon Sep 17 00:00:00 2001 From: Ivan Kuraj Date: Thu, 15 Nov 2012 16:04:32 +0100 Subject: [PATCH] Update README.md updated and restructured for better readability --- README.md | 18 ++++++++---------- 1 file changed, 8 insertions(+), 10 deletions(-) diff --git a/README.md b/README.md index 5db36a0..4a73cf0 100644 --- a/README.md +++ b/README.md @@ -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. -InSynth_CompilerPlugin ----------------------- +For more info about the plugin, visit the [wiki page](https://github.com/kaptoxic/scala-ide-insynth-integration/wiki). + +### InSynth_CompilerPlugin Scala compiler plugin for analyzing statistics of various Scala source code and deriving weight for using in InSynth synthesis. -InSynth_HoFSearchPlugin ----------------------- +### InSynth_HoFSearchPlugin Scala compiler plugin for searching for application of high-order functions (useful for demonstration of InSynth correctness) -SAV_Project_Report ----------------------- +### 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 @@ ch.epfl.insynth.build InSynth feature maven build. -ch.epfl.insynth.reconstruction ------------------------------- +### 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). \ No newline at end of file