storm-lang (0.6.20-3) unstable; urgency=medium * Fix reproducibility issues by sorting files in the preprocessor. -- Filip Strömbäck Fri, 22 Mar 2024 19:59:04 +0100 storm-lang (0.6.20-2) unstable; urgency=medium * Updated the build files to include all flags to .S files. * Marked storm-lang-doc as multiarch: foreign. * Fixed reproducibility issue with the date in the documentation. -- Filip Strömbäck Sun, 03 Mar 2024 11:33:58 +0100 storm-lang (0.6.20-1) unstable; urgency=medium * Revised the documentation of Storm. It is now rendered by Storm itself. * Added a new library for parsing `markdown`-formatted text. * Added support for passing command-line arguments to programs written in Storm. * Added support for character literals to Basic Storm. * Don't use sizeof('\0') for end of string in C (Closes: #1058778) -- Filip Strömbäck Thu, 22 Feb 2024 11:47:57 +0100 storm-lang (0.6.19-1) unstable; urgency=medium * Support for MariaDB and MySQL in the database library. * Left, right, and full joins are properly handled in the database library. * Changed license to the BSD licence. -- Filip Strömbäck Sun, 17 Sep 2023 11:42:47 +0200 storm-lang (0.6.17-1) unstable; urgency=medium * Updated the garbage collector to a newer version. This potentially solves performance regressions when working with large sets or maps of pointers. * Improved handling of exceptions on 64-bit platforms. * Updated Debian build files to allow reproducible build and to properly clean the build (Closes: #1047325) -- Filip Strömbäck Mon, 14 Aug 2023 20:43:25 +0200 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 Fri, 23 Jun 2023 00:50:25 +0200 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` -- Filip Strömbäck Wed, 4 Jan 2023 16:08:42 +0000 storm-lang (0.5.20-1) unstable; urgency=medium * Allow running code from files without the "-f" flag. * Allow catching "out of memory" errors from the garbage collector. * Fixed a rare crash that could occur when a large amount of memory is allocated on the heap (around 1GB or so). * Protect against integer overflows when allocating data on the heap. Previously, a well-selected size could cause a too small allocation and subsequent crashes/buffer overflows. * Improved the representation of uninitialized synchronization primitives in Progvis. * Fixed issues when running UI applications on Wayland. * Fixed issues with calling the "join" function multiple times. * SQL library supports "ORDER BY" and table aliases. * Lambdas never try to return a reference, which previously caused an error. * Improved error message when using wrong syntax on command line. * Fixed a bug in the PinnedSet class when resizing internal storage. * Added iterators to the Queue class. * Added progress bars to the UI library. * Fixed issues with DPI scaling on Linux in the UI library. * Added maps and sets that operate on object identity for class types. * Improved layout of data in Progvis. * Added a model checker to Progvis to find problems automatically. * Organized the demo directory, and added button to the UI for accessing it. * Fixed bug that caused Progvis to not show all accesses sometimes. * The C/C++ frontend for Progvis handles whitespaces properly and allows using "static" for global variables. * Added icons to Progvis. -- Filip Strömbäck Sat, 30 Jul 2022 11:15:07 +0200 storm-lang (0.5.10-1) unstable; urgency=medium * First Debian release (Closes: #990009) -- Filip Strömbäck Tue, 9 Nov 2021 22:49:14 +0100