chore(tket2): release v0.1.0-alpha.1 (#357)

## 🤖 New release
* `tket2`: 0.1.0-alpha.1

<details><summary><i><b>Changelog</b></i></summary><p>

## `tket2`
<blockquote>

##
[0.0.0-alpha.1](https://github.com/CQCL/tket2/releases/tag/tket2-v0.0.0-alpha.1)
- 2024-05-24

### Bug Fixes
- Check for rewrite composition in badger
([#255](#255))
- induced cycles in depth optimisation
([#264](#264))
- Encode opaque symbolic constants
([#273](#273))
- Correctly detect custom ops by name
([#281](#281))
- Track input linear units in `Command`
([#310](#310))
- Don't convert tket2 measurements into tket1 ops
([#331](#331))

### Documentation
- Expand the main module and README docs
([#298](#298))

### New Features
- add angle type to tket2 extension
([#231](#231))
- bindings for circuit cost and hash
([#252](#252))
- Implement `PyErr` conversion locally in `tket2-py`
([#258](#258))
- Add a "progress timeout" to badger
([#259](#259))
- [**breaking**] Add lexicographic cost
([#270](#270))
- rewrite tracing ([#267](#267))
- Move pre/post rewrite cost to the RewriteStrategy API
([#276](#276))
- [**breaking**] Lexicographic cost fn
([#277](#277))
- Return rewrite strategies as a generator
([#275](#275))
- add qalloc, qfree, reset ops
([#284](#284))
- [**breaking**] Support any ops in portmatching
([#293](#293))
- Add `PatternMatch::nodes` and `subcircuit` + matching example
([#299](#299))
- Use `IncomingPort` and `OutgoingPort` instead of `Port` where
possible. ([#296](#296))
- expose Tk2Op name ([#307](#307))

### Refactor
- Move tket2 code to a workspace member
([#210](#210))
- Restructure the python code
([#211](#211))
- s/taso/badger/ ([#228](#228))
- Move python bindings from `tket2` to `tket2-py`
([#235](#235))
- rename t2op ([#256](#256))

### Testing
- Add small parallel badger test
([#237](#237))
- fix non-deterministic badger test
([#245](#245))
</blockquote>


</p></details>

---
This PR was generated with
[release-plz](https://github.com/MarcoIeni/release-plz/).

---------

Co-authored-by: github-actions[bot] <41898282+github-actions[bot]@users.noreply.github.com>
Co-authored-by: Agustin Borgna <agustin.borgna@quantinuum.com>

Cargo.toml

@@ -7,12 +7,11 @@ members = ["tket2", "tket2-py", "compile-rewriter", "badger-optimiser"]
 default-members = ["tket2"]
 
 [workspace.package]
-version = "0.0.0-alpha.1"
 rust-version = "1.75"
 edition = "2021"
 homepage = "https://github.com/CQCL/tket2"
-license-file = "LICENCE"
-# authors
+repository = "https://github.com/CQCL/tket2"
+license = "Apache-2.0"
 
 [workspace.lints.rust]
 missing_docs = "warn"

README.md

@@ -1,73 +1,30 @@
 # tket2: The Hardware Agnostic Quantum Compiler
 
-[![build_status][]](https://github.com/CQCL-DEV/tket2/actions)
-![msrv][]
+[![build_status][]](https://github.com/CQCL/tket2/actions)
 [![codecov][]](https://codecov.io/gh/CQCL/tket2)
 
-  [build_status]: https://github.com/CQCL-DEV/hugr/workflows/Continuous%20integration/badge.svg?branch=main
-  [msrv]: https://img.shields.io/badge/rust-1.75.0%2B-blue.svg
-  [codecov]: https://img.shields.io/codecov/c/gh/CQCL/tket2?logo=codecov
-
 TKET2 is an open source quantum compiler developed by Quantinuum. Central to
 TKET2's design is its hardware agnosticism which allows researchers and
 quantum software developers to take advantage of its state of the art
 compilation for many different quantum architectures.
 
-Circuits are represented using the HUGR IR defined in the
-[hugr] crate. TKET2 augments Hugr with
-* The [`Circuit`] trait, providing a high-level interface for working with HUGRs representing quantum circuits
-* a HUGR extension with quantum operations
-* A composable pass system for optimising circuits
-* A number of built-in rewrite utilities and passes for common optimisations
-
-This crate is interoperable with [`tket1`] circuits via its
-serial encoding.
-
-  [hugr]: https://lib.rs/crates/hugr
-  [`Circuit`]: https://docs.rs/tket2/latest/tket2/trait.Circuit.html
-  [`tket1`]: https://github.com/CQCL/tket
-
-# Using TKET2
-
-Defining a circuit in TKET2 is currently done by using the low-level [hugr Builder] API, or by loading tket1 circuits from JSON files.
-
-  [hugr Builder]: https://docs.rs/hugr/latest/hugr/builder/index.html
-
-```rust
-use tket2::{Circuit, Hugr};
+`tket2` is available as a rust crate on [crates.io](https://crates.io/crates/tket2) and as
+a python package on [PyPI](https://pypi.org/project/tket2/).
 
-// Load a tket1 circuit.
-let mut circ: Hugr = tket2::json::load_tk1_json_file("test_files/barenco_tof_5.json").unwrap();
-
-assert_eq!(circ.qubit_count(), 9);
-assert_eq!(circ.num_gates(), 170);
-
-// Traverse the circuit and print the gates.
-for command in circ.commands() {
-    println!("{:?}", command.optype());
-}
-
-// Render the circuit as a mermaid diagram.
-println!("{}", circ.mermaid_string());
-
-// Optimise the circuit.
-tket2::passes::apply_greedy_commutation(&mut circ);
-```
-
-## Features
-
-- `portmatching`
-  Enables pattern matching using the `portmatching` crate.
-
-- `rewrite-tracing`
-  Adds opt-in tracking of the rewrites applied to a circuit.
+See the respective
+[Rust](https://github.com/CQCL/tket2/blob/main/rust/README.md) and
+[Python](https://github.com/CQCL/tket2/blob/main/python/README.md) READMEs for
+more information.
 
 ## Developing TKET2
 
-See [DEVELOPMENT.md](DEVELOPMENT.md) for instructions on setting up the development environment.
+See [DEVELOPMENT.md][] for instructions on setting up the development environment.
 
 ## License
 
 This project is licensed under Apache License, Version 2.0 ([LICENSE][] or http://www.apache.org/licenses/LICENSE-2.0).
 
-  [LICENSE]: LICENCE
+  [build_status]: https://github.com/CQCL/tket2/workflows/Continuous%20integration/badge.svg?branch=main
+  [codecov]: https://img.shields.io/codecov/c/gh/CQCL/tket2?logo=codecov
+  [LICENSE]: https://github.com/CQCL/tket2/blob/main/LICENCE
+  [DEVELOPMENT.md]: https://github.com/CQCL/tket2/blob/main/DEVELOPMENT.md

badger-optimiser/Cargo.toml

@@ -1,10 +1,11 @@
 [package]
 name = "badger-optimiser"
+version = "0.0.0"
 edition = { workspace = true }
-version = { workspace = true }
 rust-version = { workspace = true }
 homepage = { workspace = true }
-license-file = { workspace = true }
+license = { workspace = true }
+publish = false
 
 # See more keys and their definitions at https://doc.rust-lang.org/cargo/reference/manifest.html
 

compile-rewriter/Cargo.toml

@@ -1,10 +1,11 @@
 [package]
 name = "compile-rewriter"
+version = "0.0.0"
 edition = { workspace = true }
-version = { workspace = true }
 rust-version = { workspace = true }
 homepage = { workspace = true }
-license-file = { workspace = true }
+license = { workspace = true }
+publish = false
 
 [dependencies]
 clap = { workspace = true, features = ["derive"] }

tket2-py/Cargo.toml

@@ -1,10 +1,11 @@
 [package]
 name = "tket2-py"
+version = "0.0.0"
 edition = { workspace = true }
-version = { workspace = true }
 rust-version = { workspace = true }
 homepage = { workspace = true }
-license-file = { workspace = true }
+license = { workspace = true }
+publish = false
 
 [lints]
 workspace = true

tket2/CHANGELOG.md

@@ -0,0 +1,11 @@
+# Changelog
+All notable changes to this project will be documented in this file.
+
+The format is based on [Keep a Changelog](https://keepachangelog.com/en/1.0.0/),
+and this project adheres to [Semantic Versioning](https://semver.org/spec/v2.0.0.html).
+
+## [Unreleased]
+
+## [0.1.0-alpha.1](https://github.com/CQCL/tket2/releases/tag/tket2-v0.1.0-alpha.1) - 2024-05-24
+
+Initial alpha release of the library

tket2/Cargo.toml

@@ -1,10 +1,17 @@
 [package]
 name = "tket2"
+version = "0.1.0-alpha.1"
 edition = { workspace = true }
-version = { workspace = true }
 rust-version = { workspace = true }
+
+license = { workspace = true }
+readme = "README.md"
+documentation = "https://docs.rs/tket2"
 homepage = { workspace = true }
-license-file = { workspace = true }
+repository = { workspace = true }
+description = "Quantinuum's TKET2 Quantum Compiler"
+keywords = ["Quantum", "Quantinuum"]
+categories = ["compilers"]
 
 [lints]
 workspace = true

tket2/README.md

@@ -0,0 +1,81 @@
+# tket2: The Hardware Agnostic Quantum Compiler
+
+[![build_status][]](https://github.com/CQCL/tket2/actions)
+![msrv][]
+[![codecov][]](https://codecov.io/gh/CQCL/tket2)
+
+TKET2 is an open source quantum compiler developed by Quantinuum. Central to
+TKET2's design is its hardware agnosticism which allows researchers and
+quantum software developers to take advantage of its state of the art
+compilation for many different quantum architectures.
+
+Circuits are represented using the HUGR IR defined in the
+[hugr] crate. TKET2 augments Hugr with
+* The [`Circuit`] trait, providing a high-level interface for working with HUGRs representing quantum circuits
+* a HUGR extension with quantum operations
+* A composable pass system for optimising circuits
+* A number of built-in rewrite utilities and passes for common optimisations
+
+This crate is interoperable with [`tket1`] circuits via its
+serial encoding.
+
+# Using TKET2
+
+Defining a circuit in TKET2 is currently done by using the low-level [hugr Builder] API, or by loading tket1 circuits from JSON files.
+
+```rust
+use tket2::{Circuit, Hugr};
+
+// Load a tket1 circuit.
+let mut circ: Hugr = tket2::json::load_tk1_json_file("test_files/barenco_tof_5.json").unwrap();
+
+assert_eq!(circ.qubit_count(), 9);
+assert_eq!(circ.num_gates(), 170);
+
+// Traverse the circuit and print the gates.
+for command in circ.commands() {
+    println!("{:?}", command.optype());
+}
+
+// Render the circuit as a mermaid diagram.
+println!("{}", circ.mermaid_string());
+
+// Optimise the circuit.
+tket2::passes::apply_greedy_commutation(&mut circ);
+```
+
+Please read the [API documentation here][].
+
+## Features
+
+- `portmatching`
+  Enables pattern matching using the [`portmatching`][] crate.
+
+- `rewrite-tracing`
+  Adds opt-in tracking of the rewrites applied to a circuit.
+
+## Recent Changes
+
+See [CHANGELOG][] for a list of changes. The minimum supported rust
+version will only change on major releases.
+
+## Developing TKET2
+
+See [DEVELOPMENT.md][] for instructions on setting up the development environment.
+
+## License
+
+This project is licensed under Apache License, Version 2.0 ([LICENSE][] or http://www.apache.org/licenses/LICENSE-2.0).
+
+  [build_status]: https://github.com/CQCL/tket2/workflows/Continuous%20integration/badge.svg?branch=main
+  [msrv]: https://img.shields.io/badge/rust-1.75.0%2B-blue.svg
+  [codecov]: https://img.shields.io/codecov/c/gh/CQCL/tket2?logo=codecov
+  [hugr]: https://lib.rs/crates/hugr
+  [hugr Builder]: https://docs.rs/hugr/latest/hugr/builder/index.html
+  [API documentation here]: https://docs.rs/tket2/
+  [`Circuit`]: https://docs.rs/tket2/latest/tket2/trait.Circuit.html
+  [`tket1`]: https://github.com/CQCL/tket
+  [`portmatching`]: https://lib.rs/crates/portmatching
+  [LICENSE]: https://github.com/CQCL/tket2/blob/main/LICENCE
+  [CHANGELOG]: https://github.com/CQCL/tket2/blob/main/tket2/CHANGELOG.md
+  [DEVELOPMENT.md]: https://github.com/CQCL/tket2/blob/main/DEVELOPMENT.md