Differences
This shows you the differences between two versions of the page.
| Both sides previous revision Previous revision | Next revision Both sides next revision | ||
|
comfusy [2011/12/01 18:57] philippe.suter |
comfusy [2011/12/01 18:58] philippe.suter |
||
|---|---|---|---|
| Line 4: | Line 4: | ||
| * see [[http://lara.epfl.ch/~kuncak/papers/KuncakETAL10CompleteFunctionalSynthesis.html|PLDI 2010 Paper]] for the description of this work | * see [[http://lara.epfl.ch/~kuncak/papers/KuncakETAL10CompleteFunctionalSynthesis.html|PLDI 2010 Paper]] for the description of this work | ||
| - | Comfusy works as a plugin for the [[http://scala-lang.org|Scala]] compiler. Comfusy was developed and tested with the version 2.7.7 of Scala (not the recent 2.8 release). | + | Comfusy works as a plugin for the [[http://scala-lang.org|Scala]] compiler. Comfusy was developed and tested with the version 2.7.7 of Scala (*not* the more recent 2.8.* or 2.9.* releases). |
| * You can download the .jar file of the plugin here: [[http://lara.epfl.ch/~psuter/comfusy/synthesis-plugin.jar|synthesis-plugin.jar]] (older version: [[http://lara.epfl.ch/~psuter/comfusy/synthesis-plugin-older.jar|synthesis-plugin-older.jar]], without support for parametrized linear integer arithmetic). The source code is available here for the brave: [[http://lara.epfl.ch/~psuter/comfusy/comfusy.zip|comfusy.zip]]. | * You can download the .jar file of the plugin here: [[http://lara.epfl.ch/~psuter/comfusy/synthesis-plugin.jar|synthesis-plugin.jar]] (older version: [[http://lara.epfl.ch/~psuter/comfusy/synthesis-plugin-older.jar|synthesis-plugin-older.jar]], without support for parametrized linear integer arithmetic). The source code is available here for the brave: [[http://lara.epfl.ch/~psuter/comfusy/comfusy.zip|comfusy.zip]]. | ||