chore: Release corset version 9.3.0

Consensys · Jan 18, 2024 · 8fc7e01 · 8fc7e01
1 parent afa88fc
commit 8fc7e01
Show file tree

Hide file tree

Showing 4 changed files with 23 additions and 3 deletions.
diff --git a/CHANGELOG.md b/CHANGELOG.md
@@ -2,6 +2,22 @@
 
 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
 
 ### Bug Fixes
@@ -14,6 +30,10 @@ All notable changes to this project will be documented in this file.
 
 - Better error messages on erroneous value updating
 
+### Miscellaneous Tasks
+
+- Release corset version 9.2.3
+
 ### Refactor
 
 - Move columns_len to ConstraintSet

diff --git a/Cargo.lock b/Cargo.lock
diff --git a/Cargo.toml b/Cargo.toml
@@ -1,6 +1,6 @@
 [package]
 name = "corset"
-version = "9.2.3"
+version = "9.3.0"
 edition = "2021"
 rust-version = "1.70.0"
 authors = [ "Franklin Delehelle <[email protected]>" ]

diff --git a/src/compiler/parser.rs b/src/compiler/parser.rs
@@ -655,7 +655,7 @@ fn parse_column_attributes(source: AstNode) -> Result<ColumnAttributes> {
         Base,
     }
     let re_type = regex_lite::Regex::new(
-        r":(?<RawMagma>i(?<Integer>\d+)|[a-z]+)?(@(?<Conditioning>bool|loob))?(?<Proven>@prove)?",
+        r"^:(?<RawMagma>i(?<Integer>\d+)|[a-z]+)?(@(?<Conditioning>bool|loob))?(?<Proven>@prove)?$",
     )?;
     let mut attributes = ColumnAttributes::default();
     let mut state = ColumnParser::Begin;