Differences between revisions 1 and 11 (spanning 10 versions)
Revision 1 as of 2007-06-18 02:50:41
Size: 68
Editor: scharffc
Comment:
Revision 11 as of 2007-07-09 09:55:46
Size: 1047
Editor: scharffc
Comment:
Deletions are marked like this. Additions are marked like this.
Line 1: Line 1:
[http://atlantis.seidenberg.pace.edu/~scharff/eclipse/eclipse.jpg] [http://atlantis.seidenberg.pace.edu/~scharff/eclipse/eclipse.jpg] [http://atlantis.seidenberg.pace.edu/~scharff/eclipse/yicessri_small.png] [http://atlantis.seidenberg.pace.edu/~scharff/eclipse/yices_small.png]

 * Yices-Rainbow 1.0.0 is an Eclipse plugin for Yices 1.0.9 running on Windows.

 * [attachment:yicesrainbowhelp.pdf Help on the Yices-Rainbow plugin (for Windows)]

 * [attachment:YicesPlugin_1.0.0.jar Download the Yices-Rainbow plugin (version 1.0.0)] (jar file)

 * [attachment:yicesrainbowsourcecode.zip Yices-Rainbow source code] (zip file)

 * [http://atlantis.seidenberg.pace.edu/~scharff/eclipse Plugin update site]

 * Yices-Rainbow is referenced on the official [http://yices-wiki.csl.sri.com/index.php/Main_Page Yices wiki]

 * Yices-Rainbow is registered in the [http://www.eclipseplugincentral.com Eclipse plugin central] (soon)

 * Yices-Rainbow is registered in the [http://eclipse-plugins.2y.net/eclipse/index.jsp eclipse plugins directory] (soon)

 * Please send feedback to cscharff@pace.edu

[http://atlantis.seidenberg.pace.edu/~scharff/eclipse/eclipse.jpg] [http://atlantis.seidenberg.pace.edu/~scharff/eclipse/yicessri_small.png] [http://atlantis.seidenberg.pace.edu/~scharff/eclipse/yices_small.png]

LEP: Yices_Rainbow_Eclipse_Plug-in (last edited 2013-06-04 03:44:17 by localhost)