Skip to content
New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

Sign up for GitHub

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Jump to bottom

iMC changes inside of storm-pars #640

Draft
wants to merge 171 commits into
base: master
Choose a base branch
from
Draft

iMC changes inside of storm-pars #640

wants to merge 171 commits into from

Commits on Feb 12, 2024

  1. Add Robust Parameter Lifting Algorithm

    @glatteis
    glatteis committed Feb 12, 2024
    Configuration menu
    Copy the full SHA
    e16f242 View commit details
    Browse the repository at this point in the history

Commits on Feb 14, 2024

  1. Merge branch 'master' of github.com:moves-rwth/storm into robustpla

    @glatteis
    glatteis committed Feb 14, 2024
    Configuration menu
    Copy the full SHA
    0d0675c View commit details
    Browse the repository at this point in the history

Commits on Feb 19, 2024

  1. First version of horizon-bounded big-step and time-travelling

    @glatteis
    glatteis committed Feb 19, 2024
    Configuration menu
    Copy the full SHA
    b829776 View commit details
    Browse the repository at this point in the history

  2. applyRowRobust optimization

    @glatteis
    glatteis committed Feb 19, 2024
    Configuration menu
    Copy the full SHA
    fd8acbe View commit details
    Browse the repository at this point in the history

Commits on Feb 21, 2024

  1. Revert changes in ValueIterationOperator.cpp

    @glatteis
    glatteis committed Feb 21, 2024
    Configuration menu
    Copy the full SHA
    7cae91c View commit details
    Browse the repository at this point in the history

Commits on Feb 23, 2024

  1. Add support for ill-defined regions

    @glatteis
    glatteis committed Feb 23, 2024
    Configuration menu
    Copy the full SHA
    0e06f0c View commit details
    Browse the repository at this point in the history

  2. Revert "Revert changes in ValueIterationOperator.cpp" 

    This reverts commit 7cae91c.
    @glatteis
    glatteis committed Feb 23, 2024
    Configuration menu
    Copy the full SHA
    f2571c3 View commit details
    Browse the repository at this point in the history

Commits on Feb 27, 2024

  1. WIP commit

    @glatteis
    glatteis committed Feb 27, 2024
    Configuration menu
    Copy the full SHA
    135619b View commit details
    Browse the repository at this point in the history

  2. Revert "Revert "Revert changes in ValueIterationOperator.cpp"" 

    This reverts commit f2571c3.
    @glatteis
    glatteis committed Feb 27, 2024
    Configuration menu
    Copy the full SHA
    4b94de0 View commit details
    Browse the repository at this point in the history

Commits on Feb 29, 2024

  1. Best version of robust value iteration

    @glatteis
    glatteis committed Feb 29, 2024
    Configuration menu
    Copy the full SHA
    bee2544 View commit details
    Browse the repository at this point in the history

Commits on Mar 4, 2024

  1. Fix: copy x here

    @glatteis
    glatteis committed Mar 4, 2024
    Configuration menu
    Copy the full SHA
    49e2860 View commit details
    Browse the repository at this point in the history

Commits on Mar 11, 2024

  1. New RegionRefinementChecker and AnnotatedRegion (work in progress)

    @tquatmann
    tquatmann committed Mar 11, 2024
    Configuration menu
    Copy the full SHA
    a9f25c2 View commit details
    Browse the repository at this point in the history

Commits on Mar 12, 2024

  1. Almost works?

    @glatteis
    glatteis committed Mar 12, 2024
    Configuration menu
    Copy the full SHA
    5a97d3d View commit details
    Browse the repository at this point in the history

Commits on Mar 13, 2024

  1. towards compiling again and a simpler ValidatingSparseParameterLiftin… 

    …gModelChecker (work in progress)
    @tquatmann
    tquatmann committed Mar 13, 2024
    Configuration menu
    Copy the full SHA
    28f51ac View commit details
    Browse the repository at this point in the history

Commits on Mar 15, 2024

  1. A lot of stuff, everywhere

    @glatteis
    glatteis committed Mar 15, 2024
    Configuration menu
    Copy the full SHA
    af044ee View commit details
    Browse the repository at this point in the history

  2. Format

    @glatteis
    glatteis committed Mar 15, 2024
    Configuration menu
    Copy the full SHA
    ac1d2f4 View commit details
    Browse the repository at this point in the history

  3. WIP refactor of TimeTravelling.cpp (does not compile yet)

    @glatteis
    glatteis committed Mar 15, 2024
    Configuration menu
    Copy the full SHA
    d432df3 View commit details
    Browse the repository at this point in the history

Commits on Mar 16, 2024

  1. towards compiling again and OrderBasedMonotonicityBackend (work in pr… 

    …ogress)
    @tquatmann
    tquatmann committed Mar 16, 2024
    Configuration menu
    Copy the full SHA
    9c0ccc4 View commit details
    Browse the repository at this point in the history

Commits on Mar 19, 2024

  1. Finally compiling again. Not tested yet.

    @tquatmann
    tquatmann committed Mar 19, 2024
    Configuration menu
    Copy the full SHA
    105b9d9 View commit details
    Browse the repository at this point in the history

