nvgrw/prob-tool

Issues

• Support boolean variables

  #10 opened 5 years ago by nvgrw
  0

• Support variables in arbitrary ranges

  #7 opened 5 years ago by nvgrw
  0

• Allow user to supply variable size

  #9 opened 5 years ago by nvgrw
  0

• Rename cmake project

  #1 opened 5 years ago by nvgrw
  0

• Support arrays

  #8 opened 5 years ago by nvgrw
  0

• Label variables/state in matrix output

  #6 opened 5 years ago by nvgrw
  1

• Export DTMC generator matrices to MATLAB foromat

  #3 opened 5 years ago by nvgrw
  1

• Indicate source variables in output

  #2 opened 5 years ago by nvgrw
  1

• monty_switch.pd breaks prob-tool

  #5 opened 5 years ago by nvgrw
  2

• Add support for switch instruction

  #4 opened 5 years ago by nvgrw
  0