Skip to content

hugr: v0.4.0
Compare
Choose a tag to compare
@github-actions github-actions released this 20 May 12:57
· 323 commits to main since this release
hugr-v0.4.0
0171ccd
This commit was created on GitHub.com and signed with GitHub’s verified signature.
GPG key ID: B5690EEEBB952194
Learn about vigilant mode.

Bug Fixes

  • Disallow non-finite values for ConstF64 (#1075)
  • Serialization round-trips (#948)
  • [breaking] Combine ConstIntU and ConstIntS (#974)
  • Disable serialisation tests when miri is active (#977)
  • [breaking] Serialisation schema (#968)
  • Correct constant fold for fne. (#995)
  • [breaking] Serialisation fixes (#997)
  • [breaking] OpDef serialisation (#1013)
  • NaryLogicOp constant folding (#1026)

Features

  • Add verification to constant folding (#1030)
  • Add Const::get_custom_value (#1037)
  • Add serialization schema for metadata (#1038)
  • 'Replace' rewrite returns node map (#929)
  • new methods for leaf ops (#940)
  • Add string type and print function to prelude (#942)
  • CustomOp::extension utility function (#951)
  • [breaking] Add non_exhaustive to various enums (#952)
  • Encoder metadata in serialized hugr (#955)
  • [breaking] Bring back Value (#967)
  • Add LoadFunction node (#947)
  • Add From impls for TypeArg (#1002)
  • Constant-folding of integer and logic operations (#1009)
  • [breaking] Update serialisation schema, implement CustomConst serialisation (#1005)
  • Merge basic blocks algorithm (#956)
  • [breaking] Allow panic operation to have any input and output wires (#1024)

Refactor

  • [breaking] Rename crate::ops::constant::ExtensionValue => OpaqueValue (#1036)
  • Outline hugr::serialize::test (#976)
  • [breaking] Replace SmolStr identifiers with wrapper types. (#959)
  • Separate extension validation from the rest (#1011)
  • Remove "trait TypeParametrised" (#1019)

Testing

  • Reorg OutlineCfg/nest_cfgs tests so hugr doesn't depend on algorithm (#1007)
  • Ignore tests which depend on typetag when cfg(miri) (#1051)
  • Really ignore tests which depend on typetag when cfg(miri) (#1058)
  • Proptests for round trip serialisation of Types and Ops. (#981)
  • Add a test of instantiating an extension set (#939)
  • Ignore serialisation tests when using miri (#975)
  • [breaking] Test roundtrip serialisation against strict + lax schema (#982)
  • Fix some bad assert_matches (#1006)
  • Expand test of instantiating extension sets (#1003)
  • Fix unconnected ports in extension test (#1010)
Assets 2
Loading