Code

chore: Update to hugr v0.9.0#67

Code

Merged

croyzor merged 10 commits intomainCQCL/brat:mainfrom chore/hugr-v0.9.0CQCL/brat:chore/hugr-v0.9.0Copy head branch name to clipboardDec 23, 2024

+55-38

Commits

Commits on Dec 9, 2024

• chore: Upgrade to hugr v0.7.0

  croyzor

  committed
  8de2e9e

  Copy full SHA for 8de2e9e

Commits on Dec 12, 2024

• Update extension & validator to hugr 0.8.0

  croyzor

  committed
  15a6b4f

  Copy full SHA for 15a6b4f

• Update BRAT to hugr 0.8.0

  croyzor

  committed
  e7ab743

  Copy full SHA for e7ab743

Commits on Dec 17, 2024

• Add arithmetic types extensions

  croyzor

  committed
  444f7ad

  Copy full SHA for 444f7ad

• Address review comments

  croyzor

  committed
  fb30187

  Copy full SHA for fb30187

• Cheeky lint

  croyzor

  committed
  d767e4f

  Copy full SHA for d767e4f

• Update BRAT to hugr 0.9.0

  croyzor

  committed
  492a175

  Copy full SHA for 492a175

Commits on Dec 23, 2024

• refactor: Get rid of panics

  croyzor

  committed
  8773ef5

  Copy full SHA for 8773ef5

• Merge remote-tracking branch 'origin/main' into chore/hugr-v0.9.0

  croyzor

  committed
  5d52975

  Copy full SHA for 5d52975

• cargo fmt

  croyzor

  committed
  ff90f78

  Copy full SHA for ff90f78