Skip to content
New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

fix: subgraph boundaries with copies #440

Merged
merged 23 commits into from
Aug 29, 2023
Merged
Changes from 20 commits
Commits
Show all changes
23 commits
Select commit Hold shift + click to select a range
5b30f98
fix: subgraph boundaries with copies
lmondada Aug 22, 2023
5ce99ea
Add explicit boundary
lmondada Aug 22, 2023
0afd2b7
Merge branch 'main' into feature/subgraph-io
lmondada Aug 22, 2023
cd6e019
Add Incoming/OutgoingPorts type alias
lmondada Aug 22, 2023
55f857c
use is_empty
lmondada Aug 22, 2023
3c54810
fix docs
lmondada Aug 22, 2023
1d60c13
Merge branch 'main' into feature/subgraph-io
lmondada Aug 23, 2023
7f5902e
Update src/hugr/views/sibling.rs
lmondada Aug 25, 2023
5b921f3
Address comments
lmondada Aug 28, 2023
04e387c
feat: Change `TypeParam::USize` to `TypeParam::BoundedNat` and use in…
ss2165 Aug 24, 2023
35389cd
feat: TKET2 compatibility requirements (#450)
ss2165 Aug 24, 2023
72316e7
chore: clippy fixes for rust 1.72 (#453)
ss2165 Aug 24, 2023
8e19b72
refactor: Use an excluded upper bound instead of max log width. (#451)
cqc-alec Aug 24, 2023
de8d46f
chore: devenv update (#458)
ss2165 Aug 25, 2023
7af3e0b
chore: undo nixpkgs update (#459)
ss2165 Aug 25, 2023
5ab1a54
[new] Infer extension requirements (#330)
croyzor Aug 25, 2023
4c89f8f
Do not import HugrInternals
lmondada Aug 28, 2023
a3cc5f4
Merge branch 'main' into feature/subgraph-io
lmondada Aug 28, 2023
c5e6e4b
HugrInternals -> HugrView
lmondada Aug 28, 2023
c74b2e4
Raise NotConvex instead of InvalidBoundary
lmondada Aug 28, 2023
f5eced6
Test for NotConvex error
lmondada Aug 29, 2023
3ff22e8
Merge branch 'main' into feature/subgraph-io
lmondada Aug 29, 2023
420dd63
Test for NotConvex error (2)
lmondada Aug 29, 2023
File filter

Filter by extension

Filter by extension

Conversations
Failed to load comments.
Loading
Jump to
Jump to file
Failed to load files.
Loading
Diff view
Diff view
Loading