Community
Participate
Working Groups
User-Agent: Mozilla/5.0 (X11; U; Linux i686; en-US; rv:1.9.0.13) Gecko/2009080315 Ubuntu/8.10 (intrepid) Firefox/3.0.13 Build Identifier: This plugin is a dynamic formal verification tool for MPI C programs, and was developed at the University of Utah's School of Computing. Reproducible: Always
Created attachment 146300 [details] Source code This zip file contains both the ISP plugin and its help project.
Please see the following request from Eclipse legal. Since we submitted this with you and Chris Derrick as authors, you'll both need to do this (including faxing the consent forms.) >We will require the contributors to make individual confirmations via the >referenced bugzilla bug confirming the following: > >1. They authored 100% of the content >2. They have the rights to donate the content to Eclipse >3. They are donating the contribution under the Eclipse Public License > >Further since the copyright belongs to the University, we will require a signed >Employer Consent Form. Here is the link - >http://www.eclipse.org/legal/committer_process/employer_consent.pdf. We >realize this form is typically used for new committers but we often use it as >well for contributions.
Per the Eclipse legal request: 1.) I Alan Humphrey and Chris Derrick have authored 100% of the contributed code. 2.) I Alan Humphrey have the right to donate the content to Eclipse. 3.) I Alan Humphrey am donating the contribution under the Eclipse Public License. All source code has the Eclipse Foundation Copyright and License Notice included. -Alan Humphrey (In reply to comment #2) > Please see the following request from Eclipse legal. Since we submitted this > with you and Chris Derrick as authors, you'll both need to do this (including > faxing the consent forms.) > > >We will require the contributors to make individual confirmations via the > >referenced bugzilla bug confirming the following: > > > >1. They authored 100% of the content > >2. They have the rights to donate the content to Eclipse > >3. They are donating the contribution under the Eclipse Public License > > > >Further since the copyright belongs to the University, we will require a signed > >Employer Consent Form. Here is the link - > >http://www.eclipse.org/legal/committer_process/employer_consent.pdf. We > >realize this form is typically used for new committers but we often use it as > >well for contributions.
Per the Eclipse legal request: The employer consent form has been filled out for Alan Humphrey and was faxed to Committer Records on 09/16/09 at 14:40 MT. (In reply to comment #2) > Please see the following request from Eclipse legal. Since we submitted this > with you and Chris Derrick as authors, you'll both need to do this (including > faxing the consent forms.) > > >We will require the contributors to make individual confirmations via the > >referenced bugzilla bug confirming the following: > > > >1. They authored 100% of the content > >2. They have the rights to donate the content to Eclipse > >3. They are donating the contribution under the Eclipse Public License > > > >Further since the copyright belongs to the University, we will require a signed > >Employer Consent Form. Here is the link - > >http://www.eclipse.org/legal/committer_process/employer_consent.pdf. We > >realize this form is typically used for new committers but we often use it as > >well for contributions.
Per the Eclipse legal request: 1.) I Chris Derrick and Alan Humphrey have authored 100% of the contributed code. 2.) I Chris Derrick have the right to donate the content to Eclipse. 3.) I Chris Derrick am donating the contribution under the Eclipse Public License. All source code has the Eclipse Foundation Copyright and License Notice included. -Chris Derrick
Alan, Eclipse legal have spotted links to the Utah legal disclaimer in the HTML documentation. Apparently this should link to the EPL license instead. Would there be any problem with changing this? Greg
Greg, We've replaced all instances of the links to the University of Utah disclaimer in the ISP Plugin HTML with the EPL at http://www.eclipse.org/org/documents/epl-v10.php. -Alan (In reply to comment #6) > Alan, > > Eclipse legal have spotted links to the Utah legal disclaimer in the HTML > documentation. Apparently this should link to the EPL license instead. Would > there be any problem with changing this? > > Greg
Please attach an updated zip file to this bug. (In reply to comment #7) > Greg, > > We've replaced all instances of the links to the University of Utah disclaimer > in the ISP Plugin HTML with the EPL at > http://www.eclipse.org/org/documents/epl-v10.php. > > -Alan
Can you also add another link to the HTML TOC that points to the Eclipse site first? i.e. something like: <p>Other related topics:</p> <ol> <li><a href="http://eclipse.org/ptp/isp/">Latest Release of the ISP Eclipse plugin</a> <li><a href="http://www.cs.utah.edu/formal_verification/ISP-release/">Latest Release of ISP</a> - Including user manual and test code <li><a href="http://www.cs.utah.edu/formal_verification/">Gauss Group Home</a> - All current work and publications <li><a href="http://www.cs.utah.edu/">University of Utah School of Computing</a> </ol> Eclipse want's to make sure the plugins are obtained from the Eclipse web site.
Created attachment 149131 [details] Source Code 2.0
(In reply to comment #10) > Created an attachment (id=149131) [details] > Source Code 2.0 I have made the requested change to the toc.html, and posted the code with all instances of the links to the University of Utah disclaimer in the ISP Plugin HTML replaced by the EPL at http://www.eclipse.org/org/documents/epl-v10.php.
Alan, This submission is now approved subject to the word "Disclaimer" being removed from the HTML files. Apparently this is not standard wording for Eclipse and legal would prefer if it was changed to simply "license" or just type the href to the EPL in its place. Also, our practice is to prefix all PTP plugins with org.eclipse.ptp. I think org.eclipse.ptp.isp rather than edu.utah.guass.isp would be fine for yours. If you could attach the updated plugins to this bug, I'll apply to the CVS head. Thanks, Greg
Created attachment 149833 [details] Updated ISP plugin projects w/ source code This updated zip file contains both the ISP and ISP-Help plugins archived from within Eclipse. All source code packages have been refactored to reflect the org.eclipse.ptp naming convention. Source code and HTML have had the requested changes applied and should conform to what Eclipse Legal has mentioned.
This has now been checked in. I did the following: 1. Reformatted the source files using the "Eclipse" standard formatting. 2. Renamed some class files to remove "_" from the names. 3. Externalized all the strings. 4. Changed the execution environment to J2SE-1.5 instead of JavaSE-1.6 (PTP only requires 1.5). If this is a problem, let me know. 5. Added a feature project. Please test that the plugins are still working for you. Also, please update the "description" in features.properties with a description of the plugins The feature plugin is available from CVS in releng/org.eclipse.ptp.isp-feature. Closing this as completed. I'll open a separate bug on the menu.
