Skip to content

GitLab

  • Projects
  • Groups
  • Snippets
  • Help
    • Loading...
  • Help
    • Help
    • Support
    • Community forum
    • Submit feedback
    • Contribute to GitLab
  • Sign in / Register
toolset
toolset
  • Project overview
    • Project overview
    • Details
    • Activity
  • Issues 41
    • Issues 41
    • List
    • Boards
    • Labels
    • Service Desk
    • Milestones
  • Operations
    • Operations
    • Incidents
  • Analytics
    • Analytics
    • Repository
    • Value Stream
  • Members
    • Members
  • Collapse sidebar
  • Activity
  • Create a new issue
  • Issue Boards
  • modest
  • toolsettoolset
  • Issues

  • Open 41
  • Closed 49
  • All 90
New issue
  • Priority Created date Last updated Milestone due date Due date Popularity Label priority Manual
  • Default values for constants
    #91 · opened Nov 25, 2020 by Arnd Hartmanns   feature
    • 0
    updated Nov 25, 2020
  • ArgumentException on empty palt in Modest
    #90 · opened Oct 16, 2020 by Arnd Hartmanns   bug parser
    • 0
    updated Oct 16, 2020
  • Intermediate Probabilities Completely Fill Console
    #86 · opened Jul 04, 2019 by Hans van der Laan
    • 0
    updated Jul 04, 2019
  • modes: RES: ad hoc specification of threshold levels and splitting
    #85 · opened Jun 11, 2019 by Carlos Esteban   feature
    • 0
    updated Jun 11, 2019
  • Case study cashier.modest cannot be parsed by mcsta
    #82 · opened May 17, 2019 by Hans van der Laan   improvement
    • 1
    updated May 21, 2019
  • Show converging bounds with interval iteration
    #81 · opened May 17, 2019 by Hans van der Laan   feature mcsta
    • 1
    updated May 21, 2019
  • Overflow in arithmetic operation when running reward-bounded algorithm
    #77 · opened Apr 28, 2019 by Zhen Zhang   bug confirmed mcsta
    • 6
    updated May 01, 2019
  • Self-loop goes to state -1 in DOT export
    #76 · opened Apr 26, 2019 by Hans van der Laan   bug mcsta
    • 2
    updated Jul 08, 2019
  • Provide a counterexample when we cannot calculate a max. expected reward because Pmin < 1
    #75 · opened Apr 25, 2019 by Hans van der Laan   feature mcsta
    • 1
    updated Apr 28, 2019
  • Add contextual information to “The rate of a Markovian transition is zero or negative.” error.
    #74 · opened Apr 04, 2019 by Hans van der Laan
    • 0
    updated Apr 04, 2019
  • Add reference to QComp on Modest Sample Page
    #72 · opened Apr 04, 2019 by Hans van der Laan
    • 0
    updated Apr 04, 2019
  • Duplicate properties get skipped silently
    #71 · opened Mar 21, 2019 by Hans van der Laan
    • 3
    updated Mar 21, 2019
  • Add initial/deadlock/absorbing atomic properties to explored states
    #68 · opened Mar 13, 2019 by Hans van der Laan   feature mcsta modes
    • 0
    updated Mar 17, 2019
  • Evaluate use of Roaring Bitmaps for bitsets
    #65 · opened Mar 11, 2019 by Arnd Hartmanns   feature mcsta
    • 0
    updated Mar 11, 2019
  • State space export: include rates of Markovian transitions
    #64 · opened Mar 11, 2019 by Arnd Hartmanns   feature mcsta
    • 0
    updated Mar 11, 2019
  • Tau (τ) shown as 't' on windows
    #63 · opened Mar 07, 2019 by Hans van der Laan
    • 0
    updated Mar 07, 2019
  • Recursive process calls fails because of too strict checking
    #57 · opened Feb 21, 2019 by Hans van der Laan   improvement
    • 0
    updated Feb 25, 2019
  • mosta: dot sometimes fails with full state labels
    #55 · opened Feb 07, 2019 by Arnd Hartmanns   bug mosta
    • 0
    updated Feb 07, 2019
  • Implement support for array equality comparisons
    #54 · opened Nov 07, 2018 by Arnd Hartmanns   feature
    • 0
    updated Nov 07, 2018
  • Use NetworkCompilerHelper instead of compiling manually in motest
    #51 · opened Jul 08, 2018 by Arnd Hartmanns   improvement motest
    • 0
    updated Jul 08, 2018
  • Prev
  • 1
  • 2
  • 3
  • Next