Permalink
Browse files

Update README.md

Better description of subdirectories
  • Loading branch information...
1 parent 185b6f2 commit d6e926df55541ba3811e73838ab66a17b2a5c0ab @kaptoxic committed Feb 27, 2013
Showing with 10 additions and 18 deletions.
  1. +10 −18 README.md
View
@@ -1,27 +1,19 @@
Scala IDE InSynth Integration
=============================
-Central repository for managing the implementation of InSynth, its Scala IDE integration and documentation.
-
+Central repository for managing the implementation of InSynth, its Scala IDE integration and documentation.
+Main source code of the InSynth plugin is in the [ch.epfl.insynth.build](https://github.com/kaptoxic/scala-ide-insynth-integration/tree/master/ch.epfl.insynth.build) subdirectory.
For more info about the plugin, visit the [wiki page](https://github.com/kaptoxic/scala-ide-insynth-integration/wiki).
-### InSynth_CompilerPlugin
+The following gives a summary of subdirectories:
+* 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
-
+* 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
-----------------------
-
+* __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).
+* ch.epfl.insynth.reconstruction
+Temporary repository containing the code generation module of InSynth (deprecated and merged into the InSynth maven build).

0 comments on commit d6e926d

Please sign in to comment.