taskSavannah Administration - Tasks: task #5965, Submission of Efficient Symbolic...

 
 

task #5965: Submission of Efficient Symbolic Tools

Submitter:  Robert Meolic <meolic>
Submitted:  Tue 10 Oct 2006 07:56:04 AM UTC
   
 
Should Start On:  Tue 10 Oct 2006 12:00:00 AM UTC Should be Finished on:  Fri 20 Oct 2006 12:00:00 AM UTC
Category:  Project Approval Priority:  * 5 - Normal
Status:  Done Privacy:  Public
Assigned to:  sp Open/Closed:  Closed
* Mandatory Fields

Add a New Comment Rich Markup
   

Sun 29 Oct 2006 07:14:22 PM UTC, comment #5: 

Hi Robert,

First of all, no we do not need a written document. The reason I've brought the issue to your attention was that using invalid copyright holders could lead to legal problems. However, the copyright holder seems to be correct and this means we're fine with it.

Finally, I have approved your project.  You will receive an automated e-mail containing detailed information about the approval.

Regards,

Stephan

Stephan Peijnik <sp>
Wed 25 Oct 2006 08:12:29 AM UTC, comment #4: 

EST has been written as a part of research work in one department of University of Maribor (UM-FERI). UM-FERI is a legal entity and, yes, we have a permission of UM-FERI to make EST free software.
Do you require, that we sent a written document about this to you?

We suport the idea to use GNU/Linux instead of just Linux
for the name of computer system composed of GNU software + Linux kernel. If somewhere in the code or in the documentation appears just Linux, then this is a mistake and we will fix it in the future.

  Robert

Robert Meolic <meolic>
Tue 24 Oct 2006 06:13:36 PM UTC, comment #3: 

Hi Robert,

While evaluating the new tarball you submitted I have noticed two problems which are described below.


Is the copyright holder refered to in the copyright notices, a legal entity that can be assigned copyright? If not, you need to add the author(s)' name(s) instead.

Check http://www.gnu.org/prep/maintain/html_node/Copyright-Notices.html for more information, and update your files.


Additionally, I would like to note that "Linux" is just a kernel of a more complex system that we like to refer to as GNU/Linux, to emphasize the ideals of the Free Software movement.

Would you mind changing references to Linux as an OS to GNU/Linux?

For more information, see http://www.gnu.org/gnu/linux-and-gnu.html.


To help us better keep track of your registration, please use the tracker's web interface following the link below. Do not reply directly, the registration process is not driven by e-mail, and we will not receive such replies.

Regards,

Stephan

Stephan Peijnik <sp>
Fri 20 Oct 2006 01:27:57 PM UTC, comment #2: 

Thank you for the first comments.

I have changed source code acording to your sugestions.
Please, download new package from http://lms.uni-mb.si/EST/

EST project has two branches, EST 1st Edition and
EST 2nd Edition. I have updated both of them.

Yes, we currently have an account at SourceForge. But
we really find out FSF as more appropriate partner.
If accepted, we will not use SourceForge anymore
and Savannah will be our primary repository.

Best regards,
   Robert

Robert Meolic <meolic>
Tue 17 Oct 2006 05:21:38 PM UTC, comment #1: 

Hi Robert,

I'm evaluating the project you submitted for approval in Savannah. While doing so I've noticed a few problems which are described below.


First of all, in order to release your project properly and unambiguously under the GNU GPL, please place copyright notices and permission-to-copy statements at the beginning of every copyrightable file, usually any file more than 10 lines long.

In addition, if you haven't already, please include a copy of the plain text version of the GPL, available from http://www.gnu.org/licenses/gpl.txt, into a file named "COPYING".

For more information, see http://www.gnu.org/licenses/gpl-howto.html.

If some of your files cannot carry such notices (e.g. binary files), then you can add a README file in the same directory containing the copyright and license notices. Check http://www.gnu.org/prep/maintain/html_node/Copyright-Notices.html for further information.

The GPL FAQ explains why these procedures must be followed.  To learn why a copy of the GPL must be included with every copy of the code, for example, see http://www.gnu.org/licenses/gpl-faq.html#WhyMustIInclude.


Secondly, you added the license notices, but did not add appropriate copyright notices.

Please check http://www.gnu.org/prep/maintain/html_node/Copyright-Notices.html for more information, and update your files.


Also, the address of the FSF has changed, and is now:

  51 Franklin Street, Fifth Floor, Boston, MA  02110-1301  USA

