feat: Add tket2 feature and lowerings for tket2.rotation extension (

#100) Co-authored-by: Alec Edgington <[email protected]>
CQCL · Sep 16, 2024 · bcbd311 · bcbd311
1 parent 99ad943
commit bcbd311
Show file tree

Hide file tree

Showing 9 changed files with 1,079 additions and 13 deletions.
diff --git a/Cargo.lock b/Cargo.lock
diff --git a/Cargo.toml b/Cargo.toml
@@ -16,13 +16,15 @@ keywords = ["Quantum", "Quantinuum"]
 categories = ["compilers"]
 
 [features]
-default = ["llvm14-0"]
+default = ["llvm14-0", "tket2"]
 llvm14-0 = ["dep:llvm-sys-140", "inkwell/llvm14-0"]
+tket2 = ["dep:tket2"]
 
 [dependencies]
 inkwell = { version = "0.4.0", default-features=false }
 llvm-sys-140 = { package = "llvm-sys", version = "140.1.3", optional = true}
 hugr = "0.12.0"
+tket2 = { version = "0.4.0", optional = true }
 anyhow = "1.0.83"
 itertools = "0.12.1"
 delegate = "0.12.0"
@@ -36,6 +38,8 @@ rstest = "0.19.0"
 portgraph = "0.12.1"
 pathsearch = "0.2.0"
 serde_json = "1.0.117"
+serde = "*"
+typetag = "*"
 
 [profile.dev.package]
 insta.opt-level = 3

diff --git a/src/custom.rs b/src/custom.rs
@@ -26,6 +26,7 @@ pub mod float;
 pub mod int;
 pub mod logic;
 pub mod prelude;
+pub mod rotation;
 
 /// The extension point for lowering HUGR Extensions to LLVM.
 pub trait CodegenExtension<'c, H> {