Code

[WIP] Introduce barrier type#1373

Code

Draft

rsmmr wants to merge 5 commits intomainzeek/spicy:mainfrom topic/robin/gh-1328-barrierzeek/spicy:topic/robin/gh-1328-barrierCopy head branch name to clipboard

+954-42

Commits

Commits on Feb 10, 2023

• Add skeleton runtime class for representing barriers.

  rsmmr

  committed
  b6ef077

• Add new HILTI type for barriers.

  Show description for 62dd529
  rsmmr

  committed
  62dd529

• Add runtime type information for barrier type.

  rsmmr

  committed
  e409fb0

• Implement barrier synchronization logic.

  rsmmr

  committed
  0478459

• Expose barrier type to Spicy.

  Show description for a9c9845
  rsmmr

  committed
  a9c9845