[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
[Savannah-register-public] [task #5045] Submission of Separation Logic i
[Savannah-register-public] [task #5045] Submission of Separation Logic in Coq
Thu, 15 Dec 2005 19:54:10 +0000
Mozilla/5.0 (X11; U; Linux i686; en-US; rv:1.7.6) Gecko/20050317 Firefox/1.0.2
Update of task #5045 (project administration):
Status: None => Need Info
Assigned to: None => kickino
Follow-up Comment #1:
I'm evaluating the project you submitted for approval in Savannah.
We need a detailed technical description that specifies such requirements as
programming languages and external libraries.
It should be at least one-half a page.
Then please include a (perhaps temporary) URL pointing to the source code.
The description you gave when registering will not be read by the general
If you are still concerned with privacy, however, you can forward the code to
me by email.
We wish to review your source code, even if it is not functional, to catch
potential legal issues early.
For example, to release your program properly under the GPL you must include
a copyright notice and
permission-to-copy statements at the beginning of every file of source code.
This is explained in
http://www.gnu.org/licenses/gpl-howto.html. Our review would help catch
potential omissions such as these.
Reply to this item at:
Message sent via/by Savannah