Contracts Lite Vendor

ROS 2 wrapper for the Contracts Lite project.

Installation

For ROS 2 Foxy:

$ sudo apt install ros-foxy-contracts-lite-vendor

For the latest version, clone this repo into your workspace.

Usage

To use the library under ROS, add a package dependency for contracts_lite_vendor and then use as a normal library. For further information, see:

• https://github.com/ros-safety/contracts_lite

Changelog for package contracts_lite_vendor

0.5.0 (2021-02-12)

• Library update: Add contract types (#14)
  • rename contract_types.hpp to operators.hpp
  • edit testing instructions in readme
  • add helper types and tests
  • update documentation
  • add requirements docs
  • remove assertions.hpp and scalar_flicker.hpp; too specific for this library

0.4.1 (2020-10-26)

• Vendor package update
  • Add install instructions to README (#8)
• Library update
  • Add missing inclue, re-arrange move statement (#13)
  • Add note clarifying 'audit' term (#12)
  • Add basic requirements (#10)
  • Prettier joining of comments (#9)
  • Add contact info to README (#8)
  • Enforce that audit macros assume ownership of ReturnStatus (#6)

0.4.0 (2020-09-21)

• Library update: (#5)
  • Move-optimize comment string handling
  • Make string serializer for contract violation objects static
  • Move-optimize return status object in enforcement macro
  • Add CONTRACT_COMMENT macro and update readme

0.3.3 (2020-09-16)

• Library update: (#4)
  • Make includes more consistent
  • Use the gcc_7x to_string function
• Contributors: Jeffrey Kane Johnson

0.3.2 (2020-09-10)

• Delete .gitlab-ci.yml (#3)
• point to github repo, bump version
• Add link to original contracts_lite project in readme (#2)
• Contributors: Jeffrey Kane Johnson

0.3.1 (2020-08-29)

• update to 0.3.1: Replace '+' operator for ReturnStatus types with '&&'; add '||' operator
• Contributors: Jeffrey Kane Johnson

0.2.0 (2020-08-17)

• update contracts_lite to 0.2.0
• Contributors: Jeffrey Kane Johnson