utwente-fmt/dftcalc

Issues

• Missing "end:" identifier in dftcalc.cpp and dfttest.cpp

  #17 opened 9 months ago by technomage321
  2

• Non-exact calculation compiled without CADP

  #14 opened 4 years ago by kris7t
  2

• Storm output incorrectly trimmed

  #12 opened 5 years ago by hobborg
  0

• Broken support for PAND

  #13 opened 5 years ago by hobborg
  1

• MTTF header output overrides other metrics

  #5 opened 5 years ago by hobborg
  0

• Translation failure for inspected BEs with no `interval' attribute

  #11 opened 5 years ago by ennoruijters
  0

• Correctly translate transient states into CTMCs

  #10 opened 5 years ago by ennoruijters
  0

• Ensure that all automata propagate transient failures

  #9 opened 5 years ago by ennoruijters
  0

• Add 'transient' property to BEs

  #8 opened 5 years ago by ennoruijters
  0

• BE attribute "res" is ignored (feature request: implement it!)

  #6 opened 5 years ago by hobborg
  1

• DFT with failure probability 0 can fail to give results.

  #7 opened 5 years ago by ennoruijters
  0

• Smart semantics wrong activation with Shared and subtree sparers

  #4 opened 5 years ago by buschko
  1