Issues · modest / toolset · GitLab

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
Transform STA models that are actually MA into real MA models with rates

#50 · opened Jun 15, 2018 by Arnd Hartmanns feature mcsta moconv modes
- 0
updated Jun 15, 2018
Support for expected rate rewards in Markov automata model checking

#49 · opened Jun 15, 2018 by Arnd Hartmanns feature mcsta
- 0
updated Jun 15, 2018