Code

chore!: Update hugr to 0.8.0#454

Code

Merged

aborgna-q merged 32 commits intomainCQCL/guppylang:mainfrom ab/update-hugrCQCL/guppylang:ab/update-hugrCopy head branch name to clipboardSep 6, 2024

+3,317-1,019

Commits

Commits on Sep 5, 2024

• Use hugr-cli for validation

  aborgna-q

  committed
  fa29391

  Copy full SHA for fa29391

• Temporarily disable tests that require extension definitions

  aborgna-q

  committed
  1d98c65

  Copy full SHA for 1d98c65

• Downgrade dependencies used for execute_llvm

  aborgna-q

  committed
  51a0f4d

  Copy full SHA for 51a0f4d

• chore!: Update to hugr 0.12

  aborgna-q

  committed
  a502bf8

  Copy full SHA for a502bf8

• Update deps (with git targets) in subprojects

  aborgna-q

  committed
  9fd6b10

  Copy full SHA for 9fd6b10

• Use Lists & arrays definitions from hugr

  aborgna-q

  committed
  d6e5e39

  Copy full SHA for d6e5e39

• guppylang extension + partial op

  aborgna-q

  committed
  bdfc5a5

  Copy full SHA for bdfc5a5

• Use hugr defs in the builtins

  aborgna-q

  committed
  78973d5

  Copy full SHA for 78973d5

• Ignore list tests, fix some small bugs

  aborgna-q

  committed
  4d1e12d

  Copy full SHA for 4d1e12d

• Add an "guppylang.unsupported" op, use it for WIP builtins

  aborgna-q

  committed
  f25cca8

  Copy full SHA for f25cca8

• Compile modules to Packages instead of bare hugrs

  aborgna-q

  committed
  d77c384

  Copy full SHA for d77c384

• Use hugr-cli for validation

  aborgna-q

  committed
  f38e9f0

  Copy full SHA for f38e9f0

• Fix guppy extension signatures

  aborgna-q

  committed
  21b9623

  Copy full SHA for 21b9623

• Unskip tests

  aborgna-q

  committed
  37d6a19

  Copy full SHA for 37d6a19

• Hardcode tket2 extension definition jsons

  aborgna-q

  committed
  b76c1e2

  Copy full SHA for b76c1e2

• Fix signature of partial application

  aborgna-q

  committed
  bad54bd

  Copy full SHA for bad54bd

• All test passing

  aborgna-q

  committed
  5c68b01

  Copy full SHA for 5c68b01

• Unpin hugr

  aborgna-q

  committed
  f2bd5bc

  Copy full SHA for f2bd5bc

• Unskip tests with the new validator

  aborgna-q

  committed
  b711ea6

  Copy full SHA for b711ea6

• Use hugr array ops

  aborgna-q

  committed
  5ce13a2

  Copy full SHA for 5ce13a2

• Fix some array op errors

  aborgna-q

  committed
  429a9b2

  Copy full SHA for 429a9b2

• Cleanup diff

  aborgna-q

  committed
  4040d88

  Copy full SHA for 4040d88

• Go back to custom array op compilers

  aborgna-q

  committed
  c4c69fc

  Copy full SHA for c4c69fc

• Use published tket2

  aborgna-q

  committed
  c2fe1b1

  Copy full SHA for c2fe1b1

• Organise the modules inside .prelude._internal

  aborgna-q

  committed
  531393c

  Copy full SHA for 531393c

Commits on Sep 6, 2024

• Use FunctionType.to_hugr()

  

  Agustin Borgna

  committed
  f30e2d5

  Copy full SHA for f30e2d5

• s/int_t(6)/INT_T/

  

  Agustin Borgna

  committed
  44a6594

  Copy full SHA for 44a6594

• Drop duplicated list_elem_type

  

  Agustin Borgna

  committed
  1459a43

  Copy full SHA for 1459a43

• Make list_new elem type param required

  

  Agustin Borgna

  committed
  c77c3ee

  Copy full SHA for c77c3ee

• Drop TOD

  

  Agustin Borgna

  committed
  36d8d22

  Copy full SHA for 36d8d22

• More comments and typos

  

  Agustin Borgna

  committed
  52cbf0d

  Copy full SHA for 52cbf0d

• Merge remote-tracking branch 'origin/main' into ab/update-hugr

  

  Agustin Borgna

  committed
  48cf387

  Copy full SHA for 48cf387