Commits on Mar 20, 2024

  1. work on order-based monotonicity backend & various fixes

    @tquatmann
    tquatmann committed Mar 20, 2024
    Configuration menu
    Copy the full SHA
    d3cee7f View commit details
    Browse the repository at this point in the history

  2. Fixed build with cln numbers

    @tquatmann
    tquatmann committed Mar 20, 2024
    Configuration menu
    Copy the full SHA
    878fe6f View commit details
    Browse the repository at this point in the history

  3. refactor time-travelling

    @glatteis
    glatteis committed Mar 20, 2024
    Configuration menu
    Copy the full SHA
    b325ea3 View commit details
    Browse the repository at this point in the history

Commits on Mar 21, 2024

  1. whoops

    @glatteis
    glatteis committed Mar 21, 2024
    Configuration menu
    Copy the full SHA
    5f75b2a View commit details
    Browse the repository at this point in the history

  2. Fixed build with cln numbers [Part 2]

    @tquatmann
    tquatmann committed Mar 21, 2024
    Configuration menu
    Copy the full SHA
    23d92f8 View commit details
    Browse the repository at this point in the history

  3. Fix cubicEquationZeroes code

    @glatteis
    glatteis committed Mar 21, 2024
    Configuration menu
    Copy the full SHA
    faa786d View commit details
    Browse the repository at this point in the history

  4. 3 fixes

    @tquatmann
    tquatmann committed Mar 21, 2024
    Configuration menu
    Copy the full SHA
    b12e273 View commit details
    Browse the repository at this point in the history

Commits on Mar 22, 2024

  1. Correct preprocessing for b-vectors with intervals in ValueIterationH… 

    …elper.h
    @glatteis
    glatteis committed Mar 22, 2024
    Configuration menu
    Copy the full SHA
    bd610ac View commit details
    Browse the repository at this point in the history

  2. Merge branch 'master' of github.com:moves-rwth/storm into robustpla

    @glatteis
    glatteis committed Mar 22, 2024
    Configuration menu
    Copy the full SHA
    03c9f5d View commit details
    Browse the repository at this point in the history

  3. Optimize time-travelling

    @glatteis
    glatteis committed Mar 22, 2024
    Configuration menu
    Copy the full SHA
    26f31d6 View commit details
    Browse the repository at this point in the history

Commits on Mar 25, 2024

  1. Fix non-const ASSERT statement that broke in release mode

    @glatteis
    glatteis committed Mar 25, 2024
    Configuration menu
    Copy the full SHA
    1595d86 View commit details
    Browse the repository at this point in the history

Commits on Mar 27, 2024

  1. Find polynomial roots using SMT solver

    @glatteis
    glatteis committed Mar 27, 2024
    Configuration menu
    Copy the full SHA
    df78b3f View commit details
    Browse the repository at this point in the history

  2. bigstep rewrite

    @glatteis
    glatteis committed Mar 27, 2024
    Configuration menu
    Copy the full SHA
    8cb8882 View commit details
    Browse the repository at this point in the history

Commits on Apr 2, 2024

  1. New BigStep algorithm uses DFS and BFS :)

    @glatteis
    glatteis committed Apr 2, 2024
    Configuration menu
    Copy the full SHA
    201ce51 View commit details
    Browse the repository at this point in the history

  2. Cache polynomial multiplication, polynomial addition still slow

    @glatteis
    glatteis committed Apr 2, 2024
    Configuration menu
    Copy the full SHA
    1856ad3 View commit details
    Browse the repository at this point in the history

  3. Still a couple of TODOs left, mainly the incredibly slow operations o… 

    …n RationalFunction, but new bigstep is working
    @glatteis
    glatteis committed Apr 2, 2024
    Configuration menu
    Copy the full SHA
    3407d5e View commit details
    Browse the repository at this point in the history

  4. Talk to the SMT solver a little better

    @glatteis
    glatteis committed Apr 2, 2024
    Configuration menu
    Copy the full SHA
    e6eed5c View commit details
    Browse the repository at this point in the history

  5. Fix updateTreeStates

    @glatteis
    glatteis committed Apr 2, 2024
    Configuration menu
    Copy the full SHA
    c3ace88 View commit details
    Browse the repository at this point in the history

Commits on Apr 8, 2024

  1. Fix TimeTravellingTest to use strong bisim

    @glatteis
    glatteis committed Apr 8, 2024
    Configuration menu
    Copy the full SHA
    1ae3748 View commit details
    Browse the repository at this point in the history

  2. Merge branch 'master' of github.com:moves-rwth/storm into robustpla

    @glatteis
    glatteis committed Apr 8, 2024
    Configuration menu
    Copy the full SHA
    3dd506a View commit details
    Browse the repository at this point in the history

  3. New method name for robust scheduler tracking helper

    @glatteis
    glatteis committed Apr 8, 2024
    Configuration menu
    Copy the full SHA
    f3d8edf View commit details
    Browse the repository at this point in the history

  4. Find roots with CARL as well

    @glatteis
    glatteis committed Apr 8, 2024
    Configuration menu
    Copy the full SHA
    601e2c7 View commit details
    Browse the repository at this point in the history

