Skip to content
GitLab
Explore
Sign in
Register
modest
toolset
toolset
Project ID: 19
Star
3
The Modest Toolset
Read more
Setting cycle-bound to 0 in modes leads to run length being exceeded immediately
#102
· created
Feb 02, 2023
by
Arnd Hartmanns
bug
confirmed
modes
0
updated
Feb 02, 2023
Re-enabling location variables and optimisation in Simulation may affect DSMC/oracles
#101
· created
Feb 02, 2023
by
Arnd Hartmanns
modes
2
updated
Feb 04, 2023
Mec in Interval Iteration
#100
· created
Sep 20, 2022
by
Ivan Hop
1
updated
Sep 20, 2022
wlan-large identified as an STA model, PTA expected
#99
· created
Jun 20, 2022
by
Valentijn Hol
0
updated
Jun 20, 2022
Assertion fail when executing mosta
#98
· created
Mar 25, 2022
by
Joost Sessink
bug
0
updated
Mar 25, 2022
Missing DisplayNames in DotExporter and PythonExporter
#95
· created
Mar 29, 2021
by
Peter Smit
improvement
mopy
mosta
0
updated
Mar 29, 2021
mosta doesn't check if a dotOutputFile is specified when validating the parameters
#94
· created
Mar 23, 2021
by
Alexander Stekelenburg
bug
mosta
0
updated
Mar 23, 2021
mosta fails when any experiment parameters are provided
#93
· created
Mar 23, 2021
by
Alexander Stekelenburg
bug
mosta
0
updated
Mar 23, 2021
Default values for constants
#91
· created
Nov 25, 2020
by
Arnd Hartmanns
feature
0
updated
Nov 25, 2020
ArgumentException on empty palt in Modest
#90
· created
Oct 16, 2020
by
Arnd Hartmanns
bug
parser
0
updated
Oct 16, 2020
Intermediate Probabilities Completely Fill Console
#86
· created
Jul 04, 2019
by
Hans van der Laan
0
updated
Jul 04, 2019
modes: RES: ad hoc specification of threshold levels and splitting
#85
· created
Jun 11, 2019
by
Carlos Esteban
feature
0
updated
Jun 11, 2019
Case study cashier.modest cannot be parsed by mcsta
#82
· created
May 17, 2019
by
Hans van der Laan
improvement
1
updated
May 21, 2019
Show converging bounds with interval iteration
#81
· created
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
· created
Apr 28, 2019
by
Zhen Zhang
bug
confirmed
mcsta
6
updated
May 01, 2019
Self-loop goes to state -1 in DOT export
#76
· created
Apr 26, 2019
by
Hans van der Laan
bug
mcsta
2
updated
Mar 24, 2021
Provide a counterexample when we cannot calculate a max. expected reward because Pmin < 1
#75
· created
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
· created
Apr 04, 2019
by
Hans van der Laan
0
updated
Apr 04, 2019
Add reference to QComp on Modest Sample Page
#72
· created
Apr 04, 2019
by
Hans van der Laan
0
updated
Apr 04, 2019
Duplicate properties get skipped silently
#71
· created
Mar 21, 2019
by
Hans van der Laan
3
updated
Mar 21, 2019
Prev
1
2
3
Next