taskSavannah Administration - Tasks: task #4972, Submission of Milawa

 
 

task #4972: Submission of Milawa

Submitter:  Jared C. Davis <jcdavis>
Submitted:  Thu 24 Nov 2005 05:41:44 AM UTC
   
 
Should Start On:  Thu 24 Nov 2005 12:00:00 AM UTC Should be Finished on:  Sun 04 Dec 2005 12:00:00 AM UTC
Category:  Project Approval Priority:  * 5 - Normal
Status:  Cancelled Privacy:  Public
Assigned to:  kickino Open/Closed:  Closed
* Mandatory Fields

Add a New Comment Rich Markup
   

Jump to the original submission

Wed 07 Dec 2005 06:17:46 PM UTC, comment #6: 

Hello.

We would prefer to "wait until the project is more mature". So I'll close this submission now.

Feel free to re-register when you are ready to do so and when you have got more time to deal with us.
Regards,

Sebastian Wieseler <kickino>
Mon 05 Dec 2005 05:05:17 PM UTC, comment #5: 

Hi,

Sorry for the delay.  The copyright notices all seem up to date in the src directory.  The junk directory is not relevant and shouldn't probably even be in CVS, it's literally "junk".

I am worried about putting the doc stuff under the FDL.  I think I am going to want to use some of this in my thesis and I'm not sure what copyright issues there are with that.  I may need to give the copyright to the university when I am finally ready.

Maybe I should wait until the project is more mature.

Thanks,
    Jared

Jared C. Davis <jcdavis>
Fri 02 Dec 2005 08:48:09 PM UTC, comment #4: 

Hi,

I am waiting for an answer from you.

If within one week I still do not get a reply, I will remove your project.
You will still be able to register it again once you have the time to deal with the registration issues.

Are you still willing to host your project at Savannah?
If not, please tell us - we don't bite, and it will make us gain time.

Regards.

Sebastian Wieseler <kickino>
Fri 25 Nov 2005 07:19:42 PM UTC, comment #3: 

Hello.

At first, please provide us with a tarball next time. It isn't much fun to check out the whole files with a web browser. :-/


At second, seems that you shouldn't release your documentation under the terms of the FDL. To do so, please following this instructions:

In order to release your project properly and unambiguously under the FDL,
please place copyright notices and permission-to-copy statements after the title page of each work.

In addition, if you haven't already, please add a copy of the FDL
(available from http://www.gnu.org/licenses/fdl.html in various formats)
as a section of your works , and as plain text in a file named 'COPYING' (http://www.gnu.org/licenses/fdl.txt).

For more information, see http://www.gnu.org/licenses/fdl.html#SEC4

http://www.gnu.org/licenses/fdl-howto.html also covers additional points,
including a smaller notice that you can use in auxiliary files.



At third, some of your files in junk/ and maybe somewhere, too, lack copyright in license information. You should also read the following instrctions for the GPL, too:


In order to release your project properly and unambiguously under the GPL,
please place copyright notices and permission-to-copy statements at the beginning of every file of source code.

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.

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.



And last but not least, 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.

Updates 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

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

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


Regards,

Sebastian Wieseler <kickino>
Fri 25 Nov 2005 03:29:07 AM UTC, comment #2: 

Hi,

Sorry about that, it should be fixed now.

Thanks,
    Jared

Jared C. Davis <jcdavis>
Thu 24 Nov 2005 07:43:41 PM UTC, comment #1: 

Hi,
I'm evaluating the project you submitted for approval in Savannah.


At first, public interest will come with the hosting on Savannah. ;-) So there is no problem for us there.


At second, I got a 403 Forbidden on http://www.cs.utexas.edu/users/jared/milawa/
can you please fix it?

Regards,


Sebastian Wieseler <kickino>
Thu 24 Nov 2005 05:41:44 AM UTC, original submission:  

A new project has been registered at Savannah
The project account will remain inactive until a site admin approve or discard 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.gnu.org/admin/groupedit.php?group_id=8148>


######### REGISTRATION DETAILS #########

Full Name:
----------
  Milawa

System Group Name:
-----------------
  milawa

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

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

Description:
------------
  The project is called "Milawa".  My hope is that it will become my dissertation over the next few years.  The goal is to create a trustworthy but capable proof checker for a logic similar to the ACL2 logic, by using a very small core proof checker (which can be trusted) and extending it with extensions that the core itself verifies.

The fledgling source code is available at my web site here:  http://www.cs.utexas.edu/users/jared/milawa/.  Unfortunately the project is at a very early stage (I have only been working on it for a few months at this point) and it has little documentation (no web site or anything like that).

Other Software Required:
------------------------
  The program currently needs ACL2 to run.  ACL2 is a GPL'd free software program available from the University of Texas at Austin.  It runs on many Common Lisp implementations, including (its preferred implementation) GNU Common Lisp.

Other Comments:
---------------
  I am looking for a reliable home for the project for the next several years.  The CS network at UT is nice but lacks public CVS access.  The project will probably not be of much interest to anyone else for a long time.  I don't know how that affects your decision to host it.


Jared C. Davis <jcdavis>

 

(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 5 latest changes.

Date Changed by Updated Field Previous Value => Replaced by
2005-12-07 kickino StatusPing-ed Cancelled
    Open/ClosedOpen Closed
2005-12-02 kickino StatusWait reply Ping-ed
2005-11-24 kickino StatusNone Wait reply
    Assigned toNone kickino

Back to the top

Powered by Savane 3.13-02a9.
Corresponding source code