Skip to content
GitLab
Projects
Groups
Snippets
Help
Loading...
Help
Help
Support
Community forum
Keyboard shortcuts
?
Submit feedback
Contribute to GitLab
Sign in / Register
Toggle navigation
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
Close sidebar
Activity
Create a new issue
Issue Boards
Open sidebar
modest
toolset
Issues
Open
41
Closed
49
All
90
New issue
Recent searches
{{formattedKey}}
{{ title }}
{{ help }}
{{name}}
@{{username}}
None
Any
{{name}}
@{{username}}
None
Any
{{name}}
@{{username}}
None
Any
{{name}}
@{{username}}
None
Any
Upcoming
Started
{{title}}
None
Any
{{title}}
None
Any
{{title}}
None
Any
{{name}}
Yes
No
Yes
No
{{title}}
{{title}}
Created date
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