updated changelog and dependency version

facebook · Feb 5, 2024 · aed1d72 · aed1d72
1 parent 5a3cea2
commit aed1d72
Show file tree

Hide file tree

Showing 4 changed files with 6 additions and 3 deletions.
diff --git a/CHANGELOG.md b/CHANGELOG.md
@@ -3,6 +3,9 @@
 ## 0.8.0 (TBD)
 * Added variable-length serialization and deserialization for `usize` type (#238).
 * [BREAKING] Removed `Serializable` and `Deserializable` implementations from slices and vectors (#239).
+* Moved from `log` to `tracing` for logging and added `tracing-forest` feature (#241).
+* Updated provable security estimation to explicitly use the number of openings (#242).
+* [BREAKING] Removed `From<u64>` and `From<u128>` implementations from field elements (#243).
 
 ## 0.7.4 (2023-12-18) - `air` crate only
 * Fixed a bug in `StarkProof` deserialization (#236).

diff --git a/crypto/Cargo.toml b/crypto/Cargo.toml
@@ -37,5 +37,5 @@ utils = { version = "0.7", path = "../utils/core", package = "winter-utils", def
 
 [dev-dependencies]
 criterion = "0.5"
-proptest = "1.3"
+proptest = "1.4"
 rand-utils = { version = "0.7", path = "../utils/rand", package = "winter-rand-utils" }
diff --git a/math/Cargo.toml b/math/Cargo.toml
@@ -39,7 +39,7 @@ utils = { version = "0.7", path = "../utils/core", package = "winter-utils", def
 [dev-dependencies]
 criterion = "0.5"
 num-bigint = "0.4"
-proptest = "1.3"
+proptest = "1.4"
 rand-utils = { version = "0.7", path = "../utils/rand", package = "winter-rand-utils" }
 
 # Allow math in docs

diff --git a/utils/core/Cargo.toml b/utils/core/Cargo.toml
@@ -24,4 +24,4 @@ std = []
 rayon = { version = "1.8", optional = true }
 
 [dev-dependencies]
-proptest = "1.3"
+proptest = "1.4"