chore: release v0.14.1

[hugrbot]

🤖 New release

• hugr: 0.14.0 -> 0.14.1 (✓ API compatible changes)
• hugr-core: 0.14.0 -> 0.14.1 (✓ API compatible changes)
• hugr-llvm: 0.14.0 -> 0.14.1 (✓ API compatible changes)
• hugr-passes: 0.14.0 -> 0.14.1 (✓ API compatible changes)
• hugr-cli: 0.14.0 -> 0.14.1 (✓ API compatible changes)

Changelog

hugr

0.14.0 - 2024-12-16

This release includes a long list of breaking changes that simplify the API, specially around
extensions and extension registry management.

Extension definitions are now tracked by each operation and type inside the hugr, so there is no
need to pass around extension registries any more.

⚠ BREAKING CHANGES

Core

• The LoadFunction::signature field has been removed. Replaced with DataflowOpTrait::signature().
• Types which implement AsRef - both library ones such as Rc and custom ones - no longer get a blanket impl of HugrView. Workaround by manually calling as_ref() and using the &Hugr yourself.
• Removed Array type variant from the serialization format.
• Optrait now requires Sized and Clone and is no longer object safe.
• DataflowOptrait now requires Sized and has an additional required method substitute.
• ::extension::resolve operations now use WeakExtensionRegistryes.
• ExtensionRegistry and Package now wrap Extensions in Arcs.
• Renamed OpDef::extension and TypeDef::extension to extension_id. extension now returns weak references to the Extension defining them.
• Extension::with_reqs moved to set_reqs, which takes &mut self instead of self.
• Extension::add_type and Extension::add_op now take an extra parameter. See docs for example usage.
• ExtensionRegistry::register_updated and register_updated_ref are no longer fallible.
• Removed CustomType::new_simple. Custom types can no longer be const-constructed.
• Added init_signature and extension_ref methods to the MakeOpDef trait.
• Redefined the const types in the prelude to generator functions.
• Removed resolve_opaque_op and resolve_extension_ops. Use Hugr::resolve_extension_defs instead.
• Removed ExtensionRegistry::try_new. Use new instead, and call ExtensionRegistry::validate to validate.
• ExtensionSet::insert and singleton take extension ids by value instead of cloning internally.
• Removed update_validate. The hugr extensions should be resolved at load time, so we can use validate instead.
• The builder finish_hugr function family no longer takes a registry as parameter, and the _prelude variants have been removed.
• extension_reqs field in FunctionType and Extension renamed to runtime_reqs.
• Removed the extension registry argument from validate calls.
• Removed the extension registry argument from operation instantiation methods.
• Removed most extension-specific test registries. Use EMPTY_REG, PRELUDE_REGISTRY, or STD_REG instead.

Extensions

• Array scan and repeat ops get an additional type parameter specifying the extension requirements of their input functions. Furthermore, repeat is no longer part of ArrayOpDef but is instead specified via a new ArrayScan struct.
• collections extension renamed to collections.list
• Array type and operations have been moved out of prelude and into a new collections.array extension.

Passes

• ConstantFoldPass is no longer UnwindSafe, RefUnwindSafe, nor Copy.
• fold_leaf_op and find_consts have been removed.
• ConstantFoldPass::new function removed. Instead use ConstantFoldPass::default.
• Variant ConstFoldError::SimpleReplacementError was removed.

Bug Fixes

