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-----
Reply to: