CQCL/hugr

Issues

• Implement proto/buffer based serialisation for subset of model and re-run benchmarks.

  #1453 opened 18 days ago
  0

• Include and load serialized std extensions in hugr-py

  #1450 opened 17 days ago
  1

• Make logic operations just binary

  #1448 opened 18 days ago
  1

• feat(hugr-py): Make `_DfBase` and `_DefinitionBuilder` public

  #1441 opened 17 days ago
  0

• Create benchmarks for current serialisation.

  #1434 opened 22 days ago
  0

• HUGR Model and binary serialisation format.

  #1433 opened 24 days ago
  0

• CLI warnings to say extensions expecting custom binary will be ignored (and cache used).

  #1432 opened 24 days ago
  0

• Warning/log system for e.g. failed extension resolution

  #1426 opened 25 days ago
  0

• Mismatched serialisation of Consts between rust and python

  #1424 opened 25 days ago
  0

• Add `Xor` to the logic extension

  #1418 opened a month ago
  0

• Resolve serialised types/ops to extensions in python

  #1412 opened 25 days ago
  0

• BasicBlock exit nodes should not be `OpTag::DataflowParent`s

  #1408 opened a month ago
  0

• Pure-python hugr renderer

  #1407 opened 17 days ago
  1

• Tracking: CFG Structuring

  #1392 opened a month ago
  0

• Update spec regarding "Package" behaviour

  #1388 opened a month ago
  0

• `SignatureFunc::static_params` is untested - may be bug

  #1375 opened a month ago
  0

• Define user facing python Extension classes.

  #1374 opened 25 days ago
  0

• Use row variables for prelude panic op

  #1373 opened 11 days ago
  1

• test(hugr-py): add test for TypeBound.join()

  #1365 opened a month ago
  0

• Add validation config to skip cached signature checking

  #1363 opened a month ago
  0

• Remove `OpaqueOp` (used only for serialisation)

  #1362 opened 24 days ago
  0

• Add "requires binary" flag to opdef signatures.

  #1361 opened a month ago
  3

• Serialisation schema for extensions.

  #1360 opened a month ago
  0

• Allow hugr cli to accept hugr + extension package

  #1359 opened a month ago
  0

• Define schema for "package" (HUGRS + extensions)

  #1358 opened a month ago
  0

• Add versions to serialised extensions

  #1357 opened a month ago
  0

• Rename TypeBound::Any to Linear

  #1356 opened a month ago
  0

• Serialisation is broken

  #1353 opened a month ago
  0

• Remove `TypeBound::Eq`

  #1351 opened a month ago
  0

• CI does not run when the base branch of a PR changes

  #1348 opened a month ago
  0

• Add a pass to check whether there are any non local edges

  #1346 opened a month ago
  0

• All ops and types need to belong to a loaded extension declaration.

  #1344 opened 24 days ago
  1

• feat(hugr-cli): call `hugr-<sub>` path when `hugr <sub>` invoked

  #1343 opened a month ago
  0

• Put declarative module behind optional feature

  #1340 opened a month ago
  0

• Configuration/warnings for Opaque ops and types (not unconfigurable errors)

  #1335 opened 24 days ago
  1

• ci: Merge `ci-rs.yml` and `ci-py.yml` so the latter can re-use `hugr-cli`

  #1333 opened 2 months ago
  0

• add `impl Hash for Type`.

  #1329 opened a month ago
  0

• Implement `From<Signature> for PolyFuncTypeRV`

  #1325 opened 2 months ago
  3

• Unwrap panic on `SimpleReplace`

  #1323 opened 2 months ago
  0

• Replace the existing dummy constant folder with a dataflow analysis

  #1322 opened 2 months ago
  0

• Add `ptr` extension

  #1321 opened a month ago
  0

• Fill out array ops

  #1320 opened 9 days ago
  2

• Add metadata support to `hugr-py`

  #1319 opened 25 days ago
  0

• Remaining bits of builder frontend for inference

  #1318 opened a month ago
  0

• `resolve_opaque_op` fails when `OpaqueOp` does not explicitly require it's own extension.

  #1315 opened 2 months ago
  1

• CLI subcommands

  #1311 opened 2 months ago
  1

• `CustomTypeArg` should hold a `Value`

  #1308 opened a month ago
  6

• Add compression/decompression to serialisation

  #1307 opened 2 months ago
  1

• Python tests failing

  #1301 opened 2 months ago
  1

• NotConvex error on SiblingSubgraph with multiports

  #1294 opened 2 months ago
  0