Differences
This shows you the differences between two versions of the page.
Both sides previous revision Previous revision Next revision | Previous revision | ||
comfusy [2011/12/01 18:58] philippe.suter |
comfusy [2013/10/16 18:27] mikael.mayer making-of added |
||
---|---|---|---|
Line 6: | Line 6: | ||
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). | 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 [[https://github.com/epfl-lara/comfusy|available on GitHub]] for the brave. | ||
==== Examples ==== | ==== Examples ==== | ||
Line 54: | Line 56: | ||
(Comfusy parses Z3 models to produce a warning; versions of Z3 more recent than 2.18 may not output the proper format.) | (Comfusy parses Z3 models to produce a warning; versions of Z3 more recent than 2.18 may not output the proper format.) | ||
+ | |||
===== On YouTube ===== | ===== On YouTube ===== | ||
- | Comfusy has been used to synthesize a part of computation used to generate the following [[http://www.youtube.com/watch?v=E2aPFdu0FNA|Happy New Year Video]]. | + | Comfusy has been used to synthesize a part of computation used to generate the following [[http://www.youtube.com/watch?v=E2aPFdu0FNA|Happy New Year 2010 Video]] (see the [[http://www.youtube.com/watch?v=a6uDAdhvpRE|making-of]] at 0:47). |
===== People ===== | ===== People ===== |