dezyne-devel
[Top][All Lists]
Advanced

[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



reply via email to

[Prev in Thread] Current Thread [Next in Thread]