Commits on Apr 10, 2024

  1. Make time-travelling work with only the annotations

    @glatteis
    glatteis committed Apr 10, 2024
    Configuration menu
    Copy the full SHA
    e230dbb View commit details
    Browse the repository at this point in the history

  2. Polished code

    @tquatmann
    tquatmann committed Apr 10, 2024
    Configuration menu
    Copy the full SHA
    664474e View commit details
    Browse the repository at this point in the history

  3. Remove commented code

    @tquatmann
    tquatmann committed Apr 10, 2024
    Configuration menu
    Copy the full SHA
    86b54c8 View commit details
    Browse the repository at this point in the history

  4. Split MonotonicityAnnotation from AnnotatedRegion

    @tquatmann
    tquatmann committed Apr 10, 2024
    Configuration menu
    Copy the full SHA
    b314bb8 View commit details
    Browse the repository at this point in the history

  5. Interval arithmetic works but I still need to figure out how to do th… 

    …is efficiently
    @glatteis
    glatteis committed Apr 10, 2024
    Configuration menu
    Copy the full SHA
    f81753a View commit details
    Browse the repository at this point in the history

Commits on Apr 11, 2024

  1. implemented feedback by LH

    @tquatmann
    tquatmann committed Apr 11, 2024
    Configuration menu
    Copy the full SHA
    4b37b5f View commit details
    Browse the repository at this point in the history

  2. clean-up of includes, silence warning concerning usage of class vs. s… 

    …ruct
    @tquatmann
    tquatmann committed Apr 11, 2024
    Configuration menu
    Copy the full SHA
    8a148ac View commit details
    Browse the repository at this point in the history

Commits on Apr 12, 2024

  1. WIP: Rootfinding

    @glatteis
    glatteis committed Apr 12, 2024
    Configuration menu
    Copy the full SHA
    595a20a View commit details
    Browse the repository at this point in the history

Commits on Apr 17, 2024

  1. WIP: Interval Arithmetic

    @glatteis
    glatteis committed Apr 17, 2024
    Configuration menu
    Copy the full SHA
    3e02cce View commit details
    Browse the repository at this point in the history

Commits on Apr 24, 2024

  1. Mix derivative intervalling with rootfinding

    @glatteis
    glatteis committed Apr 24, 2024
    Configuration menu
    Copy the full SHA
    b0abc39 View commit details
    Browse the repository at this point in the history

Commits on May 1, 2024

  1. Solve grid issue

    @glatteis
    glatteis committed May 1, 2024
    Configuration menu
    Copy the full SHA
    588d7d8 View commit details
    Browse the repository at this point in the history

Commits on May 3, 2024

  1. Performance-related fixes

    @glatteis
    glatteis committed May 3, 2024
    Configuration menu
    Copy the full SHA
    82d0335 View commit details
    Browse the repository at this point in the history

Commits on May 7, 2024

  1. Add round-robin and CLI stuff for region refinement

    @glatteis
    glatteis committed May 7, 2024
    Configuration menu
    Copy the full SHA
    00c436f View commit details
    Browse the repository at this point in the history

Commits on May 8, 2024

  1. Implement estimate-based splitting

    @glatteis
    glatteis committed May 8, 2024
    Configuration menu
    Copy the full SHA
    c8efba6 View commit details
    Browse the repository at this point in the history

Commits on May 21, 2024

  1. Add --estimate-method CLI argument

    @glatteis
    glatteis committed May 21, 2024
    Configuration menu
    Copy the full SHA
    6686607 View commit details
    Browse the repository at this point in the history

  2. Do not split on monotone parameters if mode is feasibility

    @glatteis
    glatteis committed May 21, 2024
    Configuration menu
    Copy the full SHA
    eb1e3b0 View commit details
    Browse the repository at this point in the history

  3. Small fixes

    @glatteis
    glatteis committed May 21, 2024
    Configuration menu
    Copy the full SHA
    01ad349 View commit details
    Browse the repository at this point in the history

  4. Merge branch 'region-refinement' of github.com:linusheck/storm into r… 

    …obustpla
    @glatteis
    glatteis committed May 21, 2024
    Configuration menu
    Copy the full SHA
    1038219 View commit details
    Browse the repository at this point in the history

  5. Amend estimate based strategy to not request estimates if maxSplitDim… 

    …ensions is larger than number of variables
    @glatteis
    glatteis committed May 21, 2024
    Configuration menu
    Copy the full SHA
    7783ca5 View commit details
    Browse the repository at this point in the history

  6. Merge branch 'region-refinement' of github.com:linusheck/storm into r… 

    …obustpla
    @glatteis
    glatteis committed May 21, 2024
    Configuration menu
    Copy the full SHA
    ed351d4 View commit details
    Browse the repository at this point in the history

Commits on May 24, 2024

  1. WIP commit

    @glatteis
    glatteis committed May 24, 2024
    Configuration menu
    Copy the full SHA
    d2227f1 View commit details
    Browse the repository at this point in the history

Commits on May 27, 2024

  1. WIP commit

    @glatteis
    glatteis committed May 27, 2024
    Configuration menu
    Copy the full SHA
    fc1fffb View commit details
    Browse the repository at this point in the history

  2. Add regions to GD

    @glatteis
    glatteis committed May 27, 2024
    Configuration menu
    Copy the full SHA
    d32f833 View commit details
    Browse the repository at this point in the history

Commits on Jun 3, 2024

  1. WIP: Add minmaxdelta strategies

    @glatteis
    glatteis committed Jun 3, 2024
    Configuration menu
    Copy the full SHA
    be5e682 View commit details
    Browse the repository at this point in the history

Commits on Jun 5, 2024

  1. Conservative extension of state-value-delta

    @glatteis
    glatteis committed Jun 5, 2024
    Configuration menu
    Copy the full SHA
    7de29ca View commit details
    Browse the repository at this point in the history

Commits on Jun 20, 2024

  1. WIP

    @glatteis
    glatteis committed Jun 20, 2024
    Configuration menu
    Copy the full SHA
    22b586a View commit details
    Browse the repository at this point in the history

Commits on Jun 26, 2024

  1. Fix bigstep bug

    @glatteis
    glatteis committed Jun 26, 2024
    Configuration menu
    Copy the full SHA
    f323c96 View commit details
    Browse the repository at this point in the history

Commits on Jun 28, 2024

  1. Compute subgraph, including edges, in time travelling

    @glatteis
    glatteis committed Jun 28, 2024
    Configuration menu
    Copy the full SHA
    61f40f1 View commit details
    Browse the repository at this point in the history

Commits on Jul 3, 2024

  1. Add IntervalEndComponentPreserver

    @glatteis
    glatteis committed Jul 3, 2024
    Configuration menu
    Copy the full SHA
    8f2281e View commit details
    Browse the repository at this point in the history

Commits on Jul 9, 2024

  1. Update src/storm-pars-cli/storm-pars.cpp 

    Co-authored-by: Tim Quatmann <[email protected]>
    @linusheck @tquatmann
    linusheck and tquatmann authored Jul 9, 2024
    Configuration menu
    Copy the full SHA
    9f908be View commit details
    Browse the repository at this point in the history

  2. Update src/storm-pars-cli/storm-pars.cpp 

    Co-authored-by: Tim Quatmann <[email protected]>
    @linusheck @tquatmann
    linusheck and tquatmann authored Jul 9, 2024
    Configuration menu
    Copy the full SHA
    e17bcd4 View commit details
    Browse the repository at this point in the history

  3. Update src/storm-pars/modelchecker/region/RegionRefinementChecker.cpp 

    Co-authored-by: Tim Quatmann <[email protected]>
    @linusheck @tquatmann
    linusheck and tquatmann authored Jul 9, 2024
    Configuration menu
    Copy the full SHA
    0bfed3c View commit details
    Browse the repository at this point in the history

  4. Update src/storm-pars/modelchecker/region/SparseDtmcParameterLiftingM… 

    …odelChecker.cpp

Co-authored-by: Tim Quatmann <[email protected]>
    @linusheck @tquatmann
    linusheck and tquatmann authored Jul 9, 2024
    Configuration menu
    Copy the full SHA
    361aabb View commit details
    Browse the repository at this point in the history

  5. Update src/storm-pars/modelchecker/region/RegionRefinementChecker.cpp 

    Co-authored-by: Tim Quatmann <[email protected]>
    @linusheck @tquatmann
    linusheck and tquatmann authored Jul 9, 2024
    Configuration menu
    Copy the full SHA
    b0d2a2a View commit details
    Browse the repository at this point in the history

  6. Fix suggestions around RegionRefinementChecker loop

    @glatteis
    glatteis committed Jul 9, 2024
    Configuration menu
    Copy the full SHA
    dd31238 View commit details
    Browse the repository at this point in the history

  7. PRINT_AND_LOG links now

    @glatteis
    glatteis committed Jul 9, 2024
    Configuration menu
    Copy the full SHA
    7ade3a1 View commit details
    Browse the repository at this point in the history

  8. Fix second splitting loop

    @glatteis
    glatteis committed Jul 9, 2024
    Configuration menu
    Copy the full SHA
    9aa565c View commit details
    Browse the repository at this point in the history

  9. Fix format?

    @glatteis
    glatteis committed Jul 9, 2024
    Configuration menu
    Copy the full SHA
    2d6bf34 View commit details
    Browse the repository at this point in the history

  10. Change region splitting strategy heuristic API

    @glatteis
    glatteis committed Jul 9, 2024
    Configuration menu
    Copy the full SHA
    26a689b View commit details
    Browse the repository at this point in the history

  11. Print default

    @glatteis
    glatteis committed Jul 9, 2024
    Configuration menu
    Copy the full SHA
    aee5f58 View commit details
    Browse the repository at this point in the history

