Differences between revisions 7 and 17 (spanning 10 versions)
Revision 7 as of 2007-07-07 10:28:09
Size: 665
Editor: scharffc
Comment:
Revision 17 as of 2013-06-04 03:44:17
Size: 1092
Editor: localhost
Comment: converted to 1.6 markup
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/yices_small.png] [[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_large.png]]
Line 3: Line 3:
 * [attachment:yicesrainbowhelp.pdf Help on the Yices-Rainbow plugin]  * Yices-Rainbow 1.0.0 is an Eclipse plugin for Yices 1.0.9 running on Windows and Linux.
Line 5: Line 5:
 * [attachment:YicesPlugin_1.0.0.jar Download the Yices-Rainbow plugin]  * '''Help'''
Line 7: Line 7:
 * [attachment:yicesrainbowsourcecode.zip Yices-Rainbow source code]    * [[attachment:yicesrainbowhelp.pdf|Yices-Rainbow help for Windows]]
Line 9: Line 9:
 * Yices-Rainbow is referenced on the official [http://yices-wiki.csl.sri.com/index.php/Main_Page Yices wiki]  * '''Download'''
   
   * [[attachment:YicesPlugin_1.0.0.jar|Yices-Rainbow plugin 1.0.0]] (jar file)
Line 11: Line 13:
 * Yices-Rainbow is registered in the [http://www.eclipseplugincentral.com Eclipse plugin central]    * [[attachment:yicesrainbowsourcecode.zip|Yices-Rainbow source code]] (zip file)
Line 13: Line 15:
 * Please send your bug report, improvement requests and comments to cscharff@pace.edu    * Yices-Rainbow update site is http://atlantis.seidenberg.pace.edu/~scharff/eclipse

 * 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_large.png

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