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

feat: PortDiff for StaticSizeCircuit #561

Draft
wants to merge 57 commits into
base: feat/badgerv2
Choose a base branch
from
Draft
Changes from 1 commit
Commits
Show all changes
57 commits
Select commit Hold shift + click to select a range
dd083ee
feat: Add StaticSizeCircuit
lmondada Aug 19, 2024
67d6d90
Add linked_op method
lmondada Aug 20, 2024
c710541
feat: Fast hashing for StaticSizeCircuit
lmondada Aug 20, 2024
e3f773d
chore: Move `pyproject.toml` to `tket2-py` (#546)
aborgna-q Aug 22, 2024
58a5015
Implement portmatching
lmondada Aug 23, 2024
dd29e3a
chore: Use portmatching pre-release
lmondada Aug 26, 2024
5038474
chore(deps-py): bump the dev group across 1 directory with 3 updates …
dependabot[bot] Aug 27, 2024
c1210cc
feat: PortDiff support
lmondada Aug 27, 2024
685b4f7
chore: Replace `poetry` with `uv` (#557)
aborgna-q Aug 27, 2024
3d32130
chore(deps-rs): bump the patch group with 2 updates (#558)
dependabot[bot] Aug 27, 2024
486fd29
Finish PortDiff impl
lmondada Aug 27, 2024
7c83ba8
feat: Extend Command::optype lifetime (#562)
lmondada Aug 28, 2024
17644ef
chore(deps-rs): bump bytemuck from 1.17.0 to 1.17.1 in the patch grou…
dependabot[bot] Sep 2, 2024
258a7c5
feat!: Update rust hugr dependency to `0.12.0`, and python hugr to `0…
aborgna-q Sep 2, 2024
8503cc9
feat: Badger on PortDiff
lmondada Sep 3, 2024
42cc82f
feat!: remove Tk2Op::AngleAdd (#567)
ss2165 Sep 3, 2024
fb2e4e0
fix: Deactivate Sentinels, check owner in SameOp predicate
lmondada Sep 3, 2024
ee4dc88
docs: Add static_circ docs
lmondada Sep 3, 2024
0147a35
chore: Upgarde to portmatching rc2
lmondada Sep 3, 2024
9d7ef43
feat: Support empty wire
lmondada Sep 3, 2024
1a617aa
feat: Update search strategy
lmondada Sep 3, 2024
a231905
feat(badger): Fix qubit order
lmondada Sep 3, 2024
62351fb
feat!: angle type no longer parametric. (#577)
ss2165 Sep 4, 2024
e6acc88
feat!: HSeries ops (#573)
ss2165 Sep 4, 2024
cc41081
feat: Better cost heuristic
lmondada Sep 4, 2024
d14631f
feat!: replace f64 with angle type for tk2 ops (#578)
ss2165 Sep 4, 2024
bf73511
feat: more angle ops (construct, deconstruct, radians, equality) (#581)
ss2165 Sep 4, 2024
06a6838
fix!: quantum extension name wrong way round (#582)
ss2165 Sep 4, 2024
6fe8807
chore: Update to portdiff v0.3 and activate salient squashing
lmondada Sep 4, 2024
eb833a4
chore: release v0.2.0 (#553)
Sep 4, 2024
d9538d3
chore(py): release tket2-py 0.3.0 (#570)
Sep 4, 2024
e3f9da1
ci: Fix incorrect wheels name on publish (#587)
aborgna-q Sep 5, 2024
f0884cc
feat!: move angle types + and ops to new "tket2.angle" extension (#591)
ss2165 Sep 5, 2024
09a7b8b
ci: Fix wheels upload on different dir (#590)
aborgna-q Sep 5, 2024
7591c08
fix: extension ops checking against incorrect name (#593)
ss2165 Sep 5, 2024
5ca29af
fix!: remove TryFrom for extension ops use `cast` (#592)
ss2165 Sep 5, 2024
dd9592f
fix: don't load angle extensions on to quantum (#597)
ss2165 Sep 5, 2024
dcc562d
feat: dataflow builder methods for angle ops (#596)
ss2165 Sep 6, 2024
cd27d46
fix: badger-optimiser produces Diff json output
lmondada Sep 6, 2024
7ac0206
feat: lowering tk2ops -> hseriesops (#579)
ss2165 Sep 6, 2024
304471b
feat: Store rewrite value in serialised format
lmondada Sep 9, 2024
9358142
feat: Enable compile-rewriter
lmondada Sep 9, 2024
9ed57c1
chore: Upgrade portdiff to v0.3.1
lmondada Sep 9, 2024
58e1626
chore(deps-rs): bump the minor group with 2 updates (#600)
dependabot[bot] Sep 9, 2024
d9deacb
chore(deps-rs): bump the patch group with 3 updates (#599)
dependabot[bot] Sep 9, 2024
191c86f
WIP Python bindings for StaticSizeCircuit
lmondada Sep 10, 2024
aed9d73
Merge branch 'main' into feat/portdiff
ABorgna Sep 10, 2024
f537bb5
Solve some warnings
lmondada Sep 10, 2024
7c5de17
Use portdiff's MergeStrategy
lmondada Sep 9, 2024
4ba3e8c
just fix
ABorgna Sep 10, 2024
3b61397
Wrap PortDiffGraph
ABorgna Sep 10, 2024
34c70da
Add python all_edges
lmondada Sep 11, 2024
469a5f2
Working badgerv2 prototype
lmondada Sep 20, 2024
1cee039
Update portdiff
lmondada Sep 20, 2024
970e782
feat: PortDiff rendering in jupyter
lmondada Sep 20, 2024
b99fa90
docs: Add badger v2 demo
lmondada Sep 20, 2024
52d33b2
Use https
lmondada Sep 23, 2024
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
2 changes: 1 addition & 1 deletion tket2/src/circuit/command.rs
Original file line number Diff line number Diff line change
@@ -42,7 +42,7 @@ impl<'circ, T: HugrView> Command<'circ, T> {

/// Returns the [`OpType`] of the command.
#[inline]
pub fn optype(&self) -> &OpType {
pub fn optype(&self) -> &'circ OpType {
self.circ.hugr().get_optype(self.node)
}