-----BEGIN PGP SIGNED MESSAGE-----
Hash: SHA256
Dezyne 2.19.2 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.2.tar.gz
Here is the GPG detached signature:
https://dezyne.org/download/dezyne/dezyne-2.19.2.tar.gz.sig
Here are the SHA1 and SHA256 checksums:
8621f62c8fd130874b71b45e46daa0ac7bc3c6a6 dezyne-2.19.2.tar.gz
83088c95f15f6fcb5f2cba2f1e705a6d807a9770527913a60497d18395795690
dezyne-2.19.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
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.2.
For a summary of changes and contributors, see:
https://git.sv.gnu.org/gitweb/?p=dezyne.git;a=shortlog;h=v2.19.2
or run this command from a git-cloned dezyne directory:
git shortlog v2.19.1..v2.19.2
Alternatively, Dezyne can be installed using GNU Guix:
guix pull
guix install dezyne
NEWS
* Changes in 2.19.2 since 2.19.1
* Code
- The c++ runtime declared an uninitialized pump thread_id member,
which is now initialized to the pump thread id, even when thread
bases coroutines are in use.
* Noteworthy bug fixes
- The simulator trace now always adds an eligible field to avoid
failing to display a trace in the trace view.
- The simulator trace now always adds eligible and labels fields even
when an invariant is never upheld.
- Cross interface enum lookup has been fixed to avoid a stack trace
when verifying.
- A verification stack trace related to the use of a collateral
blocking action in an if expression in a function has been fixed.
- Unnecessary curtailment of the simulator compliance trace is fixed,
now the users attention is directed to the right location.
- Reporting deadlock when external events are pending has now been
fixed in the simulator.
Thanks to everyone who contributed to this release:
5 Janneke Nieuwenhuizen
14 Rutger van Beusekom
- --
Janneke Nieuwenhuizen <[email protected]> | GNU LilyPond https://LilyPond.org
Freelance IT https://www.JoyOfSource.com | https://reasonable-sourcery.coop
-----BEGIN PGP SIGNATURE-----
iQIzBAEBCAAdFiEEGoWDkuMx6v24wn/788Gg2cHWUnMFAmkUWRQACgkQ88Gg2cHW
UnNDcA//eGtP2r7r7f0wo98mEKK248O2OnDK8FaCC+f2P7y47RNq+rx1Nizj7ErK
PxN3igBEll+wHcEx43+oXbjrIQ77OAhcJRR8174uK9YuKMQHJ5nlGl8Ag1t9J3xK
418+VtPoAJUvqVYi4d0X/15/0NDZRTxwMLuHmCF2zyq0r0sCBV9aecwIM4YPzMzV
DE1O2TYjUqH8MX7Lk1Kf0dBsRdihTcuRw1MQOZM1EPy9rpy2G6h4NXcJb5TihW1Q
ZQ7qU1xk9E8Mc6T2D9eimi+yq/kN1BSaQpY/bB0SCFjSmEKk5/Ms8yz+W6e81V3Q
EfdYrvMAdWNwBUK6TN+jBFvfq2NEmAdPc2w1M9ixHpi+3xNwY3zfP4Z0ABrNuvM2
+MzCfITi+qVVKQFm9kmO0se0j+UioNqXuF9YQNt+Im9T7GFSiIlGAMe1tRPWXbtu
0lqjDtKydlqwwfxVbjOTrllsv0UsYWLo5oww5nrcnDLHbEde6jh7xUhx1SnwYJmt
XDDsPtz3qdM8rsvCjCoM8zjwKJN2rP5/p5SrjXAwEhrUebFUood7GsbGQPzvj3FF
kZ0QkUcOWVcWJQqQqK95PrEAhNQaVSaIdF0aJoVOf9NQaDmjZuUee20FyinIokP0
ZOr8/fNP965QfCPj6Q8Y2s6JatWZl1/KxV9hBqfXW+ii9yx+RBg=
=9tK6
-----END PGP SIGNATURE-----