Commits on Jul 10, 2024

  1. Fix format?

    @glatteis
    glatteis committed Jul 10, 2024
    Configuration menu
    Copy the full SHA
    daaa039 View commit details
    Browse the repository at this point in the history

Commits on Jul 16, 2024

  1. Complain if bigstep gets a non-probabilistic matrix

    @glatteis
    glatteis committed Jul 16, 2024
    Configuration menu
    Copy the full SHA
    21acd0b View commit details
    Browse the repository at this point in the history

  2. Fix compile

    @glatteis
    glatteis committed Jul 16, 2024
    Configuration menu
    Copy the full SHA
    502f8d8 View commit details
    Browse the repository at this point in the history

  3. Merge branch 'robustpla' of github.com:glatteis/storm-private into ro… 

    …bustpla
    @glatteis
    glatteis committed Jul 16, 2024
    Configuration menu
    Copy the full SHA
    cdb6a3b View commit details
    Browse the repository at this point in the history

Commits on Jul 18, 2024

  1. Fix weird Release GCC behavior

    @glatteis
    glatteis committed Jul 18, 2024
    Configuration menu
    Copy the full SHA
    1d68644 View commit details
    Browse the repository at this point in the history

  2. Merge branch 'robustpla' of github.com:glatteis/storm-private into ro… 

    …bustpla
    @glatteis
    glatteis committed Jul 18, 2024
    Configuration menu
    Copy the full SHA
    337ce74 View commit details
    Browse the repository at this point in the history

  3. Fix Gmp number conversions and interval end component preserving

    @glatteis
    glatteis committed Jul 18, 2024
    Configuration menu
    Copy the full SHA
    9687630 View commit details
    Browse the repository at this point in the history

Commits on Jul 23, 2024

  1. Fix incorrect check in ValueIterationOperator

    @glatteis
    glatteis committed Jul 23, 2024
    Configuration menu
    Copy the full SHA
    54aa476 View commit details
    Browse the repository at this point in the history

Commits on Jul 25, 2024

  1. Fix result vector size

    @glatteis
    glatteis committed Jul 25, 2024
    Configuration menu
    Copy the full SHA
    d96aeba View commit details
    Browse the repository at this point in the history

  2. Fix the fix

    @glatteis
    glatteis committed Jul 25, 2024
    Configuration menu
    Copy the full SHA
    05725e9 View commit details
    Browse the repository at this point in the history

  3. Fix bugs in interval component preserver, warm-start

    @glatteis
    glatteis committed Jul 25, 2024
    Configuration menu
    Copy the full SHA
    79d2f8e View commit details
    Browse the repository at this point in the history

Commits on Jul 26, 2024

  1. Fix assert

    @glatteis
    glatteis committed Jul 26, 2024
    Configuration menu
    Copy the full SHA
    9d34a8a View commit details
    Browse the repository at this point in the history

  2. Remove prints

    @glatteis
    glatteis committed Jul 26, 2024
    Configuration menu
    Copy the full SHA
    ac96a58 View commit details
    Browse the repository at this point in the history

  3. Merge remote-tracking branch 'fork/region-refinement' into robustpla

    @glatteis
    glatteis committed Jul 26, 2024
    Configuration menu
    Copy the full SHA
    84cd4b6 View commit details
    Browse the repository at this point in the history

  4. Merge branch 'robustpla' of github.com:glatteis/storm-private into ro… 

    …bustpla
    @glatteis
    glatteis committed Jul 26, 2024
    Configuration menu
    Copy the full SHA
    ec85113 View commit details
    Browse the repository at this point in the history

Commits on Aug 1, 2024

  1. Add --not-graph-preserving flag

    @glatteis
    glatteis committed Aug 1, 2024
    Configuration menu
    Copy the full SHA
    f739523 View commit details
    Browse the repository at this point in the history

Commits on Aug 2, 2024

  1. Improve interval evaluation for non-factorizable polynomials

    @glatteis
    glatteis committed Aug 2, 2024
    Configuration menu
    Copy the full SHA
    f9a1c7e View commit details
    Browse the repository at this point in the history

  2. WIP: Add interval non-trivial MEC detection and elimination

    @glatteis
    glatteis committed Aug 2, 2024
    Configuration menu
    Copy the full SHA
    616f34e View commit details
    Browse the repository at this point in the history

  3. Merge branch 'not-graph-preserving' of github.com:linusheck/storm int… 

    …o robustpla
    @glatteis
    glatteis committed Aug 2, 2024
    Configuration menu
    Copy the full SHA
    1e6392a View commit details
    Browse the repository at this point in the history

  4. Does this fix the weird compile issue?

    @glatteis
    glatteis committed Aug 2, 2024
    Configuration menu
    Copy the full SHA
    3697673 View commit details
    Browse the repository at this point in the history

  5. Remove some TODOs

    @glatteis
    glatteis committed Aug 2, 2024
    Configuration menu
    Copy the full SHA
    6061528 View commit details
    Browse the repository at this point in the history

