chore: Release corset version 9.4.0

CHANGELOG.md

@@ -2,42 +2,34 @@
 
 All notable changes to this project will be documented in this file.
 
-## [9.3.0] - 2024-01-18
-
-### Bug Fixes
-
-- Ensure all backings have the correct length
-- Message on conditioning error
-
-### Features
-
-- Generate normalization constraints
-- Generate binarity constraints for `@prove`-annotated type
-
-### Miscellaneous Tasks
-
-- Clippy
-
-## [9.2.3] - 2024-01-17
+## [9.4.0] - 2024-01-23
 
 ### Bug Fixes
 
 - Sort constraints auxiliary columns computation
 - Fr/BigInt criss-crossing
 - Parsed value can be negative
+- Ensure all backings have the correct length
+- Message on conditioning error
+- Architecture-dependent build
 
 ### Features
 
 - Better error messages on erroneous value updating
+- Generate normalization constraints
+- Generate binarity constraints for `@prove`-annotated type
 
 ### Miscellaneous Tasks
 
 - Release corset version 9.2.3
+- Clippy
+- Release corset version 9.3.0
 
 ### Refactor
 
 - Move columns_len to ConstraintSet
 - Streamline concretization
+- Homogeneize column types proving
 
 ### Fest
 
@@ -71,67 +63,45 @@ All notable changes to this project will be documented in this file.
 
 ### Bug Fixes
 
+- Correct types for `~or!` and `~and!` ([#57](https://github.com/Consensys/corset/issues/57))
+- Conditioning should never be mixed
+- Handle all errors while checking
+- Handle Integer magma in Besu export
+- Type compatibily error
 - Error handling
 - Exo-column conversion criterion
 - Fail on erroneous types
 
-### Features
-
-- Add a CSV conversion option
-
-### Miscellaneous Tasks
-
-- Update the WizardIOP exporter
-- Release corset version 9.2.0
+### Documentation
 
-## [9.1.5] - 2024-01-11
+- Add inspector demo
 
-### Bug Fixes
+### Features
 
-- Handle all errors while checking
-- Handle Integer magma in Besu export
-- Type compatibily error
+- The `convert` command converts trace files to sqlite database
+- Add a CSV conversion option
 
 ### Miscellaneous Tasks
 
+- Update dependencies
+- Release corset version 9.1.2
 - Release corset version 9.1.3
 - Release corset version 9.1.4
 - Release corset version 9.1.5
+- Update the WizardIOP exporter
+- Release corset version 9.2.0
 
 ### Styling
 
 - Only use `@loob` and `@bool` ([#62](https://github.com/Consensys/corset/issues/62))
 
 ### Build
 
+- Bump zerocopy from 0.7.26 to 0.7.31 ([#54](https://github.com/Consensys/corset/issues/54))
 - Feature-gate sqlite export
 - Generate binaries on release
 - Fix git-cliff configuration
 
-## [9.1.2] - 2023-12-21
-
-### Bug Fixes
-
-- Correct types for `~or!` and `~and!` ([#57](https://github.com/Consensys/corset/issues/57))
-- Conditioning should never be mixed
-
-### Documentation
-
-- Add inspector demo
-
-### Features
-
-- The `convert` command converts trace files to sqlite database
-
-### Miscellaneous Tasks
-
-- Update dependencies
-- Release corset version 9.1.2
-
-### Build
-
-- Bump zerocopy from 0.7.26 to 0.7.31 ([#54](https://github.com/Consensys/corset/issues/54))
-
 ## [9.1.1] - 2023-12-06
 
 ### Bug Fixes

Cargo.toml

@@ -1,6 +1,6 @@
 [package]
 name = "corset"
-version = "9.3.0"
+version = "9.4.0"
 edition = "2021"
 rust-version = "1.70.0"
 authors = [ "Franklin Delehelle <[email protected]>" ]