Code

Bindings for intervals#150

Code

Merged

volkm merged 5 commits intomoves-rwth:mastermoves-rwth/stormpy:masterfrom volkm:intervalsvolkm/stormpy:intervalsCopy head branch name to clipboardDec 21, 2023

+136-17

Commits

Commits on Dec 19, 2023

• Bindings for interval models

  volkm

  committed
  be6638a

  Copy full SHA for be6638a

• Scheduler with interval datatype

  volkm

  committed
  d146a9a

  Copy full SHA for d146a9a

• Additional bindings

  volkm

  committed
  e30bfc5

  Copy full SHA for e30bfc5

Commits on Dec 21, 2023

• Suggested improvement by SJ

  volkm

  committed
  97b1685

  Copy full SHA for 97b1685

• Added test case for iMDP modelchecking and bindings for parsing iMDP from DRN

  volkm

  committed
  119e739

  Copy full SHA for 119e739