Commits on Aug 4, 2024

  1. Fix maze problem

    @glatteis
    glatteis committed Aug 4, 2024
    Configuration menu
    Copy the full SHA
    2e2f71f View commit details
    Browse the repository at this point in the history

  2. Fix bug in interval evaluation

    @glatteis
    glatteis committed Aug 4, 2024
    Configuration menu
    Copy the full SHA
    689cf57 View commit details
    Browse the repository at this point in the history

Commits on Aug 5, 2024

  1. Preserve reward models in graph-preserving bisim

    @glatteis
    glatteis committed Aug 5, 2024
    Configuration menu
    Copy the full SHA
    2db851d View commit details
    Browse the repository at this point in the history

  2. Fix part of the tests :D

    @glatteis
    glatteis committed Aug 5, 2024
    Configuration menu
    Copy the full SHA
    80480af View commit details
    Browse the repository at this point in the history

  3. Fix target set bug, add tests for non-graph-preserving checker on gra… 

    …ph-preserving regions
    @glatteis
    glatteis committed Aug 5, 2024
    Configuration menu
    Copy the full SHA
    ed19aa8 View commit details
    Browse the repository at this point in the history

  4. Eliminate target, sink state from matrix

    @glatteis
    glatteis committed Aug 5, 2024
    Configuration menu
    Copy the full SHA
    5054a58 View commit details
    Browse the repository at this point in the history

Commits on Aug 6, 2024

  1. Change behavior of MEC elimination, add test

    @glatteis
    glatteis committed Aug 6, 2024
    Configuration menu
    Copy the full SHA
    51ad42a View commit details
    Browse the repository at this point in the history

Commits on Aug 7, 2024

  1. Remove include

    @glatteis
    glatteis committed Aug 7, 2024
    Configuration menu
    Copy the full SHA
    f3dd68b View commit details
    Browse the repository at this point in the history

  2. fix some details, add some prints

    @glatteis
    glatteis committed Aug 7, 2024
    Configuration menu
    Copy the full SHA
    6901552 View commit details
    Browse the repository at this point in the history

  3. Cache optimizations

    @glatteis
    glatteis committed Aug 7, 2024
    Configuration menu
    Copy the full SHA
    f00afcf View commit details
    Browse the repository at this point in the history

  4. add some optimizations that i hope actually make the code faster

    @glatteis
    glatteis committed Aug 7, 2024
    Configuration menu
    Copy the full SHA
    5a4c871 View commit details
    Browse the repository at this point in the history

  5. fix derivatives

    @glatteis
    glatteis committed Aug 7, 2024
    Configuration menu
    Copy the full SHA
    74b6368 View commit details
    Browse the repository at this point in the history

  6. remove couts

    @glatteis
    glatteis committed Aug 7, 2024
    Configuration menu
    Copy the full SHA
    4e58ef1 View commit details
    Browse the repository at this point in the history

Commits on Aug 8, 2024

  1. Remove prints

    @glatteis
    glatteis committed Aug 8, 2024
    Configuration menu
    Copy the full SHA
    76dca2b View commit details
    Browse the repository at this point in the history

Commits on Aug 21, 2024

  1. Fix bug in bigstep

    @glatteis
    glatteis committed Aug 21, 2024
    Configuration menu
    Copy the full SHA
    c9f53a2 View commit details
    Browse the repository at this point in the history

Commits on Aug 22, 2024

  1. aaahhh

    @glatteis
    glatteis committed Aug 22, 2024
    Configuration menu
    Copy the full SHA
    c7d12b3 View commit details
    Browse the repository at this point in the history

Commits on Sep 13, 2024

  1. Small but important bigstep tweaks

    @glatteis
    glatteis committed Sep 13, 2024
    Configuration menu
    Copy the full SHA
    1cc4a06 View commit details
    Browse the repository at this point in the history

  2. no couts

    @glatteis
    glatteis committed Sep 13, 2024
    Configuration menu
    Copy the full SHA
    30f0887 View commit details
    Browse the repository at this point in the history

Commits on Sep 18, 2024

  1. Redirect eliminated in nontrivial MECs

    @glatteis
    glatteis committed Sep 18, 2024
    Configuration menu
    Copy the full SHA
    ad976d1 View commit details
    Browse the repository at this point in the history

Commits on Sep 27, 2024

  1. Add discrete parameters

    @glatteis
    glatteis committed Sep 27, 2024
    Configuration menu
    Copy the full SHA
    8b0a840 View commit details
    Browse the repository at this point in the history

  2. Do not split on fixed parameters

    @glatteis
    glatteis committed Sep 27, 2024
    Configuration menu
    Copy the full SHA
    7b1b8a3 View commit details
    Browse the repository at this point in the history

Commits on Sep 30, 2024

  1. remove couts

    @glatteis
    glatteis committed Sep 30, 2024
    Configuration menu
    Copy the full SHA
    47dd410 View commit details
    Browse the repository at this point in the history

Commits on Oct 4, 2024

  1. Fix parseVariableList

    @glatteis
    glatteis committed Oct 4, 2024
    Configuration menu
    Copy the full SHA
    f59aabc View commit details
    Browse the repository at this point in the history

