UoY-RoboStar/rtcg

Issues

• CMake fails to build because of order of building dependencies

  #16 opened a year ago by pefribeiro
  0

• Consider multiple input_accepted topics

  #15 opened a year ago by MattWindsor91
  0

• ROS generated code only subscribing to output channels if mentioned in trace

  #14 opened a year ago by MattWindsor91
  3

• Allow external specification of channel types in STM generation

  #8 opened 2 years ago by MattWindsor91
  1

• Resolve short-term future of rtcg

  #12 opened a year ago by MattWindsor91
  1

• Potential to remove OFF_SCRIPT case.

  #13 opened a year ago by pefribeiro
  4

• Consider timed tests

  #11 opened a year ago by MattWindsor91
  0

• Generate catkin workspaces

  #4 opened a year ago by MattWindsor91
  1

• Initial-delay channel does not cancel itself

  #9 opened a year ago by MattWindsor91
  1

• Unified convert.h

  #10 opened 2 years ago by MattWindsor91
  0

• Parse real values

  #7 opened 2 years ago by MattWindsor91
  0

• Migrate from JSON to XML for state machines

  #6 opened 2 years ago by MattWindsor91
  0

• Migrate from JSON to XML for test trees

  #5 opened 2 years ago by MattWindsor91
  0

• Implement factorisation algorithm

  #3 opened 2 years ago by MattWindsor91
  1

• Failure transitions are not being generated properly

  #1 opened 2 years ago by MattWindsor91
  0

• Traces with empty prefixes are getting the wrong verdict

  #2 opened 2 years ago by MattWindsor91
  0