Search results

Phistates never used: Is this a bug

source code enhancement

Status: Open.

#542 In moves-rwth/storm;

· sjunges opened on May 21, 2024

Unused parameter: Is it a bug?

source code enhancement

Status: Open.

#540 In moves-rwth/storm;

· sjunges opened on May 21, 2024

std::optional vs boost::optional

good first issue

source code enhancement

Status: Open.

#302 In moves-rwth/storm;

· sjunges opened on Sep 22, 2022

Global state: Settings used throughout the code

source code enhancement

Status: Open.

#290 In moves-rwth/storm;

· sjunges opened on Sep 8, 2022

Avoid std::cout and std::endl

good first issue

source code enhancement

Status: Open.

#276 In moves-rwth/storm;

· volkm opened on Aug 10, 2022

<code>STORM_PRINT</code> vs <code>STORM_LOG_INFO</code> outside CLI

help wanted

source code enhancement

Status: Open.

#272 In moves-rwth/storm;

· sjunges opened on Aug 2, 2022

Consistency wrt int types

question

source code enhancement

Status: Open.

#259 In moves-rwth/storm;

· sjunges opened on Jul 28, 2022

Add an equality check to Formula

source code enhancement

Status: Open.

#132 In moves-rwth/storm;

· linusheck opened on Jul 5, 2021

Prism Program Traversers

good first issue

source code enhancement

Status: Open.

#124 In moves-rwth/storm;

· sjunges opened on Jun 11, 2021

SparseMatrix: trivialRowGrouping &amp; rowGroupIndices logic

source code enhancement

Status: Open.

#2 In moves-rwth/storm;

· tjanson opened on Mar 30, 2017