Commits

Branch selector

 master

User selector

All users

Datepicker

All time

Commit History

Commits on Jan 3, 2024

• All-in-one support (#156)

  Show description for 8ab4121
  sjunges

  authored
  8ab4121

  Copy full SHA for 8ab4121

• some ADD support, improved valuation support, (#154)

  Show description for 1531122
  sjunges

  authored
  1531122

  Copy full SHA for 1531122

• bugfix for Expression.Disjunction: was a conjunction before (#153)

  sjunges

  authored
  d2da511

  Copy full SHA for d2da511

Commits on Jan 1, 2024

• update valuation builder tests with latest change in storm (#152)

  sjunges

  authored
  74c8561

  Copy full SHA for 74c8561

Commits on Dec 21, 2023

• Bindings for intervals (#150)

  volkm

  authored
  77a39c0

  Copy full SHA for 77a39c0

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

  volkm

  committed
  119e739

  Copy full SHA for 119e739

• Suggested improvement by SJ

  volkm

  committed
  97b1685

  Copy full SHA for 97b1685

Commits on Dec 19, 2023

• Additional bindings

  volkm

  committed
  e30bfc5

  Copy full SHA for e30bfc5

• Scheduler with interval datatype

  volkm

  committed
  d146a9a

  Copy full SHA for d146a9a

• Bindings for interval models

  volkm

  committed
  be6638a

  Copy full SHA for be6638a

Commits on Dec 18, 2023

• Adaption to changes in storm-dft (#148)

  volkm

  authored
  376312d

  Copy full SHA for 376312d

Commits on Dec 12, 2023

• Enable exploration checks in builder options (#147)

  volkm

  authored
  54e8132

  Copy full SHA for 54e8132

Commits on Dec 11, 2023

• Added missing include

  volkm

  committed
  fcc5e40

  Copy full SHA for fcc5e40

Commits on Dec 7, 2023

• Adaption to changes in storm-dft

  volkm

  committed
  ca9bd5f

  Copy full SHA for ca9bd5f

Commits on Dec 6, 2023

• currently no sysversions (#146)

  sjunges

  authored
  7e5019d

  Copy full SHA for 7e5019d

• enable exploration checks in builder options

  randriu

  committed
  10b9570

  Copy full SHA for 10b9570

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 Nov 28, 2023

• Patch to pybind11 to avoid issue with concat in modernjson (#144)

  volkm

  authored
  2ced38f

  Copy full SHA for 2ced38f

• Patch to pybind11 to avoid issue with concat

  volkm

  committed
  592370d

  Copy full SHA for 592370d

• Adapted test to changes in #138 (#145)

  volkm

  authored
  4590572

  Copy full SHA for 4590572

Commits on Nov 27, 2023

• Adapted test to changes in #138

  volkm

  committed
  8a346f2

  Copy full SHA for 8a346f2

• Remove MinMaxMethod "topological_cuda" (#143)

  volkm

  authored
  d5df2a5

  Copy full SHA for d5df2a5

• Remove MinMaxMethod "topological_cuda"

  Show description for 2c39317
  tquatmann

  committed
  2c39317

  Copy full SHA for 2c39317

Commits on Nov 22, 2023

• Added missing include (#141)

  volkm

  authored
  4e8436c

  Copy full SHA for 4e8436c

• Minor change in API due to changes in storm-pars (#138)

  volkm

  authored
  12d5a78

  Copy full SHA for 12d5a78

• Added missing include

  volkm

  committed
  1715fe7

  Copy full SHA for 1715fe7

Commits on Nov 21, 2023

• Added a test for setting undefined constants in Prism program (#139)

  volkm

  authored
  4f3a2b6

  Copy full SHA for 4f3a2b6

Commits on Nov 15, 2023

• Added a test for setting undefined constants in Prism program

  volkm

  committed
  e49982d

  Copy full SHA for e49982d

Commits on Nov 12, 2023

• minor change in API

  sjunges

  committed
  6a33f63

  Copy full SHA for 6a33f63

Commits on Nov 1, 2023

• Add bindings for quantitative POMDP analysis (#125)

  Show description for c010e02
  AlexBork

  authored
  c010e02

  Copy full SHA for c010e02

• CI: improved build configurations (#137)

  volkm

  authored
  21a6a32

  Copy full SHA for 21a6a32

Commits on Oct 31, 2023

• Explicitly provide class template (fixes #131) (#134)

  volkm

  authored
  bf3f17e

  Copy full SHA for bf3f17e

• CI: better handling of build configurations

  volkm

  committed
  158d4e2

  Copy full SHA for 158d4e2

Commits on Sep 20, 2023

• Add bindings for computing steady-state distributions (#133)

  Show description for 110f6c9
  tquatmann

  authored
  110f6c9

  Copy full SHA for 110f6c9

• Explicitly provide class template (fixes #131)

  tquatmann

  committed
  b4aa7d6

  Copy full SHA for b4aa7d6

Pagination

Previous

Next