Discussions

• 1 You must be logged in to vote

  💡

  Symmetric Control Flow Graphs

  zrho started Sep 12, 2024 in Ideas

  

  

  

  

  5
• 1 You must be logged in to vote

  💡

  Dead-code-elimination requires a notion of "impure" ops, how should we model this?

  doug-q started Dec 18, 2024 in Ideas

  

  

  

  

  10
• 1 You must be logged in to vote

  💡

  Module-rooted hugrs and node pointers

  aborgna-q started Nov 7, 2024 in Ideas

  

  

  

  

  7
• 1 You must be logged in to vote

  💬

  The convexity check is too expensive for simple rewrites

  aborgna-q started Nov 14, 2024 in General

  

  

  0
• 1 You must be logged in to vote

  💡

  Values and constants

  zrho started Aug 13, 2024 in Ideas

  

  

  

  

  29
• 1 You must be logged in to vote

  💬

  Polymorphism and Monomorphization

  acl-cqc started Oct 22, 2024 in General

  

  

  1
• 1 You must be logged in to vote

  💡

  Bounds and Constraints

  enhancement New feature or request breaking-change Changes that break semver

  zrho started Oct 7, 2024 in Ideas

  

  

  11
• 1 You must be logged in to vote

  💡

  HUGR contains two languages

  zrho started Aug 8, 2024 in Ideas

  

  

  2
• 1 You must be logged in to vote

  📜

  Eq TypeBound should be removed; Affine could be added.

  ss2165 started Jul 15, 2024 in Specification

  

  

  

  

  10
• 1 You must be logged in to vote

  💡

  [hugr-py] Avoid overriding __init__() for dataclasses?

  cqc-alec started Jul 4, 2024 in Ideas

  

  

  

  

  5
• 1 You must be logged in to vote

  💡

  A system of "Interfaces"

  ss2165 started Feb 20, 2024 in Ideas

  

  

  

  

  7
• 1 You must be logged in to vote

  💡

  Extensions should be first class

  enhancement New feature or request spec Issues to do with the specification document(s) breaking-change Changes that break semver

  zrho started Jun 4, 2024 in Ideas

  

  

  

  

  8
• 1 You must be logged in to vote

  📜

  Declarative extensions schema

  enhancement New feature or request spec Issues to do with the specification document(s)

  aborgna-q started Feb 20, 2024 in Specification

  

  

  0
• 1 You must be logged in to vote

  📜

  How to fix up signature of load_constant introduced by InsertConstIgnore

  cqc-alec started May 19, 2023 in Specification

  

  

  3
• 1 You must be logged in to vote

  📜

  Requirements for collections extensions

  mark-koch started Nov 28, 2023 in Specification

  

  

  1
• 1 You must be logged in to vote

  📜

  Define some metadata structure

  aborgna-q started Jul 13, 2023 in Specification

  

  

  

  

  5
• 1 You must be logged in to vote

  💡

  Extension-associated rewrites

  ss2165 started Nov 23, 2023 in Ideas

  

  

  0
• 1 You must be logged in to vote

  📜

  Should CallIndirect be in core hugr spec?

  cqc-alec started Jun 11, 2023 in Specification

  

  

  

  

  4