• hierarchical simple replacement using insert_hugr (fix: hierarchical simple replacement using insert_hugr #1718)
• hugr-py not adding extension-reqs on custom ops (fix: hugr-py not adding extension-reqs on custom ops #1759)
• [breaking] Replace LoadFunction::signature with LoadFunction::instantiation (fix!: Replace LoadFunction::signature with LoadFunction::instantiation #1756)
• Resolve types in Values and custom consts (fix: Resolve types in Values and custom consts #1779)
• allow disconnected outputs in SiblingSubgraph::from_node (fix: allow disconnected outputs in SiblingSubgraph::from_node #1769)

Documentation

• Fix comment for scan op (docs: Fix comment for scan op #1751)

New Features

• Dataflow analysis framework (feat: Dataflow analysis framework #1476)
• (hugr-passes) [breaking] Rewrite constant_fold_pass using dataflow framework (feat(hugr-passes)!: Rewrite constant_fold_pass using dataflow framework #1603)
• Export/import of JSON metadata (feat: Export/import of JSON metadata #1622)
• Add SiblingSubgraph::from_node (feat: Add SiblingSubgraph::from_node #1655)
• [breaking] Replace GATs with impl Iterator returns (RPITIT) on HugrView (feat!: Replace GATs with impl Iterator returns (RPITIT) on HugrView #1660)
• Emulate TypeBounds on parameters via constraints. (feat: Emulate TypeBounds on parameters via constraints. #1624)
• Add array repeat and scan ops (feat: Add array repeat and scan ops #1633)
• move unwrap builder to hugr core (feat: move unwrap builder to hugr core #1674)
• Lists and extension sets with splicing (feat: Lists and extension sets with splicing #1657)
• add HugrView::first_child and HugrMut::remove_subtree (feat: add HugrView::first_child and HugrMut::remove_subtree #1721)
• Lower collections extension (feat: Lower collections extension #1720)
• [breaking] impl HugrView for any &(mut) to a HugrView (feat!: impl HugrView for any &(mut) to a HugrView #1678)
• [breaking] Make array repeat and scan ops generic over extension reqs (feat!: Make array repeat and scan ops generic over extension reqs #1716)
• Print []+[] as Bool and [] as Unit in user-facing messages (feat: Print []+[] as Bool and [] as Unit in user-facing messages #1745)
• Add PartialEq impls for FuncTypeBase and Cow<FuncTypeBase> (feat: Add PartialEq impls for FuncTypeBase and Cow<FuncTypeBase> #1762)
• [breaking] Rename collections extension to collections.list (feat!: Rename collections extension to collections.list #1764)
• add is_ variant methods to EdgeKind (feat: add is_ variant methods to EdgeKind #1768)
• [breaking] Move arrays from prelude into new extension (feat!: Move arrays from prelude into new extension #1770)
• Add LoadNat operation to enable loading generic BoundedNats into runtime values (feat: Add LoadNat operation to enable loading generic BoundedNats into runtime values #1763)
• [breaking] Add monomorphization pass (feat!: Add monomorphization pass #1733)
• Update extension pointers in customConsts (feat: Update extension pointers in customConsts #1780)
• [breaking] Use registries of Weak<Extension>s when doing resolution (feat!: Use registries of Weak<Extension>s when doing resolution  #1781)
• [breaking] Resolve extension references inside the extension themselves (feat!: Resolve extension references inside the extension themselves #1783)
• [breaking] Remove ExtensionRegistry args in UnwrapBuilder and ListOp (feat!: Remove ExtensionRegistry args in UnwrapBuilder and ListOp #1785)
• export llvm test utilities under llvm-test feature (feat: export llvm test utilities under llvm-test feature #1677)
• [breaking] Share Extensions under Arcs (feat!: Share Extensions under Arcs #1647)
• [breaking] OpDefs and TypeDefs keep a reference to their extension (feat!: OpDefs and TypeDefs keep a reference to their extension #1719)
• [breaking] Have CustomTypes reference their Extension definition (feat!: Have CustomTypes reference their Extension definition #1723)
• [breaking] Resolve OpaqueOps and CustomType extensions (feat!: Resolve OpaqueOps and CustomType extensions  #1735)
• [breaking] used_extensions calls for both ops and signatures (feat!: used_extensions calls for both ops and signatures #1739)
• [breaking] Hugrs now keep a ExtensionRegistry with their requirements (feat!: Hugrs now keep a ExtensionRegistry with their requirements #1738)
• [breaking] rename extension_reqs to runtime_reqs (feat!: rename extension_reqs to runtime_reqs #1776)
• [breaking] Don't require explicit extension registers for validation (feat!: Don't require explicit extension registers for validation #1784)

Performance

• Return Cow<Signature> where possible (perf: Return Cow<Signature> where possible #1743)
• Faster singleton SiblingSubgraph construction (perf: Faster singleton SiblingSubgraph construction #1654)

Refactor

• avoid hugr clone in simple replace (refactor: avoid hugr clone in simple replace #1724)
• [trivial] replace.rs: use HugrView::first_child (refactor: [trivial] replace.rs: use HugrView::first_child  #1737)

hugr-core

0.14.0 - 2024-12-16

This release includes a long list of breaking changes that simplify the API, specially around
extensions and extension registry management.

Extension definitions are now tracked by each operation and type inside the hugr, so there is no
need to pass around extension registries any more.

⚠ BREAKING CHANGES

Core

• The LoadFunction::signature field has been removed. Replaced with DataflowOpTrait::signature().
• Types which implement AsRef - both library ones such as Rc and custom ones - no longer get a blanket impl of HugrView. Workaround by manually calling as_ref() and using the &Hugr yourself.
• Removed Array type variant from the serialization format.
• Optrait now requires Sized and Clone and is no longer object safe.
• DataflowOptrait now requires Sized and has an additional required method substitute.
• ::extension::resolve operations now use WeakExtensionRegistryes.
• ExtensionRegistry and Package now wrap Extensions in Arcs.
• Renamed OpDef::extension and TypeDef::extension to extension_id. extension now returns weak references to the Extension defining them.
• Extension::with_reqs moved to set_reqs, which takes &mut self instead of self.
• Extension::add_type and Extension::add_op now take an extra parameter. See docs for example usage.
• ExtensionRegistry::register_updated and register_updated_ref are no longer fallible.
• Removed CustomType::new_simple. Custom types can no longer be const-constructed.
• Added init_signature and extension_ref methods to the MakeOpDef trait.
• Redefined the const types in the prelude to generator functions.
• Removed resolve_opaque_op and resolve_extension_ops. Use Hugr::resolve_extension_defs instead.
• Removed ExtensionRegistry::try_new. Use new instead, and call ExtensionRegistry::validate to validate.
• ExtensionSet::insert and singleton take extension ids by value instead of cloning internally.
• Removed update_validate. The hugr extensions should be resolved at load time, so we can use validate instead.
• The builder finish_hugr function family no longer takes a registry as parameter, and the _prelude variants have been removed.
• extension_reqs field in FunctionType and Extension renamed to runtime_reqs.
• Removed the extension registry argument from validate calls.
• Removed the extension registry argument from operation instantiation methods.
• Removed most extension-specific test registries. Use EMPTY_REG, PRELUDE_REGISTRY, or STD_REG instead.

Extensions

• Array scan and repeat ops get an additional type parameter specifying the extension requirements of their input functions. Furthermore, repeat is no longer part of ArrayOpDef but is instead specified via a new ArrayScan struct.
• collections extension renamed to collections.list
• Array type and operations have been moved out of prelude and into a new collections.array extension.

Bug Fixes

• hierarchical simple replacement using insert_hugr (fix: hierarchical simple replacement using insert_hugr #1718)
• hugr-py not adding extension-reqs on custom ops (fix: hugr-py not adding extension-reqs on custom ops #1759)
• [breaking] Replace LoadFunction::signature with LoadFunction::instantiation (fix!: Replace LoadFunction::signature with LoadFunction::instantiation #1756)
• allow disconnected outputs in SiblingSubgraph::from_node (fix: allow disconnected outputs in SiblingSubgraph::from_node #1769)
• Resolve types in Values and custom consts (fix: Resolve types in Values and custom consts #1779)

Documentation

• Fix comment for scan op (docs: Fix comment for scan op #1751)

New Features

• Export/import of JSON metadata (feat: Export/import of JSON metadata #1622)
• Add SiblingSubgraph::from_node (feat: Add SiblingSubgraph::from_node #1655)
• [breaking] Replace GATs with impl Iterator returns (RPITIT) on HugrView (feat!: Replace GATs with impl Iterator returns (RPITIT) on HugrView #1660)
• Emulate TypeBounds on parameters via constraints. (feat: Emulate TypeBounds on parameters via constraints. #1624)
• Add array repeat and scan ops (feat: Add array repeat and scan ops #1633)
• move unwrap builder to hugr core (feat: move unwrap builder to hugr core #1674)
• [breaking] Share Extensions under Arcs (feat!: Share Extensions under Arcs #1647)
• Lists and extension sets with splicing (feat: Lists and extension sets with splicing #1657)
• [breaking] OpDefs and TypeDefs keep a reference to their extension (feat!: OpDefs and TypeDefs keep a reference to their extension #1719)
• add HugrView::first_child and HugrMut::remove_subtree (feat: add HugrView::first_child and HugrMut::remove_subtree #1721)
• Lower collections extension (feat: Lower collections extension #1720)
• [breaking] Have CustomTypes reference their Extension definition (feat!: Have CustomTypes reference their Extension definition #1723)
• [breaking] Resolve OpaqueOps and CustomType extensions (feat!: Resolve OpaqueOps and CustomType extensions  #1735)
• [breaking] impl HugrView for any &(mut) to a HugrView (feat!: impl HugrView for any &(mut) to a HugrView #1678)
• [breaking] Make array repeat and scan ops generic over extension reqs (feat!: Make array repeat and scan ops generic over extension reqs #1716)
• Print []+[] as Bool and [] as Unit in user-facing messages (feat: Print []+[] as Bool and [] as Unit in user-facing messages #1745)
• [breaking] used_extensions calls for both ops and signatures (feat!: used_extensions calls for both ops and signatures #1739)
• [breaking] Hugrs now keep a ExtensionRegistry with their requirements (feat!: Hugrs now keep a ExtensionRegistry with their requirements #1738)
• Add PartialEq impls for FuncTypeBase and Cow<FuncTypeBase> (feat: Add PartialEq impls for FuncTypeBase and Cow<FuncTypeBase> #1762)
• [breaking] Rename collections extension to collections.list (feat!: Rename collections extension to collections.list #1764)
• add is_ variant methods to EdgeKind (feat: add is_ variant methods to EdgeKind #1768)
• [breaking] Move arrays from prelude into new extension (feat!: Move arrays from prelude into new extension #1770)
• Add LoadNat operation to enable loading generic BoundedNats into runtime values (feat: Add LoadNat operation to enable loading generic BoundedNats into runtime values #1763)
• [breaking] Add monomorphization pass (feat!: Add monomorphization pass #1733)
• [breaking] rename extension_reqs to runtime_reqs (feat!: rename extension_reqs to runtime_reqs #1776)
• Update extension pointers in customConsts (feat: Update extension pointers in customConsts #1780)
• [breaking] Use registries of Weak<Extension>s when doing resolution (feat!: Use registries of Weak<Extension>s when doing resolution  #1781)
• [breaking] Resolve extension references inside the extension themselves (feat!: Resolve extension references inside the extension themselves #1783)
• [breaking] Don't require explicit extension registers for validation (feat!: Don't require explicit extension registers for validation #1784)
• [breaking] Remove ExtensionRegistry args in UnwrapBuilder and ListOp (feat!: Remove ExtensionRegistry args in UnwrapBuilder and ListOp #1785)

Performance

• Faster singleton SiblingSubgraph construction (perf: Faster singleton SiblingSubgraph construction #1654)
• Return Cow<Signature> where possible (perf: Return Cow<Signature> where possible #1743)

Refactor

• avoid hugr clone in simple replace (refactor: avoid hugr clone in simple replace #1724)
• [trivial] replace.rs: use HugrView::first_child (refactor: [trivial] replace.rs: use HugrView::first_child  #1737)

hugr-llvm

0.13.3 - 2024-11-25

No changes - version bump to catch up with other hugr crates in repository move.

hugr-passes

0.14.0 - 2024-12-16

⚠ BREAKING CHANGES

• Updated to hugr 0.14, which includes breaking changes to the serialization format.

• ConstantFoldPass is no longer UnwindSafe, RefUnwindSafe, nor Copy.

• fold_leaf_op and find_consts have been removed.

• ConstantFoldPass::new function removed. Instead use ConstantFoldPass::default.

• Variant ConstFoldError::SimpleReplacementError was removed.

Bug Fixes

• allow disconnected outputs in SiblingSubgraph::from_node (fix: allow disconnected outputs in SiblingSubgraph::from_node #1769)

New Features

• [breaking] Replace GATs with impl Iterator returns (RPITIT) on HugrView (feat!: Replace GATs with impl Iterator returns (RPITIT) on HugrView #1660)
• [breaking] Share Extensions under Arcs (feat!: Share Extensions under Arcs #1647)
• [breaking] OpDefs and TypeDefs keep a reference to their extension (feat!: OpDefs and TypeDefs keep a reference to their extension #1719)
• [breaking] Have CustomTypes reference their Extension definition (feat!: Have CustomTypes reference their Extension definition #1723)
• [breaking] Resolve OpaqueOps and CustomType extensions (feat!: Resolve OpaqueOps and CustomType extensions  #1735)
• Dataflow analysis framework (feat: Dataflow analysis framework #1476)
• [breaking] used_extensions calls for both ops and signatures (feat!: used_extensions calls for both ops and signatures #1739)
• [breaking] Hugrs now keep a ExtensionRegistry with their requirements (feat!: Hugrs now keep a ExtensionRegistry with their requirements #1738)
• (hugr-passes) [breaking] Rewrite constant_fold_pass using dataflow framework (feat(hugr-passes)!: Rewrite constant_fold_pass using dataflow framework #1603)
• [breaking] Rename collections extension to collections.list (feat!: Rename collections extension to collections.list #1764)
• [breaking] Add monomorphization pass (feat!: Add monomorphization pass #1733)
• [breaking] rename extension_reqs to runtime_reqs (feat!: rename extension_reqs to runtime_reqs #1776)
• [breaking] Don't require explicit extension registers for validation (feat!: Don't require explicit extension registers for validation #1784)
• [breaking] Remove ExtensionRegistry args in UnwrapBuilder and ListOp (feat!: Remove ExtensionRegistry args in UnwrapBuilder and ListOp #1785)

Performance

• Faster singleton SiblingSubgraph construction (perf: Faster singleton SiblingSubgraph construction #1654)
• Return Cow<Signature> where possible (perf: Return Cow<Signature> where possible #1743)

hugr-cli

0.14.1 - 2024-12-17

New Features

• Print hugr-cli's correct version when using '--version' (feat: Print hugr-cli's correct version when using '--version' #1790)

---

This PR was generated with release-plz.

[codecov]

Codecov Report

All modified and coverable lines are covered by tests ✅

Project coverage is 86.52%. Comparing base (66745bf) to head (f238918).
Report is 1 commits behind head on main.

Additional details and impacted files

@@           Coverage Diff           @@
##             main    #1793   +/-   ##
=======================================
  Coverage   86.52%   86.52%           
=======================================
  Files         188      188           
  Lines       34205    34205           
  Branches    31076    31076           
=======================================
  Hits        29597    29597           
  Misses       2923     2923           
  Partials     1685     1685           

Flag	Coverage Δ
python	92.58% <ø> (ø)
rust	85.91% <ø> (ø)

Flags with carried forward coverage won't be shown. Click here to find out more.

☔ View full report in Codecov by Sentry.
📢 Have feedback on the report? Share it here.