diff --git a/CHANGELOG.md b/CHANGELOG.md index 2db01a8..b4101ea 100644 --- a/CHANGELOG.md +++ b/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,32 +63,33 @@ 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 @@ -104,34 +97,11 @@ All notable changes to this project will be documented in this file. ### 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 diff --git a/Cargo.lock b/Cargo.lock index fa67511..cd35a63 100644 --- a/Cargo.lock +++ b/Cargo.lock @@ -491,7 +491,7 @@ checksum = "e496a50fda8aacccc86d7529e2c1e0892dbd0f898a6b5645b5561b89c3210efa" [[package]] name = "corset" -version = "9.3.0" +version = "9.4.0" dependencies = [ "anyhow", "ark-bls12-377", diff --git a/Cargo.toml b/Cargo.toml index 74023fe..e7607a1 100644 --- a/Cargo.toml +++ b/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 " ]