Dezyne 2.19.3 released

--=-=-=
Content-Type: text/plain
Content-Transfer-Encoding: quoted-printable

Dezyne 2.19.3 is a bug-fix release.

Enjoy!\
The Dezyne developers.

See the NEWS below for a brief summary.

Here is the Dezyne home page:
    https://dezyne.org

ABOUT

Dezyne is a programming language and a set of tools to specify,
validate, verify, simulate, document, and implement concurrent control
software for embedded and cyber-physical systems.

The Dezyne language has formal semantics expressed in mCRL2
(https://mcrl2.org) developed at the department of Mathematics and
Computer Science of the Eindhoven University of Technology
(https://tue.nl).  Dezyne requires that every model is finite,
deterministic and free of deadlocks, livelocks, and contract violations.
This is achieved by means of the language itself as well as by builtin
verification through model checking.  This allows the construction of
complex systems by assembling independently verified components.

DOWNLOAD

  git clone git://git.savannah.nongnu.org/dezyne.git

Here are the compressed sources:

  https://dezyne.org/download/dezyne/dezyne-2.19.3.tar.gz

Here is the GPG detached signature:

  https://dezyne.org/download/dezyne/dezyne-2.19.3.tar.gz.sig

Here are the SHA1 and SHA256 checksums:

  383b61c6fdf38c94f29cf67a1991cec78d523fae  dezyne-2.19.3.tar.gz
  ea44e69445f1f52406685b8aa10a995e4415c51b3f1bf3f650a093ec03afb22f  dezyne-=
2.19.3.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

The signature should match the fingerprint of the following key:

  pub   rsa4096 2018-04-08 [SC]
        1A85 8392 E331 EAFD B8C2  7FFB F3C1 A0D9 C1D6 5273
  uid           [  full  ] Jan (janneke) Nieuwenhuizen <[email protected]>

If that command fails because you don't have the required public key,
or that public key has expired, try the following commands to retrieve
or refresh it, and then rerun the 'gpg --verify' command.

  gpg --recv-keys 1A858392E331EAFDB8C27FFBF3C1A0D9C1D65273

As a last resort to find the key, you can try the official GNU
keyring:

  wget -q https://ftp.gnu.org/gnu/gnu-keyring.gpg
  gpg --keyring gnu-keyring.gpg --verify .sig

This release is based on the dezyne git repository, available as

  git clone git://git.savannah.nongnu.org/dezyne.git

with commit  tagged as v2.19.3.

For a summary of changes and contributors, see:

  https://git.sv.gnu.org/gitweb/?p=3Ddezyne.git;a=3Dshortlog;h=3Dv2.19.3

or run this command from a git-cloned dezyne directory:

  git shortlog v2.19.2..v2.19.3

Alternatively, Dezyne can be installed using GNU Guix:

  guix pull
  guix install dezyne

NEWS

* Changes in 2.19.3 since 2.19.2
  * Code
    - The c++ runtime's pump::wait is now a supported interface that makes
      all callers wait until the pump is idle to wake them up
      collectively.
  * Commands
    - A new command, `dzn anonymize' has been added.
  * Noteworthy bug fixes
    - Reporting a deadlock for an interface missing a reply after an
      action instead of reporting `<missing-reply>'.  This is a regression
      that was introduced in 2.18.0.
    - A function shadowing a port name is now reported as an error.  This
      is a regression that was introduced in 2.18.0.
    - The `dzn lts' command now exits gracefully upon receiving no input
      LTS.
    - The verify pipeline, upon failure, now halts further execution, and
      reports the command that failed.
    - In the C++ runtime some MSVC compiler related warnings have been
      fixed.
    - The `dzn parse --list-models' command now handles Dezyne files with
      syntax errors again.  This is a regression that was introduced in
      2.19.0.rc0.
    - Using the `--model=3DMODEL' flag on `dzn simulate', where `MODEL' does
      not exist, now exits gracefully.

Thanks to everyone who contributed to this release:=20=20

    22	Janneke Nieuwenhuizen
    15	Rutger van Beusekom

=2D-
Janneke Nieuwenhuizen <[email protected]>  | GNU LilyPond https://LilyPond.org
Freelance IT https://www.JoyOfSource.com | https://reasonable-sourcery.coop

--=-=-=
Content-Type: application/pgp-signature; name="signature.asc"

-----BEGIN PGP SIGNATURE-----

iQIzBAEBCAAdFiEEGoWDkuMx6v24wn/788Gg2cHWUnMFAmmYTCAACgkQ88Gg2cHW
UnN4xg//QCyqGn4TdWFMNQTSZDKIBdFLI84uQH7Wigl0vX6JM6kdUfUcQ7g7+uI5
8HyzP8faWxQIVZXL30SnKd5XCvl6nNUD94naSG7IGpxpt3T9lWxrfj/KwFesTBqP
WWhKelHpVxxNcIIeCrpl3cT0z+Qk96m/B+vzi4Lv8yVTTu68mJxD0jFa3W2llkVI
v2/Neqzkyu9Ky22pnhcIXnt+GF8z2psB1A5ZXFQ/2rnUxneWzNpzCJwGPSuQ6aEy
OoV35n5gtw1bO3k4a/NA+Y5JJbcpqeP0kM97LNmgtd9BbdkmKNr3gmS/4rtKUmtq
z1S5qLpYA2XAsIPzGQPN+OvY/IKNoIFJDrvesm7Uyb1egSYoMxleenTD/y2uVWSo
ybOadrj8HecDt0xsoFprFrPQzomn0tPH90muZ7PkW1vCFCH1IV/gKZ/GgzAUx8Jj
yuDSrwCCDUzFx4VUCqfJQBrt7cpD9xIeVR4wydMfuy319h5D82Yv17ANgsvNBV1R
zE6AefWyM4rck6X9+ouy5n+/OKX+lfYtZbWpKQl2WAHIRqplC/Lr9yIoyL8xQgCA
kJSVNAB3ozKm2HGqmijhXDmrmeBz4TzD5j95+GTjmurQgaljaQkn4ibFCxUtsZoO
ohi58EQiAKG4c1MnxR5zh/8N8XCT8QTyzeGj79fYwtk/lKK1HGQ=
=n02t
-----END PGP SIGNATURE-----
--=-=-=--