[ANN] Dezyne 2.17.2 released.

[Janneke Nieuwenhuizen]

Dezyne 2.17.2 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.17.2.tar.gz
    https://dezyne.org/download/dezyne/dezyne-2.17.2.tar.gz.sig

Here are the SHA1 and SHA256 checksums:  

    cba66f6c26884afa77afbcf304653e390fde8451  dezyne-2.17.2.tar.gz
    a3c2fcff862569943e19e195919c9cbd05e95d4b629974263382c50832b70aec  
dezyne-2.17.2.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.

Alternatively, Dezyne can be installed using GNU Guix:  

    guix pull  
    guix install dezyne

* NEWS
** Changes in 2.17.2 since 2.17.1
  * Code
    - The experimental C code generator now supports out-parameters.
  * 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.
  * Verification
    - The error on failing the determinism check is no longer ambiguous by
      removing "due to overlapping guards" from the message.
  * Simulate
    - The error on failing the determinism check is no longer ambiguous by
      removing "due to overlapping guards" from the message.
  * Noteworthy bug fixes
    - A bug was fixed in the type name lookup of a formal parameter
      binding (a <- b).
    - A bug was fixed in generalized integer expressions of form `a-b-c'.
    - A bug was fixed in the normalization involving implicit temporaries
      that would crash the verifier on constructs like g (f ($0$)).
    - A bug was fixed in the verifier that could lead to a false positive
      for models that have a blocking skip race.
    - The verifier no longer hangs attempting to create a witness for a
      livelock in a non-deterministic interface.
    - 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