chore: release hugr 0.4.0

hugr/CHANGELOG.md

@@ -1,33 +1,10 @@
 # Changelog
 
-## 0.4.0-alpha.2 (2024-05-20)
+## 0.4.0 (2024-05-20)
 
 ### Bug Fixes
 
 - Disallow non-finite values for `ConstF64` ([#1075](https://github.com/CQCL/hugr/pull/1075))
-
-### Features
-
-- Add verification to constant folding ([#1030](https://github.com/CQCL/hugr/pull/1030))
-- Add `Const::get_custom_value` ([#1037](https://github.com/CQCL/hugr/pull/1037))
-- Add serialization schema for metadata ([#1038](https://github.com/CQCL/hugr/pull/1038))
-
-### Refactor
-
-- [**breaking**] Rename `crate::ops::constant::ExtensionValue` => `OpaqueValue` ([#1036](https://github.com/CQCL/hugr/pull/1036))
-
-### Testing
-
-- Reorg OutlineCfg/nest_cfgs tests so hugr doesn't depend on algorithm ([#1007](https://github.com/CQCL/hugr/pull/1007))
-- Ignore tests which depend on typetag when cfg(miri) ([#1051](https://github.com/CQCL/hugr/pull/1051))
-- Really ignore tests which depend on typetag when cfg(miri) ([#1058](https://github.com/CQCL/hugr/pull/1058))
-- Proptests for round trip serialisation of `Type`s and `Op`s. ([#981](https://github.com/CQCL/hugr/pull/981))
-
-
-## 0.4.0-alpha.1 (2024-05-13)
-
-### Bug Fixes
-
 - Serialization round-trips ([#948](https://github.com/CQCL/hugr/pull/948))
 - [**breaking**] Combine `ConstIntU` and `ConstIntS` ([#974](https://github.com/CQCL/hugr/pull/974))
 - Disable serialisation tests when miri is active ([#977](https://github.com/CQCL/hugr/pull/977))
@@ -39,6 +16,9 @@
 
 ### Features
 
+- Add verification to constant folding ([#1030](https://github.com/CQCL/hugr/pull/1030))
+- Add `Const::get_custom_value` ([#1037](https://github.com/CQCL/hugr/pull/1037))
+- Add serialization schema for metadata ([#1038](https://github.com/CQCL/hugr/pull/1038))
 - 'Replace' rewrite returns node map ([#929](https://github.com/CQCL/hugr/pull/929))
 - `new` methods for leaf ops ([#940](https://github.com/CQCL/hugr/pull/940))
 - Add `string` type and `print` function to `prelude` ([#942](https://github.com/CQCL/hugr/pull/942))
@@ -55,13 +35,18 @@
 
 ### Refactor
 
+- [**breaking**] Rename `crate::ops::constant::ExtensionValue` => `OpaqueValue` ([#1036](https://github.com/CQCL/hugr/pull/1036))
 - Outline hugr::serialize::test ([#976](https://github.com/CQCL/hugr/pull/976))
 - [**breaking**] Replace SmolStr identifiers with wrapper types. ([#959](https://github.com/CQCL/hugr/pull/959))
 - Separate extension validation from the rest ([#1011](https://github.com/CQCL/hugr/pull/1011))
 - Remove "trait TypeParametrised" ([#1019](https://github.com/CQCL/hugr/pull/1019))
 
 ### Testing
 
+- Reorg OutlineCfg/nest_cfgs tests so hugr doesn't depend on algorithm ([#1007](https://github.com/CQCL/hugr/pull/1007))
+- Ignore tests which depend on typetag when cfg(miri) ([#1051](https://github.com/CQCL/hugr/pull/1051))
+- Really ignore tests which depend on typetag when cfg(miri) ([#1058](https://github.com/CQCL/hugr/pull/1058))
+- Proptests for round trip serialisation of `Type`s and `Op`s. ([#981](https://github.com/CQCL/hugr/pull/981))
 - Add a test of instantiating an extension set ([#939](https://github.com/CQCL/hugr/pull/939))
 - Ignore serialisation tests when using miri ([#975](https://github.com/CQCL/hugr/pull/975))
 - [**breaking**] Test roundtrip serialisation against strict + lax schema ([#982](https://github.com/CQCL/hugr/pull/982))

hugr/Cargo.toml

@@ -1,6 +1,6 @@
 [package]
 name = "hugr"
-version = "0.4.0-alpha.2"
+version = "0.4.0"
 edition = { workspace = true }
 rust-version = { workspace = true }