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 <filip@fprg.se>  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 <filip@fprg.se>  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 <filip@fprg.se>  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 <filip@fprg.se>  Tue, 9 Nov 2021 22:49:14 +0100

