hugr
hugr copied to clipboard
CQCL
Hierarchical Unified Graph Representation for quantum and classical programs
....instead require them all at the top level. This is intended as a preliminary to linking. Thus: * no flattening (and less name-mangling) in monomorphization * less validation (reverting #1061...
Resolve issue #2240 ## Description I have added the logic for `DynamicTopoConvexCheck` in the `convexity.rs` based on the paper (instead of leveraging `petgraph`'s `OrderMap` because it may require extra modifications...
## **Summary** This PR adds support for external subcommands in the `hugr-cli`binary, as per the feature request from issue #1343. Now when you run: ```bash hugr [args…] ``` if an...
closes #2262 The test seems fragile - i.e. somewhat lucky to have reproduced the bug in the first place - but I tried `canonicalize_nodes` on "hugr-1.hugr" and "hugr-3.hugr" (i.e. the...
This issue is to propose moving towards a system of terms in `hugr-core` similar to that of `hugr-model`. While this is a major change, it simplifies the compiler, increases its...
By "remove" I mean mutate the hugr so that the what was a non-local edge becomes many edges threaded through all container nodes between(in the hierarchy sense) the two nodes....
The bigger issue here is #2254, which this PR *does not solve*; it is a workaround. However, it at least avoids unsoundness, by running the analysis on *all* nodes in...
Found this following a failure in roundtripping. ``` #[test] fn canonicalize_nodes() { use crate::builder::{ Container, Dataflow, DataflowSubContainer, HugrBuilder, ModuleBuilder, }; use crate::extension::prelude::bool_t; use crate::ops::handle::{FuncID, NodeHandle}; use crate::types::Signature; let sig =...
## Duplicate of #2264, approved, wait to merge for breaking release. This PR adds more helpful error messages to model import to help debug errors that may occur during the...
To move `PersistentHugr` out of `hugr-core`, I need to be able to provide custom node labels to the mermaid printer. Whilst adding a field for this to `RenderConfig` would not...
