[task #16067] Submission of Dezyne

[Jan Nieuwenhuizen]

URL:
  <https://savannah.nongnu.org/task/?16067>

                 Summary: Submission of Dezyne
                 Project: Savannah Administration
            Submitted by: janneke
            Submitted on: Wed 03 Nov 2021 11:30:33 AM CET
         Should Start On: Wed 03 Nov 2021 12:00:00 AM CET
   Should be Finished on: Sat 13 Nov 2021 12:00:00 AM CET
                Category: Project Approval
                Priority: 5 - Normal
                  Status: None
                 Privacy: Public
        Percent Complete: 0%
             Assigned to: None
             Open/Closed: Open
         Discussion Lock: Any
                  Effort: 0.00

    _______________________________________________________

Details:

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
<https://savannah.nongnu.org/siteadmin/groupedit.php?group_id=12202> page*,
accessible only to site administrators,
effectively *logged as site administrators* (superuser):

* Group Administration
<https://savannah.nongnu.org/siteadmin/groupedit.php?group_id=12202>


= Registration Details =

* Name: *Dezyne*
* System Name:  *dezyne*
* Type: non-GNU software and documentation
* License: GNU Affero General Public License v3 or later (for the runtime: GNU
LESSER GPL v3 or later
for the documentation: GNU FDL v1.3 or later)

----

== Description: ==
Dezyne is a programming language and set of tools that aim to eliminate
the need for testing by applying formal verification methods.

The Dezyne language uses a component model that implements event based
coroutines.

Dezyne is free software, it is distributed under the terms of the GNU
Affero General Public Licence version 3 or later.

Dezyne comes with dzn-runtime: a reference implementation for component
coroutines.  dzn-runtime is free software, it is distributed under the
terms of the GNU Lesser General Public Licence version 3 or later.



== Other Software Required: ==
GNU Guile 3.0.5 or later -- LGPL v3+ -- https://gnu.org/software/guile/
Guile-JSON version 4.x -- GPL v3+ --
https://savannah.nongnu.org/projects/guile-json/
GNU Make -- GPL v3+ -- https://www.gnu.org/software/make/
mCRL2 version 202106.0  Boost Software License, Version 1.0 --
https://mcrl2.org

To run the regression test, these additional packages are needed:

- for C++11: GNU gcc (g++) version 5.4 or later -- GPL v3+ --
https://gcc.gnu.org 



== Other Comments: ==
Project website: dezyne.org
Company website: verum.com

Verum will announce the release version 2.14.0 as free software on November
16th and I will want to upload a git archive then.

We will want to have a git upload check for commits to be signed, like GNU
guix has.

Attached is a the latest release candidate for version 2.14.0


== Tarball URL: ==
https://savannah.nongnu.org/submissions_uploads/dezyne-2.14.0.rc1.tar.gz






    _______________________________________________________

Reply to this item at:

  <https://savannah.nongnu.org/task/?16067>

_______________________________________________
  Message sent via Savannah
  https://savannah.nongnu.org/