[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
[task #16067] Submission of Dezyne
From: |
Jan Nieuwenhuizen |
Subject: |
[task #16067] Submission of Dezyne |
Date: |
Wed, 3 Nov 2021 06:30:35 -0400 (EDT) |
User-agent: |
Mozilla/5.0 (X11; Linux x86_64) AppleWebKit/537.36 (KHTML, like Gecko) Chrome/94.0.4606.71 Safari/537.36 |
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/
- [task #16067] Submission of Dezyne,
Jan Nieuwenhuizen <=
- [task #16067] Submission of Dezyne, Ineiev, 2021/11/09
- [task #16067] Submission of Dezyne, Jan Nieuwenhuizen, 2021/11/09
- [task #16067] Submission of Dezyne, Ineiev, 2021/11/11
- [task #16067] Submission of Dezyne, Jan Nieuwenhuizen, 2021/11/11
- [task #16067] Submission of Dezyne, Ineiev, 2021/11/12
- [task #16067] Submission of Dezyne, Jan Nieuwenhuizen, 2021/11/12
- [task #16067] Submission of Dezyne, Jan Nieuwenhuizen, 2021/11/12
- [task #16067] Submission of Dezyne, Ineiev, 2021/11/23
- [task #16067] Submission of Dezyne, Jan Nieuwenhuizen, 2021/11/24
- [task #16067] Submission of Dezyne, Jan Nieuwenhuizen, 2021/11/24