Discussions

• 1 You must be logged in to vote

  💡

  Steps for move to storm organization

  volkm started Nov 17, 2025 in Ideas

  

  

  1
• 1 You must be logged in to vote

  💡

  Improving CI workflow

  volkm started Mar 20, 2026 in Ideas

  

  

  0
• 1 You must be logged in to vote

  💡

  Testing CLIs.

  sjunges started Aug 2, 2025 in Ideas

  

  

  2
• 1 You must be logged in to vote

  💡

  Restructuring of Dd libraries

  volkm started Dec 3, 2025 in Ideas

  

  

  0
• 1 You must be logged in to vote

  💡

  Global state: Settings used throughout the code

  source code enhancement

  sjunges started Sep 8, 2022 in Ideas

  

  

  1
• 1 You must be logged in to vote

  💡

  Print in Storm library

  volkm started Nov 29, 2025 in Ideas · Closed

  

  

  1
• 1 You must be logged in to vote

  💡

  Change CTMC default to probability matrix instead of rate matrix?

  volkm started Nov 26, 2025 in Ideas

  

  

  

  

  2
• 1 You must be logged in to vote

  💡

  Pedantic mode

  Philipp15b started Nov 6, 2025 in Ideas

  

  

  

  

  14
• 1 You must be logged in to vote

  💡

  Storm 2.0 meets Sylvan 2.0

  sjunges started Aug 3, 2025 in Ideas

  

  

  

  

  8
• 1 You must be logged in to vote

  🙏

  Document options to get fastest compile times?

  Philipp15b asked Jul 24, 2025 in Q&A · Unanswered

  

  

  

  

  4
• 1 You must be logged in to vote

  💡

  CMake Upgrade Steps

  sjunges started Feb 12, 2025 in Ideas

  

  

  1
• 1 You must be logged in to vote

  💡

  Support for interval models

  enhancement help wanted

  sjunges started Dec 10, 2023 in Ideas

  

  

  1
• 1 You must be logged in to vote

  💡

  Compile Times

  sjunges started Nov 25, 2023 in Ideas

  

  

  5
• 1 You must be logged in to vote

  💡

  STORM_PRINT vs STORM_LOG_INFO outside CLI

  help wanted source code enhancement

  sjunges started Aug 2, 2022 in Ideas

  

  

  

  

  7