Differences between revisions 1 and 8 (spanning 7 versions)
Revision 1 as of 2007-06-18 02:50:41
Size: 68
Editor: scharffc
Comment:
Revision 8 as of 2007-07-07 12:09:12
Size: 742
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]

 * [attachment:yicesrainbowhelp.pdf Help on the Yices-Rainbow plugin]

 * [attachment:YicesPlugin_1.0.0.jar Download the Yices-Rainbow plugin]

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

 * 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]

 * Please send your bug report, improvement requests and comments 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)