[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
[ANN] Dezyne 2.16.4 released.
From: |
Janneke Nieuwenhuizen |
Subject: |
[ANN] Dezyne 2.16.4 released. |
Date: |
Mon, 24 Apr 2023 15:44:00 +0200 |
User-agent: |
Gnus/5.13 (Gnus v5.13) Emacs/28.2 (gnu/linux) |
Dezyne 2.16.4 is a bug-fix release.
Enjoy!
The Dezyne developers.
* Download
git clone git://git.savannah.nongnu.org/dezyne.git
Here are the compressed sources and a GPG detached signature[*]:
https://dezyne.org/download/dezyne/dezyne-2.16.4.tar.gz
https://dezyne.org/download/dezyne/dezyne-2.16.4.tar.gz.sig
Here are the SHA1 and SHA256 checksums:
9116ce6f66708c620df8b1f83d1cc5a34240abde dezyne-2.16.4.tar.gz
41cc36f49fe0e09599f69fcf9d54c1bb15a6d2150db61b25879a7facf28e611e
dezyne-2.16.4.tar.gz
[*] Use a .sig file to verify that the corresponding file (without the
.sig suffix) is intact. First, be sure to download both the .sig file
and the corresponding tarball. Then, run a command like this:
gpg --verify .sig
If that command fails because you don't have the required public key,
then run this command to import it:
gpg --keyserver keys.gnupg.net --recv-keys
1A858392E331EAFDB8C27FFBF3C1A0D9C1D65273
and rerun the `gpg --verify` command.
* NEWS
** Changes in 2.16.4 since 2.16.3
* Commands
- The different queue sizes: component, defer, external can now be set
individually using `--queue-size', `--queue-defer' and
`--queue-size-external'. The defaults are respectively: 3, 2 and 1.
* Noteworthy bug fixes
- A bug was fixed in the type name lookup of a formal parameter
binding (a <- b).
- The C# code generator now supports foreign components returning a
enum that is defined in an interface.
- The C++ code generator now supports imported foreign componenents.
- The well-formedness check no longer crashes on a binary expression
with a data constant.
- A bug was fixed in the verifier that could lead to a false positive
for models that have a blocking skip race.
- The well-formedness check now reports declarative statements inside
a function as being incorrect.
- A bug was fixed in the verifier for reporting queue-full cases for
an external port. As a result, queue-full is now reported during
the illegal check and not as part of the deadlock check.
- The `dzn simulate' command now exits gracefully when no dezyne model
is found.
--
Janneke Nieuwenhuizen <janneke@gnu.org> | GNU LilyPond https://LilyPond.org
Freelance IT https://www.JoyOfSource.com | AvatarĀ® https://AvatarAcademy.com
[Prev in Thread] |
Current Thread |
[Next in Thread] |
- [ANN] Dezyne 2.16.4 released.,
Janneke Nieuwenhuizen <=