Commits on Oct 8, 2024

  1. bigstep topological ordering

    @glatteis
    glatteis committed Oct 8, 2024
    Configuration menu
    Copy the full SHA
    482a6e8 View commit details
    Browse the repository at this point in the history

Commits on Oct 9, 2024

  1. Simple special case

    @glatteis
    glatteis committed Oct 9, 2024
    Configuration menu
    Copy the full SHA
    bde6169 View commit details
    Browse the repository at this point in the history

  2. Change pointing

    @glatteis
    glatteis committed Oct 9, 2024
    Configuration menu
    Copy the full SHA
    30f92a8 View commit details
    Browse the repository at this point in the history

  3. more robust optimization

    @glatteis
    glatteis committed Oct 9, 2024
    Configuration menu
    Copy the full SHA
    ef4c0ca View commit details
    Browse the repository at this point in the history

  4. Fix estimate method

    @glatteis
    glatteis committed Oct 9, 2024
    Configuration menu
    Copy the full SHA
    ed18a69 View commit details
    Browse the repository at this point in the history

  5. Fix estimate method

    @glatteis
    glatteis committed Oct 9, 2024
    Configuration menu
    Copy the full SHA
    2b47a71 View commit details
    Browse the repository at this point in the history

  6. Revert "more robust optimization" 

    This reverts commit ef4c0ca.
    @glatteis
    glatteis committed Oct 9, 2024
    Configuration menu
    Copy the full SHA
    1fc089d View commit details
    Browse the repository at this point in the history

  7. Revert "Change pointing" 

    This reverts commit 30f92a8.
    @glatteis
    glatteis committed Oct 9, 2024
    Configuration menu
    Copy the full SHA
    6eb1701 View commit details
    Browse the repository at this point in the history

  8. Revert "Simple special case" 

    This reverts commit bde6169.
    @glatteis
    glatteis committed Oct 9, 2024
    Configuration menu
    Copy the full SHA
    06a5434 View commit details
    Browse the repository at this point in the history

Commits on Oct 11, 2024

  1. just trying something out...

    @glatteis
    glatteis committed Oct 11, 2024
    Configuration menu
    Copy the full SHA
    c94d846 View commit details
    Browse the repository at this point in the history

  2. fix stateeliminator

    @glatteis
    glatteis committed Oct 11, 2024
    Configuration menu
    Copy the full SHA
    845de7b View commit details
    Browse the repository at this point in the history

Commits on Oct 12, 2024

  1. Fix estimate bug

    @glatteis
    glatteis committed Oct 12, 2024
    Configuration menu
    Copy the full SHA
    9878a51 View commit details
    Browse the repository at this point in the history

Commits on Oct 28, 2024

  1. Merge branch 'master' of github.com:moves-rwth/storm into robustpla

    @glatteis
    glatteis committed Oct 28, 2024
    Configuration menu
    Copy the full SHA
    7eb0faa View commit details
    Browse the repository at this point in the history

Commits on Oct 29, 2024

  1. Header fixes

    @glatteis
    glatteis committed Oct 29, 2024
    Configuration menu
    Copy the full SHA
    8a144f6 View commit details
    Browse the repository at this point in the history

  2. setup Topological MinMax equation solver so I can eventually port it … 

    …to iMCs
    @glatteis
    glatteis committed Oct 29, 2024
    Configuration menu
    Copy the full SHA
    02cc238 View commit details
    Browse the repository at this point in the history

Commits on Nov 1, 2024

  1. WIP on feasibility

    @glatteis
    glatteis committed Nov 1, 2024
    Configuration menu
    Copy the full SHA
    cad7131 View commit details
    Browse the repository at this point in the history

  2. Merge branch 'master' of github.com:moves-rwth/storm into robustpla

    @glatteis
    glatteis committed Nov 1, 2024
    Configuration menu
    Copy the full SHA
    34c473f View commit details
    Browse the repository at this point in the history

  3. iMC changes outside of storm-pars

    @glatteis
    glatteis committed Nov 1, 2024
    Configuration menu
    Copy the full SHA
    e6e6fdd View commit details
    Browse the repository at this point in the history

  4. Remove commented out code

    @glatteis
    glatteis committed Nov 1, 2024
    Configuration menu
    Copy the full SHA
    c1a741a View commit details
    Browse the repository at this point in the history

  5. Format

    @glatteis
    glatteis committed Nov 1, 2024
    Configuration menu
    Copy the full SHA
    28ec366 View commit details
    Browse the repository at this point in the history

Commits on Nov 11, 2024

  1. fix verification mode

    @glatteis
    glatteis committed Nov 11, 2024
    Configuration menu
    Copy the full SHA
    7a7376a View commit details
    Browse the repository at this point in the history

Commits on Nov 12, 2024

  1. Fix iMDPs

    @glatteis
    glatteis committed Nov 12, 2024
    Configuration menu
    Copy the full SHA
    217c5a8 View commit details
    Browse the repository at this point in the history

  2. Format

    @glatteis
    glatteis committed Nov 12, 2024
    Configuration menu
    Copy the full SHA
    b32ec4c View commit details
    Browse the repository at this point in the history

