3 Pull requests merged by 2 people

• chore(deps-rs): bump the minor group with 3 updates

  #1916 merged Feb 11, 2025

• feat: Add HugrMutInternals::insert_ports

  #1915 merged Feb 10, 2025

• feat: Add Type::as_sum and SumType::variants.

  #1914 merged Feb 10, 2025

2 Pull requests opened by 2 people

• feat(hugr-llvm): Add extension points to `PreludeCodegen` for customising string lowering

  #1918 opened Feb 12, 2025

• feat: Expand SimpleReplacement API

  #1920 opened Feb 13, 2025

2 Issues opened by 1 person

• Determinism: Don't iterate over HashMaps

  #1919 opened Feb 12, 2025

• Add extension points for customising the lowering of strings in `PreludeCodegen`

  #1917 opened Feb 12, 2025

3 Unresolved conversations

Sometimes conversations happen on old items that aren’t yet closed. Here is a list of all the Issues and Pull Requests with unresolved conversations.

• chore(main): release hugr-py 0.10.3

  #1854 commented on Feb 11, 2025 • 0 new comments

• feat(hugr-passes)!: Add `UnNonLocalPass`

  #1912 commented on Feb 10, 2025 • 0 new comments

• chore: release v0.14.4

  #1913 commented on Feb 11, 2025 • 0 new comments