Release v9.7.13 (#231)

Consensys · Jul 19, 2024 · b573a83 · b573a83
1 parent b25b10d
commit b573a83
Show file tree

Hide file tree

Showing 3 changed files with 22 additions and 2 deletions.
diff --git a/CHANGELOG.md b/CHANGELOG.md
@@ -2,6 +2,21 @@
 
 All notable changes to this project will be documented in this file.
 
+## [9.7.13] - 2024-07-19
+
+### Bug Fixes
+
+- Fixes for `ratatui` dependency issue ([#216](https://github.com/Consensys/corset/issues/216))
+- Truncated Column Names ([#226](https://github.com/Consensys/corset/issues/226))
+- Different Behavior for Expansion and Native Flag Combinations ([#228](https://github.com/Consensys/corset/issues/228))
+- Update `check` reporting for perspectives ([#229](https://github.com/Consensys/corset/issues/229))
+
+### Features
+
+- Support `RON` and `JSON` bin formats ([#223](https://github.com/Consensys/corset/issues/223))
+- Support Perspective "blanking" ([#224](https://github.com/Consensys/corset/issues/224))
+- Switch default `bin` format from `RON` to `JSON` ([#225](https://github.com/Consensys/corset/issues/225))
+
 ## [9.7.12] - 2024-06-20
 
 ### Bug Fixes

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

diff --git a/build.rs b/build.rs
@@ -76,7 +76,12 @@ fn generate_tests_from_lisp_files() {
             // Write them out.
             write_traces(&m, "accepts", &accepts);
             write_traces(&m, "rejects", &rejects);
-            println!("DONE");
+            println!(
+                " Wrote {} / {} traces for {}.",
+                accepts.len(),
+                rejects.len(),
+                m.name
+            );
         }
     }
 }