Accepted storm-lang 0.6.2-1 (source) into unstable
-----BEGIN PGP SIGNED MESSAGE-----
Hash: SHA256
Format: 1.8
Date: Wed, 4 Jan 2023 16:08:42 +0000
Source: storm-lang
Architecture: source
Version: 0.6.2-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.2-1) unstable; urgency=medium
.
* Added support for arm64.
* Add support for detecting live-locks in the auto-grader in Progvis.
* Fixed a bug in Progvis that would cause threads to step too far.
* Throw exceptions on integer division by zero to avoid crashes in Progvis.
* Added conversions between unsigned integers and floating point types.
* Improved error messages for cases where a default constructor is missing.
* Improved the presentation library to allow interactive components.
* Improved the Geometry API.
* New instruction in the intermediate representation: `test`
Checksums-Sha1:
38a7d854d4f2572074ecdf5fe9303d39ab057ac5 1927 storm-lang_0.6.2-1.dsc
c5017200ab25ae2051cc4b03755de3f766b64eaa 17527780 storm-lang_0.6.2.orig.tar.gz
2232cd74439f583639e0dc8569aa87b9913f7e7e 16408 storm-lang_0.6.2-1.debian.tar.xz
a2f37324b22f5467acdad0796ab08949c94b6ea6 16365 storm-lang_0.6.2-1_source.buildinfo
Checksums-Sha256:
0cc768cd7e30572fc709c81f28bd105f6ceb66d4ab5b5d73cd12a019d7efdbdb 1927 storm-lang_0.6.2-1.dsc
7f5f01e0acba016cabf0854729845189c52a3ec87a3d4ea1b12e46e6ca684223 17527780 storm-lang_0.6.2.orig.tar.gz
cef569de711dfe7933415921de3239c1cd378c92bd295d03ccda05451bf5effa 16408 storm-lang_0.6.2-1.debian.tar.xz
7844be953ae65e2ac68673cdf10062370588c678609bdd829f726ac53a32b135 16365 storm-lang_0.6.2-1_source.buildinfo
Files:
ae090e7ca6f7826064d4c7c6c60976aa 1927 devel optional storm-lang_0.6.2-1.dsc
641aaf6be8e3f4c307c752b48a321404 17527780 devel optional storm-lang_0.6.2.orig.tar.gz
0bfbb0db168ba5b11669ab3d1807f11e 16408 devel optional storm-lang_0.6.2-1.debian.tar.xz
7e63fc926ff40784efe9250dbee24dc6 16365 devel optional storm-lang_0.6.2-1_source.buildinfo
-----BEGIN PGP SIGNATURE-----
iHUEARYIAB0WIQRNFAUGU6QC1zaHBJ0kBMlUbhRTYAUCY8c03AAKCRAkBMlUbhRT
YI+GAP9znVsPhUz6WgelGXr8B/0rLiStwQE3Yaj6YC6RvNPVWwD/d6uFiHATdfE2
SiOcYcM5wrAG6EEFGhkLwW4XgacfJQA=
=Rc1l
-----END PGP SIGNATURE-----
Reply to: