Sebastian Junges
Sebastian Junges
The ModernJson version we are using is Version 2.0.5, dated 2016.
As a mid-term goal, it would be good to check whether storm can be compiled with C++20. Known problems: - [x] ModernJson, see https://github.com/moves-rwth/storm/issues/284 - [ ] Run tests
The SMT solver CVC5 is actively developed and could be an interesting alternative to z3.
From some conversation, I think there may be an issue when installing storm without an SMT solver. This can certainly be fixed, but it made me wonder whether we still...
As posted by @volkm in https://github.com/moves-rwth/storm/issues/271#issuecomment-1202272933_ we have quite some STORM_PRINTs which do appear when calling python bindings. In most cases, uses STORM_LOG_INFO is preferable.
When using storm with dd and default settings, I get a warning that the selected method is not supported, which is confusing. ``` Storm 1.6.5 (dev) Command line arguments: --prism...
Some classes such as Matrices and Schedulers still support floats. Is this something we want to keep? (I think the original motivation was GPUs, but I would like to clean...
We still seem to use the fast64 style integers, which I think we abandoned quite a while ago. Would it be good to do a pass over the code and...
In the following example, storm warns that only partial choice information even thoug both suggested options are available. ``` Command line arguments: --prism examples/grid_slip_forward.prism -const N=8 --prop 'Pmax=? [GF "station"...
The use of the settings manager in https://github.com/moves-rwth/storm/blob/6de4244e30a95f114a0e42fc5a9c5033957eceae/src/storm/api/verification.h#L194 is somewhat unexpected.