Commits on Nov 18, 2024

  1. Fix POMDP test segfault

    @glatteis
    glatteis committed Nov 18, 2024
    Configuration menu
    Copy the full SHA
    2d7239c View commit details
    Browse the repository at this point in the history

  2. Fix other POMDP test

    @glatteis
    glatteis committed Nov 18, 2024
    Configuration menu
    Copy the full SHA
    0ee405b View commit details
    Browse the repository at this point in the history

Commits on Nov 19, 2024

  1. Merge branch 'robustpla-storm' into robustpla

    @glatteis
    glatteis committed Nov 19, 2024
    Configuration menu
    Copy the full SHA
    3f9e564 View commit details
    Browse the repository at this point in the history

  2. Format and reset testfiles

    @glatteis
    glatteis committed Nov 19, 2024
    Configuration menu
    Copy the full SHA
    e6f520c View commit details
    Browse the repository at this point in the history

  3. Default should be to not skip constant deterministic state elimination

    @glatteis
    glatteis committed Nov 19, 2024
    Configuration menu
    Copy the full SHA
    1184fa5 View commit details
    Browse the repository at this point in the history

  4. Remove z3_api include

    @glatteis
    glatteis committed Nov 19, 2024
    Configuration menu
    Copy the full SHA
    f4077dc View commit details
    Browse the repository at this point in the history

  5. Delete disabled tests

    @glatteis
    glatteis committed Nov 19, 2024
    Configuration menu
    Copy the full SHA
    a8f1952 View commit details
    Browse the repository at this point in the history

Commits on Nov 20, 2024

  1. Remove z3 include

    @glatteis
    glatteis committed Nov 20, 2024
    Configuration menu
    Copy the full SHA
    c216bfc View commit details
    Browse the repository at this point in the history

  2. CARL splitting strategy segfaults, so change it?

    @glatteis
    glatteis committed Nov 20, 2024
    Configuration menu
    Copy the full SHA
    342b237 View commit details
    Browse the repository at this point in the history

  3. Merge branch 'robustpla' of https://github.com/linusheck/storm into r… 

    …obustpla
    @glatteis
    glatteis committed Nov 20, 2024
    Configuration menu
    Copy the full SHA
    6d2ab9f View commit details
    Browse the repository at this point in the history

  4. Format

    @glatteis
    glatteis committed Nov 20, 2024
    Configuration menu
    Copy the full SHA
    164f5c1 View commit details
    Browse the repository at this point in the history

Commits on Nov 21, 2024

  1. Include RationalNumberForward in ParameterRegion.h

    @glatteis
    glatteis committed Nov 21, 2024
    Configuration menu
    Copy the full SHA
    25d0841 View commit details
    Browse the repository at this point in the history

  2. Format

    @glatteis
    glatteis committed Nov 21, 2024
    Configuration menu
    Copy the full SHA
    698a5f9 View commit details
    Browse the repository at this point in the history

  3. Maybe RationalNumber(x,y) just doesn't exist for cln

    @glatteis
    glatteis committed Nov 21, 2024
    Configuration menu
    Copy the full SHA
    59dea93 View commit details
    Browse the repository at this point in the history

  4. Remove RationalNumber mention

    @glatteis
    glatteis committed Nov 21, 2024
    Configuration menu
    Copy the full SHA
    adb208c View commit details
    Browse the repository at this point in the history

  5. Fix BinaryDtmcTransformerTest

    @glatteis
    glatteis committed Nov 21, 2024
    Configuration menu
    Copy the full SHA
    056fbe1 View commit details
    Browse the repository at this point in the history

Commits on Nov 26, 2024

  1. Not sure what the problem is

    @glatteis
    glatteis committed Nov 26, 2024
    Configuration menu
    Copy the full SHA
    3e09162 View commit details
    Browse the repository at this point in the history

Commits on Nov 29, 2024

  1. Remove print

    @glatteis
    glatteis committed Nov 29, 2024
    Configuration menu
    Copy the full SHA
    58d4467 View commit details
    Browse the repository at this point in the history

  2. Skip tests if Z3 not available

    @glatteis
    glatteis committed Nov 29, 2024
    Configuration menu
    Copy the full SHA
    d87be08 View commit details
    Browse the repository at this point in the history

  3. Format >:(

    @glatteis
    glatteis committed Nov 29, 2024
    Configuration menu
    Copy the full SHA
    05c7b2f View commit details
    Browse the repository at this point in the history

  4. Fix BinaryDtmcTransformerTest

    @glatteis
    glatteis committed Nov 29, 2024
    Configuration menu
    Copy the full SHA
    a9397bd View commit details
    Browse the repository at this point in the history

  5. TEST -> TEST_F

    @glatteis
    glatteis committed Nov 29, 2024
    Configuration menu
    Copy the full SHA
    3a0e6d0 View commit details
    Browse the repository at this point in the history

Commits on Dec 3, 2024

  1. Warning was inverted >:(

    @glatteis
    glatteis committed Dec 3, 2024
    Configuration menu
    Copy the full SHA
    8202517 View commit details
    Browse the repository at this point in the history