Differences between revisions 10 and 17 (spanning 7 versions)
Revision 10 as of 2007-07-09 09:54:07
Size: 967
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/yicessri_small.png]   [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:
 * Yices-Rainbow 1.0.0 is an Eclipse plugin for Yices 1.0.9 running on Windows.   * Yices-Rainbow 1.0.0 is an Eclipse plugin for Yices 1.0.9 running on Windows and Linux.
Line 5: Line 5:
 * [attachment:yicesrainbowhelp.pdf Help on the Yices-Rainbow plugin (for Windows)]  * '''Help'''
Line 7: Line 7:
 * [attachment:YicesPlugin_1.0.0.jar Download the Yices-Rainbow plugin (version 1.0.0)] (jar file)    * [[attachment:yicesrainbowhelp.pdf|Yices-Rainbow help for Windows]]
Line 9: Line 9:
 * [attachment:yicesrainbowsourcecode.zip Yices-Rainbow source code] (zip file)  * '''Download'''
   
   * [
[attachment:YicesPlugin_1.0.0.jar|Yices-Rainbow plugin 1.0.0]] (jar file)
Line 11: Line 13:
 * Yices-Rainbow is referenced on the official [http://yices-wiki.csl.sri.com/index.php/Main_Page Yices wiki]    * [[attachment:yicesrainbowsourcecode.zip|Yices-Rainbow source code]] (zip file)
Line 13: Line 15:
 * Yices-Rainbow is registered in the [http://www.eclipseplugincentral.com Eclipse plugin central] (soon)    * Yices-Rainbow update site is http://atlantis.seidenberg.pace.edu/~scharff/eclipse
Line 15: Line 17:
 * Yices-Rainbow is registered in the [http://eclipse-plugins.2y.net/eclipse/index.jsp eclipse plugins directory] (soon)  * 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)

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)