T0b1/wasmtime
1
0
Fork 0
Code Issues Pull Requests Packages Projects Releases Wiki Activity

peepmatic: Update to z3 version 0.7.1

Browse Source 
This fixes a memory leak related to custom datatypes:
https://github.com/prove-rs/z3.rs/pull/104
This commit is contained in:
Nick Fitzgerald
2020-11-02 10:54:03 -08:00
parent 146a393a9a
commit bfbe6ea348
2 changed files with 3 additions and 3 deletions
Download Patch File Download Diff File Expand all files Collapse all files

4
Cargo.lock generated
View File

@@ -2791,9 +2791,9 @@ dependencies = [
[[package]] [[package]]
name = "z3" name = "z3"
version = "0.7.0" version = "0.7.1"
source = "registry+https://github.com/rust-lang/crates.io-index" source = "registry+https://github.com/rust-lang/crates.io-index"
checksum = "dbb8ef9d11f50b64327c8a5906b53d3f7f792cb0e849909d476ac0aa16117d61" checksum = "aa17be9852c6c2a8de2ea0875350dc5f8626f3eaa6b683148753b827f1b39ce5"
dependencies = [ dependencies = [
"lazy_static", "lazy_static",
"log", "log",

2
cranelift/peepmatic/Cargo.toml
View File

@@ -16,7 +16,7 @@ peepmatic-runtime = { version = "0.67.0", path = "crates/runtime", features = ["
peepmatic-traits = { version = "0.67.0", path = "crates/traits" } peepmatic-traits = { version = "0.67.0", path = "crates/traits" }
serde = { version = "1.0.105", features = ["derive"] } serde = { version = "1.0.105", features = ["derive"] }
wast = "25.0.0" wast = "25.0.0"
z3 = { version = "0.7.0", features = ["static-link-z3"] } z3 = { version = "0.7.1", features = ["static-link-z3"] }
[dev-dependencies] [dev-dependencies]
peepmatic-test-operator = { version = "0.67.0", path = "crates/test-operator" } peepmatic-test-operator = { version = "0.67.0", path = "crates/test-operator" }