Back to storm-lang PTS page

Accepted storm-lang 0.6.16-1 (source) into unstable

-----BEGIN PGP SIGNED MESSAGE-----
Hash: SHA256

Format: 1.8
Date: Fri, 23 Jun 2023 00:50:25 +0200
Source: storm-lang
Architecture: source
Version: 0.6.16-1
Distribution: unstable
Urgency: medium
Maintainer: Filip Strömbäck <filip@fprg.se>
Changed-By: Filip Strömbäck <filip@fprg.se>
Changes:
 storm-lang (0.6.16-1) unstable; urgency=medium
 .
   * Fixed issues in Progvis when using the NO_STEP directive.
   * Fixed issues in the model checker in Progvis when calling
     multiple calls to the same user-defined function.
   * Fixed an issue in the layout code for Progvis that would
     sometimes cause new data to be placed at (0, 0).
   * Updated how global variables are shown in Progvis.
     Global arrays are also supported.
   * Fixed a bug in the code generation in Storm that would
     cause the division instruction to be mis-compiled.
   * Implemented support for initializers for member variables
     in Basic Storm.
   * The name resolution in Basic Storm has been improved to
     avoid surprises.
   * Renamed the readAll function to fill in IStream.
   * Implemented a list view control in the UI library.
   * The UI library can be loaded in a headless environment.
   * Added the ability to limit the size of deserialized data
     in the serialization library.
   * The serialization library is more robust regarding
     members that have been removed since serialization.
   * Enums are now serializable.
   * Fixed a bug in the IO system that could cause crashes,
     and lost events, particularly when working with sockets.
   * Improved robustness of partial reads in the IO libraries.
   * The SQL library has been re-factored to handle cases
     where not all rows are extracted.
   * Fixed crash when using Variant in the interactive shell.
Checksums-Sha1:
 f6e4c8ff06202115a7cfcc110b99081070da4f24 1934 storm-lang_0.6.16-1.dsc
 48aa32b8182f93f9b8e480e7933ecabbdf1a5841 17817665 storm-lang_0.6.16.orig.tar.gz
 cd27c796eacdef65489a6fd084c446b495f5ae06 16992 storm-lang_0.6.16-1.debian.tar.xz
 9965b57d696ab41f01112647d91e35c30d61edf6 16531 storm-lang_0.6.16-1_source.buildinfo
Checksums-Sha256:
 98f0819f72006f019f48697b0402f072da3f959d32607c2edaace122a91d16f6 1934 storm-lang_0.6.16-1.dsc
 56f306c726a61a6d40874e869b3d3afbbfe4b312e5dfad0236663791ae7da7f5 17817665 storm-lang_0.6.16.orig.tar.gz
 566610a9952dcf8addd14047dfead706ec1800be7bbe4d548e663f3c07edd85c 16992 storm-lang_0.6.16-1.debian.tar.xz
 8c603996126575ff6694c834098f3283581114ecd3d7d4ff1fceb4da729908c6 16531 storm-lang_0.6.16-1_source.buildinfo
Files:
 95784bc0c6bbabf62631b8631b1f0751 1934 devel optional storm-lang_0.6.16-1.dsc
 5ca4b5bc668080a27d2bb398c7b26c6d 17817665 devel optional storm-lang_0.6.16.orig.tar.gz
 f9594514540a3860bddc02411f1515a5 16992 devel optional storm-lang_0.6.16-1.debian.tar.xz
 a114a162f0b48e1e03bbbe403f0622a2 16531 devel optional storm-lang_0.6.16-1_source.buildinfo

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

iHUEARYIAB0WIQRNFAUGU6QC1zaHBJ0kBMlUbhRTYAUCZKEhVgAKCRAkBMlUbhRT
YJ+LAQCua5pnQXqrp4VaaqLk4HiVnuVlfHQCKts9pYCficSm/gD+NXVG60xaEATh
XAVPMTMgvYPjVtCbh6lHku8h3BdPPwg=
=baqx
-----END PGP SIGNATURE-----