taskSavannah Administration - Tasks: task #7325, Submission of LKalculus

 
 

task #7325: Submission of LKalculus

Submitter:  Raffaele <pappus>
Submitted:  Sat 22 Sep 2007 06:31:18 PM UTC
   
 
Should Start On:  Sat 22 Sep 2007 12:00:00 AM UTC Should be Finished on:  Tue 02 Oct 2007 12:00:00 AM UTC
Category:  Project Approval Priority:  * 5 - Normal
Status:  Done Privacy:  Public
Assigned to:  snoogie Open/Closed:  Closed
* Mandatory Fields

Add a New Comment Rich Markup
   

Tue 25 Sep 2007 05:25:56 AM UTC, comment #4: 

Hi,

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

A last thing you can do is to update the license notices in your source code (For the moment GPL2 or later license notice, and you use GPL3 in COPYING file, this is not a problem but can confuse)

Regards,

Jean-Michel

Jean-Michel Frouin <snoogie>
Sun 23 Sep 2007 11:40:45 PM UTC, comment #3: 

Hi,
i tried to solve all the problems you described:
1. all copyright notices were added to all *.lisp files in the right form,
2. the COPYING file is updated,
3. the asdf.lisp file is completely removed, since it is not part of the project, and a link to it was added in the README (and how to use it).

You can get the new tarball in the same link:
http://aumat.unipv.it/~arecchi/lkalculus-0.1.tar.gz

Regards,
Raffaele

Raffaele <pappus>
Sun 23 Sep 2007 02:59:36 PM UTC, comment #2: 

Hi,

There is another thing which hurt me : the copyright statement in asdf.lisp.

I ask others savannah hackers and got a beginning of answer.

You cannot write Copyright (C) 2001-2007 but you have to specify the years : Copyright (C) 2001, 2002, 2003, 2004, 2005, 2006, 2007.

And the "and contributors" seems not good for me but it's on this point that I haven't, yet, a precise answer. You can fix it by including the name of all contributors.

Best regards,
Jean-Michel





Jean-Michel Frouin <snoogie>
Sun 23 Sep 2007 02:50:10 PM UTC, comment #1: 

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


In file asdf.lisp, you have a to replace the license notice, by the GPL2's one.


In all others *.lisp files, you need to write correctly copyrights using this form : Copyright (C) 19yy  <name of author>.


Finally, your COPYING file seems a bit old, the FSF's address has changed, so please update the copy of the license (the 'COPYING' file) in your package as well.

Updated versions of the GPL can also be found at: http://www.gnu.org/licenses/gpl.txt.


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,
Jean-Michel

Jean-Michel Frouin <snoogie>
Sat 22 Sep 2007 06:31:18 PM 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):



Registration Details


  • Name: LKalculus
  • System Name:  lkalculus
  • Type: non-GNU software & documentation
  • License: GNU General Public License v2 or later





Description:

LKalculus is a theorem prover for LK theory (classic logic) written in Common LISP. Its algorithm is based on the Oiva Ketonen's rules which are a variant of the Gentzen's sequents method. It should work for any Common LISP implementation, but it is tested to run on CLISP and CMUCL.

At the moment, the code in hosted in my web page at University of Pavia.
Here is a link for the complete source code:
http://aumat.unipv.it/~arecchi/lkalculus-0.1.tar.gz



Other Software Required:

a Common Lisp implementation, such as CLISP, CMUCL.


Raffaele <pappus>

 

(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

 

Carbon-Copy List
  • -email is unavailable- added by pappus (Submitted the item)
  •  

    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
    2007-09-25 snoogie StatusWait reply Done
        Open/ClosedOpen Closed
    2007-09-23 snoogie StatusNone Wait reply
    2007-09-23 snoogie Assigned toNone snoogie

    Back to the top

    Powered by Savane 3.13-758e.
    Corresponding source code