storm-lang 0.6.16-1 source package in Ubuntu
Changelog
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. -- Filip Strömbäck <email address hidden> Fri, 23 Jun 2023 00:50:25 +0200
Upload details
- Uploaded by:
- Filip Strömbäck
- Uploaded to:
- Sid
- Original maintainer:
- Filip Strömbäck
- Architectures:
- amd64 arm64 all
- Section:
- misc
- Urgency:
- Medium Urgency
See full publishing history Publishing
Series | Published | Component | Section |
---|
Downloads
File | Size | SHA-256 Checksum |
---|---|---|
storm-lang_0.6.16-1.dsc | 1.9 KiB | 98f0819f72006f019f48697b0402f072da3f959d32607c2edaace122a91d16f6 |
storm-lang_0.6.16.orig.tar.gz | 17.0 MiB | 56f306c726a61a6d40874e869b3d3afbbfe4b312e5dfad0236663791ae7da7f5 |
storm-lang_0.6.16-1.debian.tar.xz | 16.6 KiB | 566610a9952dcf8addd14047dfead706ec1800be7bbe4d548e663f3c07edd85c |
Available diffs
- diff from 0.6.2-1 to 0.6.16-1 (1.6 MiB)
No changes file available.
Binary packages built by this source
- progvis: Program visualization tool for C/C++ (and others)
A program visualization tool written in Storm. Supports a subset
of C/C++, and other languages supported by the Storm language
platform. Aimed at showing how concurrent programs interact with
pointers/references and other fundamental programming concepts.
- progvis-examples: Set of example programs for progvis
Programs developed for Progvis, illustrating different aspects
of concurrency and memory handling.
.
Progvis is a program visualization tool written in Storm. Supports a
subset of C/C++, and other languages supported by the Storm language
platform. Aimed at showing how concurrent programs interact with
pointers/references and other fundamental programming concepts.
- storm-lang: Platform for extensible languages
Storm is a language system for extensible languages. It allows
creating multiple languages and DSLs that are able to operate
in close cooperation. Not too dissimilar from LISP systems, but
with custom syntax.
- storm-lang-crypto: Cryptographic library for Storm
Cryptographic primitives (for example for estabilshing SSL tunnels)
for the Storm language platform.
- storm-lang-crypto-dbgsym: debug symbols for storm-lang-crypto
- storm-lang-dbgsym: debug symbols for storm-lang
- storm-lang-graphics: Graphics library for Storm
Provides the ability to load various image types to Storm programs.
- storm-lang-graphics-dbgsym: debug symbols for storm-lang-graphics
- storm-lang-layout: Layout library for Storm
This library provides a language extension for declaring layouts
in the Storm language platform.
- storm-lang-presentation: Presentation library for Storm
Library with language extensions for conveniently creating and showing
presentations in the Storm language platform.
- storm-lang-sound: Sound playback library for Storm
Sound playback library for the Storm language platform. Supports
decoding flac, ogg and mp3 streams.
- storm-lang-sound-dbgsym: debug symbols for storm-lang-sound
- storm-lang-sql: SQL library for Storm
Generic SQL database interface to the Storm language platform, complete with
custom syntax. Provides bindings for SQLite at the moment.
- storm-lang-sql-dbgsym: debug symbols for storm-lang-sql
- storm-lang-ui: UI library for Storm (using Gtk3)
UI library for the Storm language platform using Gtk+.
- storm-lang-ui-dbgsym: debug symbols for storm-lang-ui