Code

Port barrier tests from Lift#220

Code

Merged

Bastacyclop merged 4 commits intomainrise-lang/shine:mainfrom barrier-tests-from-liftrise-lang/shine:barrier-tests-from-liftCopy head branch name to clipboardFeb 17, 2022

+631-11

Commits

Commits on Feb 3, 2022

• Port barrier tests from Lift

  Bastacyclop

  committed
  82313c9

Commits on Feb 8, 2022

• additionnal tests

  Bastacyclop

  committed
  e621de7

Commits on Feb 17, 2022

• Merge branch 'main' into barrier-tests-from-lift

  johanneslenfers

  committed
  693493b

• Merge branch 'main' into barrier-tests-from-lift

  Bastacyclop

  authored
  3b1c02b