issues
search
nvgrw
/
prob-tool
0
stars
0
forks
source link
issues
Newest
Newest
Most commented
Recently updated
Oldest
Least commented
Least recently updated
Support boolean variables
#10
nvgrw
opened
4 years ago
0
Allow user to supply variable size
#9
nvgrw
opened
4 years ago
0
Support arrays
#8
nvgrw
opened
4 years ago
0
Support variables in arbitrary ranges
#7
nvgrw
closed
4 years ago
0
Label variables/state in matrix output
#6
nvgrw
closed
4 years ago
1
monty_switch.pd breaks prob-tool
#5
nvgrw
closed
4 years ago
2
Add support for switch instruction
#4
nvgrw
opened
4 years ago
0
Export DTMC generator matrices to MATLAB foromat
#3
nvgrw
closed
4 years ago
1
Indicate source variables in output
#2
nvgrw
closed
4 years ago
1
Rename cmake project
#1
nvgrw
closed
4 years ago
0