Please update your license notices.

Please update the copy of the license (usually, the 'COPYING' file) in your package as well.

Updated versions of the GPL, LGPL and GFDL can also be found at:
http://www.gnu.org/licenses/gpl.txt
http://www.gnu.org/licenses/lgpl.txt
http://www.gnu.org/licenses/fdl.txt

You can find some background and a possible migration script at https://savannah.gnu.org/forum/forum.php?forum_id=3766


Additionally, even though your project description states you want to license EST under the "GNU GPL v2 or later", at least some files are licensed under the "GNU GPL v2 only". Licensing under the "GNU GPL v2 only" is problematic.  Would you agree to license your project under the "GNU GPL v2 or later"?

The reason for this is that when we publish GPL v3, it will be important for all GPL-covered programs to advance to GPL v3. If you don't put this in the files now, the only way to port your program to GPL v3 would be to ask each and every copyright holder, and that may be very difficult.

We can explain the issue in more detail if you wish. If you have concerns about "GNU GPL v2 or later", we'd be happy to address them too.


Last but not least, Savannah is a central point for development, distribution and maintenance of GNU Software.

There is a companion site savannah.nongnu.org where we also host Free Software projects that are not part of the GNU Project, but run on free platforms.

However, we do not allow to host your project on Savannah and
SourceForge at the same time, if Savannah is just a project mirror.
Your project development should happen primarily on Savannah.

How do you plan to use your Savannah account?


If you are willing to make the changes mentioned above, please provide us with an URL to an updated tarball of your project.  Upon review, we will reconsider your project for inclusion in Savannah.

To help us better keep track of your registration, please use the tracker's web interface following the link below. Do not reply directly, the registration process is not driven by e-mail, and we will not receive such replies.

Regards,

Stephan


Stephan Peijnik <sp>
Tue 10 Oct 2006 07:56:04 AM UTC, original submission:  

A new project has been registered at Savannah
This project account will remain inactive until a site admin approves or discards the registration.


REGISTRATION ADMINISTRATION


While this item will be useful to track the registration process, approving or discarding the registration must be done using the specific "Group Administration" page, accessible only to site administrators, effectively logged as site administrators (superuser):

  <https://savannah.nongnu.org/siteadmin/groupedit.php?group_id=8827>


REGISTRATION DETAILS


Full Name:
----------
  Efficient Symbolic Tools

System Group Name:
-----------------
  est

Type:
-----
  non-GNU software &amp; documentation

License:
--------
  GNU General Public License V2 or later

Description:
------------
  Efficient Symbolic Tools package (EST) is a tool for the formal verification of concurrent systems.

EST distinguishes itself as a small and portable package with a readable source code in C and well implemented algorithms. EST runs on many different computers with different operating systems, including GNU/Linux, MS Windows, and Solaris.

EST itself provides libraries of functions, which you can use in your own main program. Or, you can try our simple Tcl/Tk GUI called My Interface, from which you can access all the features.

Features: parser for simple textual representation of processes, CCS parser, encoding and decoding of processes, decoding of compositons, parallel composition, multi-way parallel composition, checking strong equivalence, observational equivalence, testing equivalence, and trace equivalence, minimization with regard to strong, observational, and trace equivalence, ACTL model checking, ACTLW model checking based on strict EU, EG, AW, and AF, linear witnesses and counterexamples, witness and counterexample automata.

Home page: http://lms.uni-mb.si/EST/


Other Software Required:
------------------------
  tcl/tk package neceessary to run GUI
gcc, bison and flex used to compile it on GNU/Linux
other tools scuh as MINGW used to compile it on other OS


Other Comments:
---------------
  Currently, we use SourceForge repository, but we want to move
this project to Savannah.


Robert Meolic <meolic>

 

(Note: upload size limit is set to 16384 kB, after insertion of the required escape characters.)

Attach Files:
   
   
Comment:
   

No files currently attached

 

Depends on the following items: None found

Items that depend on this one: None found

 

CC list is empty

 

There are 0 votes so far. Votes easily highlight which items people would like to see resolved in priority, independently of the priority of the item set by tracker managers.

Only logged-in users can vote.

 

Follow 4 latest changes.

Date Changed by Updated Field Previous Value => Replaced by
2006-10-29 sp StatusWait reply Done
    Open/ClosedOpen Closed
2006-10-17 sp StatusNone Wait reply
    Assigned toNone sp

Back to the top

Powered by Savane 3.13-02a9.
Corresponding source code