Code

Redesign safeguard properties#16

Code

Merged

aedart merged 5 commits intomainrsps/cmake-scripts:mainfrom

redesign-safeguard-propertiesrsps/cmake-scripts:redesign-safeguard-propertiesCopy head branch name to clipboard

Feb 11, 2025

Commits

Commits on Feb 11, 2025

• Redesign safeguard_properties() to be a macro instead of a function

  aedart

  committed
  c5d1df3

  Copy full SHA for c5d1df3

• Adapt tests for safeguard_properties()

  aedart

  committed
  0ce1664

  Copy full SHA for 0ce1664

• Refactor dependency files

  aedart

  committed
  1498ea5

  Copy full SHA for 1498ea5

• Change release notes

  aedart

  committed
  2345631

  Copy full SHA for 2345631

• Merge branch 'main' into redesign-safeguard-properties

  aedart

  committed
  f830d5c

  Copy full SHA for f830d5c