Explore projects

Labs for TDDC73: Interaktionsprogrammering. (2024)

Version for noetic.

A version of the tool ZAAMA which is adapted to be able to verify cache coherence protocols with trace filters.

Fixed messages and services definitions from dji_osdk_ros. Plus a mapping file. And a script to generate these files.

The problem with the original definitions is that they use characters that are not allowed in constants and firldname in ROS2.