[Top][All Lists]

[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]

[ANN] Dezyne 2.17.4 released.

From: Janneke Nieuwenhuizen
Subject: [ANN] Dezyne 2.17.4 released.
Date: Thu, 03 Aug 2023 14:59:43 +0200
User-agent: Gnus/5.13 (Gnus v5.13) Emacs/28.2 (gnu/linux)

Dezyne 2.17.4 is a bug-fix release.

The Dezyne developers.

* Download

    git clone git://

Here are the compressed sources and a GPG detached signature[*]:

Here are the SHA1 and SHA256 checksums:  

    a6cc45826e7ba0fb8d101a7fe5cc342b157dbf06  dezyne-2.17.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 --recv-keys 

and rerun the `gpg --verify` command.

Alternatively, Dezyne can be installed using GNU Guix:  

    guix pull  
    guix install dezyne

* Changes in 2.17.4 since 2.17.3

  * Verification
    - A new `-T,--timings' option showing detailed timings for the
      different stages like: parsing, normalization and mCRL2 has been
      backported from 2.18.
  * Code
    - Lambda capture lists explicitly refer to `this' since C++20
      deprecates the implicit capture for `='.
  * Noteworthy bug fixes
    - A verification fix to avoid the erroneously reporting of a deadlock
      for non-determinstic interface constraints has been backported from
    - A verification fix to correctly report unreachable code when
      interface and component imperative statement locations overlap was
      backported from 2.18.
    - Running the parser in `-f,--fall-back' mode now shows a parse tree
      again; a regression introduced in 2.17.2.
    - The verification no longer reports a false positive defer-induced
      <queue-full> when using defer after a function call.
    - A fix for the name resolver that would lead to a quadratic
      performance impact when looking up an undefined type was backported
      from 2.18.

Janneke Nieuwenhuizen <>  | GNU LilyPond
Freelance IT | AvatarĀ®

reply via email to

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