Code

Adaption to changes in storm-dft#148

Code

Merged

volkm merged 3 commits intomoves-rwth:mastermoves-rwth/stormpy:masterfrom volkm:dftvolkm/stormpy:dftCopy head branch name to clipboardDec 18, 2023

+321-235

Commits

Commits on Dec 1, 2023

• Provide Python class for DFT simulation and adapt to changes in Storm

  volkm

  committed
  91b5899

  Copy full SHA for 91b5899

Commits on Dec 7, 2023

• Adaption to changes in storm-dft

  volkm

  committed
  ca9bd5f

  Copy full SHA for ca9bd5f

Commits on Dec 11, 2023

• Added missing include

  volkm

  committed
  fcc5e40

  Copy full SHA for fcc5e40