Tim Quatmann
Tim Quatmann
This PR upgrades the shipped sylvan version. Unfortunately, there is a notable performance degradation (around 20-30% slowdown in the dd engine for me; even more if the number of workers...
I propose to document the current state of compiling on apple silicon without emulation in this issue. ## How to compile (April 2023) Storm compiles natively on ARM-based apple silicon...
~PR #233~ PR #273 breaks support for ubuntu 18-04. This PR removes 18-04 from our CI workflow. **EDIT:** Apparently, #233 does not actually break ubuntu 18-04 builds. **EDIT2:** But #273...
When checking LTL formulas like `G (true U a)`, the `true` is somehow replaced by a fresh atomic proposition before feeding it into spot. This potentially yields unnecessarily large automata....
#221 and #225 have dealt with the mismatch between the modulo semantics in C++ and PRISM/JANI for negative operands. While the solution introduced in PR #225 works (at least for...
There are several unused parameter warnings all over the place. As these parameters mostly exist on purpose (e.g. for function overloading), those warnings can probably be ignored. Once we are...
We should update the shipped sylvan version at some point to take advantage of recent improvements there. One particular thing is native ARM support which apparently does not work with...
Somehow parsing `Pmax=? [ F (1=1)]` works but `Pmax=? [ F ((1)=1)]` yields a ``` WrongFormatException: Expected expression 1 to be of boolean type. ```
The canHandle methods of the model checkers should report some kind of indication why the property is not supported (e.g., because the model has multiple initial states, ...). Right now,...
There seems to be an issue in the current release of Eigen (version 3.4.0). When running the tests (using gcc11) I get ```console [----------] 1 test from LinearEquationSolverTest/16, where TypeParam...