From cd110d08e3e3c1ef3e75931b5f33abd966f21dbd Mon Sep 17 00:00:00 2001 From: "dependabot[bot]" <49699333+dependabot[bot]@users.noreply.github.com> Date: Thu, 30 Jul 2026 02:37:05 +0000 Subject: [PATCH] build(deps): bump the rust-dependencies group across 5 directories with 2 updates Bumps the rust-dependencies group with 2 updates in the / directory: [jsonschema](https://github.com/Stranger6667/jsonschema) and [vstd](https://github.com/verus-lang/verus). Bumps the rust-dependencies group with 2 updates in the /bindings/ffi directory: [jsonschema](https://github.com/Stranger6667/jsonschema) and [vstd](https://github.com/verus-lang/verus). Bumps the rust-dependencies group with 2 updates in the /bindings/java directory: [jsonschema](https://github.com/Stranger6667/jsonschema) and [vstd](https://github.com/verus-lang/verus). Bumps the rust-dependencies group with 2 updates in the /bindings/python directory: [jsonschema](https://github.com/Stranger6667/jsonschema) and [vstd](https://github.com/verus-lang/verus). Bumps the rust-dependencies group with 2 updates in the /bindings/wasm directory: [jsonschema](https://github.com/Stranger6667/jsonschema) and [vstd](https://github.com/verus-lang/verus). Updates `jsonschema` from 0.48.5 to 0.49.2 - [Release notes](https://github.com/Stranger6667/jsonschema/releases) - [Changelog](https://github.com/Stranger6667/jsonschema/blob/master/CHANGELOG.md) - [Commits](https://github.com/Stranger6667/jsonschema/compare/ruby-v0.48.5...ruby-v0.49.2) Updates `vstd` from 0.0.0-2026-07-12-0122 to 0.0.0-2026-07-27-0206 - [Release notes](https://github.com/verus-lang/verus/releases) - [Commits](https://github.com/verus-lang/verus/commits) Updates `jsonschema` from 0.48.5 to 0.49.2 - [Release notes](https://github.com/Stranger6667/jsonschema/releases) - [Changelog](https://github.com/Stranger6667/jsonschema/blob/master/CHANGELOG.md) - [Commits](https://github.com/Stranger6667/jsonschema/compare/ruby-v0.48.5...ruby-v0.49.2) Updates `vstd` from 0.0.0-2026-07-12-0122 to 0.0.0-2026-07-27-0206 - [Release notes](https://github.com/verus-lang/verus/releases) - [Commits](https://github.com/verus-lang/verus/commits) Updates `jsonschema` from 0.48.5 to 0.49.2 - [Release notes](https://github.com/Stranger6667/jsonschema/releases) - [Changelog](https://github.com/Stranger6667/jsonschema/blob/master/CHANGELOG.md) - [Commits](https://github.com/Stranger6667/jsonschema/compare/ruby-v0.48.5...ruby-v0.49.2) Updates `vstd` from 0.0.0-2026-07-12-0122 to 0.0.0-2026-07-27-0206 - [Release notes](https://github.com/verus-lang/verus/releases) - [Commits](https://github.com/verus-lang/verus/commits) Updates `jsonschema` from 0.48.5 to 0.49.2 - [Release notes](https://github.com/Stranger6667/jsonschema/releases) - [Changelog](https://github.com/Stranger6667/jsonschema/blob/master/CHANGELOG.md) - [Commits](https://github.com/Stranger6667/jsonschema/compare/ruby-v0.48.5...ruby-v0.49.2) Updates `vstd` from 0.0.0-2026-07-12-0122 to 0.0.0-2026-07-27-0206 - [Release notes](https://github.com/verus-lang/verus/releases) - [Commits](https://github.com/verus-lang/verus/commits) Updates `jsonschema` from 0.48.5 to 0.49.2 - [Release notes](https://github.com/Stranger6667/jsonschema/releases) - [Changelog](https://github.com/Stranger6667/jsonschema/blob/master/CHANGELOG.md) - [Commits](https://github.com/Stranger6667/jsonschema/compare/ruby-v0.48.5...ruby-v0.49.2) Updates `vstd` from 0.0.0-2026-07-12-0122 to 0.0.0-2026-07-27-0206 - [Release notes](https://github.com/verus-lang/verus/releases) - [Commits](https://github.com/verus-lang/verus/commits) --- updated-dependencies: - dependency-name: jsonschema dependency-version: 0.49.2 dependency-type: direct:production update-type: version-update:semver-minor dependency-group: rust-dependencies - dependency-name: vstd dependency-version: 0.0.0-2026-07-27-0206 dependency-type: direct:production update-type: version-update:semver-patch dependency-group: rust-dependencies - dependency-name: jsonschema dependency-version: 0.49.2 dependency-type: direct:production update-type: version-update:semver-minor dependency-group: rust-dependencies - dependency-name: vstd dependency-version: 0.0.0-2026-07-27-0206 dependency-type: direct:production update-type: version-update:semver-patch dependency-group: rust-dependencies - dependency-name: jsonschema dependency-version: 0.49.2 dependency-type: direct:production update-type: version-update:semver-minor dependency-group: rust-dependencies - dependency-name: vstd dependency-version: 0.0.0-2026-07-27-0206 dependency-type: direct:production update-type: version-update:semver-patch dependency-group: rust-dependencies - dependency-name: jsonschema dependency-version: 0.49.2 dependency-type: direct:production update-type: version-update:semver-minor dependency-group: rust-dependencies - dependency-name: vstd dependency-version: 0.0.0-2026-07-27-0206 dependency-type: direct:production update-type: version-update:semver-patch dependency-group: rust-dependencies - dependency-name: jsonschema dependency-version: 0.49.2 dependency-type: direct:production update-type: version-update:semver-minor dependency-group: rust-dependencies - dependency-name: vstd dependency-version: 0.0.0-2026-07-27-0206 dependency-type: direct:production update-type: version-update:semver-patch dependency-group: rust-dependencies ... Signed-off-by: dependabot[bot] --- Cargo.lock | 47 ++++++++++++++++++++++---------------- Cargo.toml | 4 ++-- bindings/ffi/Cargo.lock | 47 ++++++++++++++++++++++---------------- bindings/java/Cargo.lock | 47 ++++++++++++++++++++++---------------- bindings/python/Cargo.lock | 47 ++++++++++++++++++++++---------------- bindings/wasm/Cargo.lock | 47 ++++++++++++++++++++++---------------- 6 files changed, 137 insertions(+), 102 deletions(-) diff --git a/Cargo.lock b/Cargo.lock index 3c4c6e8..74da2ba 100644 --- a/Cargo.lock +++ b/Cargo.lock @@ -310,6 +310,12 @@ version = "1.0.5" source = "registry+https://github.com/rust-lang/crates.io-index" checksum = "1d07550c9036bf2ae0c684c4297d503f838287c83c53686d05370d0e139ae570" +[[package]] +name = "convert_case" +version = "0.4.0" +source = "registry+https://github.com/rust-lang/crates.io-index" +checksum = "6245d59a3e82a7fc217c5828a6692dbc6dfb63a0c8c90495621f7b9d79704a0e" + [[package]] name = "core-foundation-sys" version = "0.8.7" @@ -864,9 +870,9 @@ dependencies = [ [[package]] name = "jsonschema" -version = "0.48.5" +version = "0.49.2" source = "registry+https://github.com/rust-lang/crates.io-index" -checksum = "f05a6cff806294a7699d48761d4ae2bdebab7fa2eef05e4a0b83320f0ff46901" +checksum = "f8a77951c56b6a0af03c22af6953d6ffcfba9403c765578921f3f1089b999db6" dependencies = [ "ahash", "bytecount", @@ -893,18 +899,18 @@ dependencies = [ [[package]] name = "jsonschema-regex" -version = "0.48.5" +version = "0.49.2" source = "registry+https://github.com/rust-lang/crates.io-index" -checksum = "84708dd3f6c5327478a96f37378adb27deed6a626cf84d19de780d9e8ae84b17" +checksum = "a4c2e64f341a1d6a15d2daa3c967e48921cf15b9c7f23a9899e8b63c7f7c4199" dependencies = [ "regex-syntax", ] [[package]] name = "jsonschema-value" -version = "0.48.5" +version = "0.49.2" source = "registry+https://github.com/rust-lang/crates.io-index" -checksum = "fd8c04ab4ce60e42c4e302d3bd9d184652bb56f212495d2eea23573bcbf72556" +checksum = "94e097778f3e9c6a33862077dbf07aca0360d0b18d2a7abc323da132df49ee83" dependencies = [ "ahash", "bytecount", @@ -1354,9 +1360,9 @@ dependencies = [ [[package]] name = "referencing" -version = "0.48.5" +version = "0.49.2" source = "registry+https://github.com/rust-lang/crates.io-index" -checksum = "980e77f5cfffc592c0e7dfb6d20770a0b96a6ab94d403de7454ed9799505e4ba" +checksum = "b772e96f8eb6badd4eb10fbc08b8a98244c09b4af37e72e8fa612c854604b870" dependencies = [ "ahash", "fluent-uri", @@ -1835,16 +1841,17 @@ checksum = "0b928f33d975fc6ad9f86c8f283853ad26bdd5b10b7f1542aa2fa15e2289105a" [[package]] name = "verus_builtin" -version = "0.0.0-2026-05-17-0151" +version = "0.0.0-2026-07-27-0206" source = "registry+https://github.com/rust-lang/crates.io-index" -checksum = "cab9266bfb5cf45a080f425c560b0e0be2bf81194f0e80258990c49c1829d8b9" +checksum = "e70a747c69a08b336573d67a8702993572317ab0f506084f717e6cefd3835f56" [[package]] name = "verus_builtin_macros" -version = "0.0.0-2026-07-12-0122" +version = "0.0.0-2026-07-27-0206" source = "registry+https://github.com/rust-lang/crates.io-index" -checksum = "3fb60e3a141ababe618fbdb759f14aa8544f6346a98a44c1e3a7dbe20b1f2892" +checksum = "a3b07917203e0f36da3d29529f511f1ec27a1825529846433b4bc7384d400444" dependencies = [ + "convert_case", "proc-macro2 1.0.107", "quote 1.0.47", "syn 2.0.119", @@ -1855,9 +1862,9 @@ dependencies = [ [[package]] name = "verus_prettyplease" -version = "0.0.0-2026-05-31-0205" +version = "0.0.0-2026-07-27-0206" source = "registry+https://github.com/rust-lang/crates.io-index" -checksum = "3ffdc94c89109a67c59646f6b6e71b49de394020f45294247dd716470523245b" +checksum = "028a6b1bedf498a425f5fa733c4a9aada900734c5ac82e4801597ff3ff70fa62" dependencies = [ "proc-macro2 1.0.107", "verus_syn", @@ -1865,9 +1872,9 @@ dependencies = [ [[package]] name = "verus_state_machines_macros" -version = "0.0.0-2026-06-14-0213" +version = "0.0.0-2026-07-27-0206" source = "registry+https://github.com/rust-lang/crates.io-index" -checksum = "6704a9ce586a5027f87933d9a84817411c937804090a9585c28bf335ac37eefc" +checksum = "911e2a65229749eeb48a1f27d2b47a46b4fb43673f918854b065a932c86305b9" dependencies = [ "indexmap 1.9.3", "proc-macro2 1.0.107", @@ -1877,9 +1884,9 @@ dependencies = [ [[package]] name = "verus_syn" -version = "0.0.0-2026-05-31-0205" +version = "0.0.0-2026-07-27-0206" source = "registry+https://github.com/rust-lang/crates.io-index" -checksum = "030b774330d5ec618691c2cd6fba8bbb13bd538f3884a1143450baec25749706" +checksum = "fdcccb102ae806c65ae59653757ac28ecff328f996159757d17b5c735a7f7850" dependencies = [ "proc-macro2 1.0.107", "quote 1.0.47", @@ -1894,9 +1901,9 @@ checksum = "5c3082ca00d5a5ef149bb8b555a72ae84c9c59f7250f013ac822ac2e49b19c64" [[package]] name = "vstd" -version = "0.0.0-2026-07-12-0122" +version = "0.0.0-2026-07-27-0206" source = "registry+https://github.com/rust-lang/crates.io-index" -checksum = "dd0a0d328e1d6382af99a65f71677cf4b9200ec24e09fcafa7b1a3af8c8f5111" +checksum = "3c72419942f28be7f54bca5e8bc1ac207f9efd45e424788905ecb1213881950a" dependencies = [ "verus_builtin", "verus_builtin_macros", diff --git a/Cargo.toml b/Cargo.toml index d43ff2c..76e3119 100644 --- a/Cargo.toml +++ b/Cargo.toml @@ -120,7 +120,7 @@ regex = {version = "1.12.3", optional = true, default-features = false } semver = {version = "1.0.28", optional = true, default-features = false } url = { version = "2.5.4", optional = true } uuid = { version = "1.22.0", default-features = false, features = ["v4", "fast-rng"], optional = true } -jsonschema = { version = "0.48.5", default-features = false, optional = true } +jsonschema = { version = "0.49.2", default-features = false, optional = true } chrono = { version = "0.4.44", optional = true } chrono-tz = { version = "0.10.1", optional = true } ipnet = { version = "2.12.0", optional = true, default-features = false } @@ -143,7 +143,7 @@ postcard = { version = "1.1.3", default-features = false, features = ["alloc"], # Verus-related dependencies. # vstd is enabled via the `verus` feature. In no_std builds only the `alloc` feature is used; # the crate's `std` feature additionally enables `vstd/std` (matching vstd's default features). -vstd = { version = "=0.0.0-2026-07-12-0122", optional = true, default-features = false, features = ["alloc"] } +vstd = { version = "=0.0.0-2026-07-27-0206", optional = true, default-features = false, features = ["alloc"] } [dev-dependencies] anyhow = "1.0.102" diff --git a/bindings/ffi/Cargo.lock b/bindings/ffi/Cargo.lock index e3055b8..1a0150d 100644 --- a/bindings/ffi/Cargo.lock +++ b/bindings/ffi/Cargo.lock @@ -262,6 +262,12 @@ version = "1.0.5" source = "registry+https://github.com/rust-lang/crates.io-index" checksum = "1d07550c9036bf2ae0c684c4297d503f838287c83c53686d05370d0e139ae570" +[[package]] +name = "convert_case" +version = "0.4.0" +source = "registry+https://github.com/rust-lang/crates.io-index" +checksum = "6245d59a3e82a7fc217c5828a6692dbc6dfb63a0c8c90495621f7b9d79704a0e" + [[package]] name = "core-foundation-sys" version = "0.8.7" @@ -707,9 +713,9 @@ dependencies = [ [[package]] name = "jsonschema" -version = "0.48.5" +version = "0.49.2" source = "registry+https://github.com/rust-lang/crates.io-index" -checksum = "f05a6cff806294a7699d48761d4ae2bdebab7fa2eef05e4a0b83320f0ff46901" +checksum = "f8a77951c56b6a0af03c22af6953d6ffcfba9403c765578921f3f1089b999db6" dependencies = [ "ahash", "bytecount", @@ -736,18 +742,18 @@ dependencies = [ [[package]] name = "jsonschema-regex" -version = "0.48.5" +version = "0.49.2" source = "registry+https://github.com/rust-lang/crates.io-index" -checksum = "84708dd3f6c5327478a96f37378adb27deed6a626cf84d19de780d9e8ae84b17" +checksum = "a4c2e64f341a1d6a15d2daa3c967e48921cf15b9c7f23a9899e8b63c7f7c4199" dependencies = [ "regex-syntax", ] [[package]] name = "jsonschema-value" -version = "0.48.5" +version = "0.49.2" source = "registry+https://github.com/rust-lang/crates.io-index" -checksum = "fd8c04ab4ce60e42c4e302d3bd9d184652bb56f212495d2eea23573bcbf72556" +checksum = "94e097778f3e9c6a33862077dbf07aca0360d0b18d2a7abc323da132df49ee83" dependencies = [ "ahash", "bytecount", @@ -1083,9 +1089,9 @@ dependencies = [ [[package]] name = "referencing" -version = "0.48.5" +version = "0.49.2" source = "registry+https://github.com/rust-lang/crates.io-index" -checksum = "980e77f5cfffc592c0e7dfb6d20770a0b96a6ab94d403de7454ed9799505e4ba" +checksum = "b772e96f8eb6badd4eb10fbc08b8a98244c09b4af37e72e8fa612c854604b870" dependencies = [ "ahash", "fluent-uri", @@ -1539,16 +1545,17 @@ checksum = "0b928f33d975fc6ad9f86c8f283853ad26bdd5b10b7f1542aa2fa15e2289105a" [[package]] name = "verus_builtin" -version = "0.0.0-2026-05-17-0151" +version = "0.0.0-2026-07-27-0206" source = "registry+https://github.com/rust-lang/crates.io-index" -checksum = "cab9266bfb5cf45a080f425c560b0e0be2bf81194f0e80258990c49c1829d8b9" +checksum = "e70a747c69a08b336573d67a8702993572317ab0f506084f717e6cefd3835f56" [[package]] name = "verus_builtin_macros" -version = "0.0.0-2026-07-12-0122" +version = "0.0.0-2026-07-27-0206" source = "registry+https://github.com/rust-lang/crates.io-index" -checksum = "3fb60e3a141ababe618fbdb759f14aa8544f6346a98a44c1e3a7dbe20b1f2892" +checksum = "a3b07917203e0f36da3d29529f511f1ec27a1825529846433b4bc7384d400444" dependencies = [ + "convert_case", "proc-macro2", "quote", "syn 2.0.119", @@ -1559,9 +1566,9 @@ dependencies = [ [[package]] name = "verus_prettyplease" -version = "0.0.0-2026-05-31-0205" +version = "0.0.0-2026-07-27-0206" source = "registry+https://github.com/rust-lang/crates.io-index" -checksum = "3ffdc94c89109a67c59646f6b6e71b49de394020f45294247dd716470523245b" +checksum = "028a6b1bedf498a425f5fa733c4a9aada900734c5ac82e4801597ff3ff70fa62" dependencies = [ "proc-macro2", "verus_syn", @@ -1569,9 +1576,9 @@ dependencies = [ [[package]] name = "verus_state_machines_macros" -version = "0.0.0-2026-06-14-0213" +version = "0.0.0-2026-07-27-0206" source = "registry+https://github.com/rust-lang/crates.io-index" -checksum = "6704a9ce586a5027f87933d9a84817411c937804090a9585c28bf335ac37eefc" +checksum = "911e2a65229749eeb48a1f27d2b47a46b4fb43673f918854b065a932c86305b9" dependencies = [ "indexmap 1.9.3", "proc-macro2", @@ -1581,9 +1588,9 @@ dependencies = [ [[package]] name = "verus_syn" -version = "0.0.0-2026-05-31-0205" +version = "0.0.0-2026-07-27-0206" source = "registry+https://github.com/rust-lang/crates.io-index" -checksum = "030b774330d5ec618691c2cd6fba8bbb13bd538f3884a1143450baec25749706" +checksum = "fdcccb102ae806c65ae59653757ac28ecff328f996159757d17b5c735a7f7850" dependencies = [ "proc-macro2", "quote", @@ -1598,9 +1605,9 @@ checksum = "5c3082ca00d5a5ef149bb8b555a72ae84c9c59f7250f013ac822ac2e49b19c64" [[package]] name = "vstd" -version = "0.0.0-2026-07-12-0122" +version = "0.0.0-2026-07-27-0206" source = "registry+https://github.com/rust-lang/crates.io-index" -checksum = "dd0a0d328e1d6382af99a65f71677cf4b9200ec24e09fcafa7b1a3af8c8f5111" +checksum = "3c72419942f28be7f54bca5e8bc1ac207f9efd45e424788905ecb1213881950a" dependencies = [ "verus_builtin", "verus_builtin_macros", diff --git a/bindings/java/Cargo.lock b/bindings/java/Cargo.lock index 5cb2f29..b12104b 100644 --- a/bindings/java/Cargo.lock +++ b/bindings/java/Cargo.lock @@ -176,6 +176,12 @@ dependencies = [ "memchr", ] +[[package]] +name = "convert_case" +version = "0.4.0" +source = "registry+https://github.com/rust-lang/crates.io-index" +checksum = "6245d59a3e82a7fc217c5828a6692dbc6dfb63a0c8c90495621f7b9d79704a0e" + [[package]] name = "core-foundation-sys" version = "0.8.7" @@ -596,9 +602,9 @@ dependencies = [ [[package]] name = "jsonschema" -version = "0.48.5" +version = "0.49.2" source = "registry+https://github.com/rust-lang/crates.io-index" -checksum = "f05a6cff806294a7699d48761d4ae2bdebab7fa2eef05e4a0b83320f0ff46901" +checksum = "f8a77951c56b6a0af03c22af6953d6ffcfba9403c765578921f3f1089b999db6" dependencies = [ "ahash", "bytecount", @@ -625,18 +631,18 @@ dependencies = [ [[package]] name = "jsonschema-regex" -version = "0.48.5" +version = "0.49.2" source = "registry+https://github.com/rust-lang/crates.io-index" -checksum = "84708dd3f6c5327478a96f37378adb27deed6a626cf84d19de780d9e8ae84b17" +checksum = "a4c2e64f341a1d6a15d2daa3c967e48921cf15b9c7f23a9899e8b63c7f7c4199" dependencies = [ "regex-syntax", ] [[package]] name = "jsonschema-value" -version = "0.48.5" +version = "0.49.2" source = "registry+https://github.com/rust-lang/crates.io-index" -checksum = "fd8c04ab4ce60e42c4e302d3bd9d184652bb56f212495d2eea23573bcbf72556" +checksum = "94e097778f3e9c6a33862077dbf07aca0360d0b18d2a7abc323da132df49ee83" dependencies = [ "ahash", "bytecount", @@ -958,9 +964,9 @@ dependencies = [ [[package]] name = "referencing" -version = "0.48.5" +version = "0.49.2" source = "registry+https://github.com/rust-lang/crates.io-index" -checksum = "980e77f5cfffc592c0e7dfb6d20770a0b96a6ab94d403de7454ed9799505e4ba" +checksum = "b772e96f8eb6badd4eb10fbc08b8a98244c09b4af37e72e8fa612c854604b870" dependencies = [ "ahash", "fluent-uri", @@ -1357,16 +1363,17 @@ checksum = "0b928f33d975fc6ad9f86c8f283853ad26bdd5b10b7f1542aa2fa15e2289105a" [[package]] name = "verus_builtin" -version = "0.0.0-2026-05-17-0151" +version = "0.0.0-2026-07-27-0206" source = "registry+https://github.com/rust-lang/crates.io-index" -checksum = "cab9266bfb5cf45a080f425c560b0e0be2bf81194f0e80258990c49c1829d8b9" +checksum = "e70a747c69a08b336573d67a8702993572317ab0f506084f717e6cefd3835f56" [[package]] name = "verus_builtin_macros" -version = "0.0.0-2026-07-12-0122" +version = "0.0.0-2026-07-27-0206" source = "registry+https://github.com/rust-lang/crates.io-index" -checksum = "3fb60e3a141ababe618fbdb759f14aa8544f6346a98a44c1e3a7dbe20b1f2892" +checksum = "a3b07917203e0f36da3d29529f511f1ec27a1825529846433b4bc7384d400444" dependencies = [ + "convert_case", "proc-macro2", "quote", "syn 2.0.119", @@ -1377,9 +1384,9 @@ dependencies = [ [[package]] name = "verus_prettyplease" -version = "0.0.0-2026-05-31-0205" +version = "0.0.0-2026-07-27-0206" source = "registry+https://github.com/rust-lang/crates.io-index" -checksum = "3ffdc94c89109a67c59646f6b6e71b49de394020f45294247dd716470523245b" +checksum = "028a6b1bedf498a425f5fa733c4a9aada900734c5ac82e4801597ff3ff70fa62" dependencies = [ "proc-macro2", "verus_syn", @@ -1387,9 +1394,9 @@ dependencies = [ [[package]] name = "verus_state_machines_macros" -version = "0.0.0-2026-06-14-0213" +version = "0.0.0-2026-07-27-0206" source = "registry+https://github.com/rust-lang/crates.io-index" -checksum = "6704a9ce586a5027f87933d9a84817411c937804090a9585c28bf335ac37eefc" +checksum = "911e2a65229749eeb48a1f27d2b47a46b4fb43673f918854b065a932c86305b9" dependencies = [ "indexmap 1.9.3", "proc-macro2", @@ -1399,9 +1406,9 @@ dependencies = [ [[package]] name = "verus_syn" -version = "0.0.0-2026-05-31-0205" +version = "0.0.0-2026-07-27-0206" source = "registry+https://github.com/rust-lang/crates.io-index" -checksum = "030b774330d5ec618691c2cd6fba8bbb13bd538f3884a1143450baec25749706" +checksum = "fdcccb102ae806c65ae59653757ac28ecff328f996159757d17b5c735a7f7850" dependencies = [ "proc-macro2", "quote", @@ -1416,9 +1423,9 @@ checksum = "5c3082ca00d5a5ef149bb8b555a72ae84c9c59f7250f013ac822ac2e49b19c64" [[package]] name = "vstd" -version = "0.0.0-2026-07-12-0122" +version = "0.0.0-2026-07-27-0206" source = "registry+https://github.com/rust-lang/crates.io-index" -checksum = "dd0a0d328e1d6382af99a65f71677cf4b9200ec24e09fcafa7b1a3af8c8f5111" +checksum = "3c72419942f28be7f54bca5e8bc1ac207f9efd45e424788905ecb1213881950a" dependencies = [ "verus_builtin", "verus_builtin_macros", diff --git a/bindings/python/Cargo.lock b/bindings/python/Cargo.lock index 909232e..0aa9377 100644 --- a/bindings/python/Cargo.lock +++ b/bindings/python/Cargo.lock @@ -160,6 +160,12 @@ dependencies = [ "thiserror", ] +[[package]] +name = "convert_case" +version = "0.4.0" +source = "registry+https://github.com/rust-lang/crates.io-index" +checksum = "6245d59a3e82a7fc217c5828a6692dbc6dfb63a0c8c90495621f7b9d79704a0e" + [[package]] name = "core-foundation-sys" version = "0.8.7" @@ -531,9 +537,9 @@ dependencies = [ [[package]] name = "jsonschema" -version = "0.48.5" +version = "0.49.2" source = "registry+https://github.com/rust-lang/crates.io-index" -checksum = "f05a6cff806294a7699d48761d4ae2bdebab7fa2eef05e4a0b83320f0ff46901" +checksum = "f8a77951c56b6a0af03c22af6953d6ffcfba9403c765578921f3f1089b999db6" dependencies = [ "ahash", "bytecount", @@ -560,18 +566,18 @@ dependencies = [ [[package]] name = "jsonschema-regex" -version = "0.48.5" +version = "0.49.2" source = "registry+https://github.com/rust-lang/crates.io-index" -checksum = "84708dd3f6c5327478a96f37378adb27deed6a626cf84d19de780d9e8ae84b17" +checksum = "a4c2e64f341a1d6a15d2daa3c967e48921cf15b9c7f23a9899e8b63c7f7c4199" dependencies = [ "regex-syntax", ] [[package]] name = "jsonschema-value" -version = "0.48.5" +version = "0.49.2" source = "registry+https://github.com/rust-lang/crates.io-index" -checksum = "fd8c04ab4ce60e42c4e302d3bd9d184652bb56f212495d2eea23573bcbf72556" +checksum = "94e097778f3e9c6a33862077dbf07aca0360d0b18d2a7abc323da132df49ee83" dependencies = [ "ahash", "bytecount", @@ -966,9 +972,9 @@ dependencies = [ [[package]] name = "referencing" -version = "0.48.5" +version = "0.49.2" source = "registry+https://github.com/rust-lang/crates.io-index" -checksum = "980e77f5cfffc592c0e7dfb6d20770a0b96a6ab94d403de7454ed9799505e4ba" +checksum = "b772e96f8eb6badd4eb10fbc08b8a98244c09b4af37e72e8fa612c854604b870" dependencies = [ "ahash", "fluent-uri", @@ -1338,16 +1344,17 @@ checksum = "0b928f33d975fc6ad9f86c8f283853ad26bdd5b10b7f1542aa2fa15e2289105a" [[package]] name = "verus_builtin" -version = "0.0.0-2026-05-17-0151" +version = "0.0.0-2026-07-27-0206" source = "registry+https://github.com/rust-lang/crates.io-index" -checksum = "cab9266bfb5cf45a080f425c560b0e0be2bf81194f0e80258990c49c1829d8b9" +checksum = "e70a747c69a08b336573d67a8702993572317ab0f506084f717e6cefd3835f56" [[package]] name = "verus_builtin_macros" -version = "0.0.0-2026-07-12-0122" +version = "0.0.0-2026-07-27-0206" source = "registry+https://github.com/rust-lang/crates.io-index" -checksum = "3fb60e3a141ababe618fbdb759f14aa8544f6346a98a44c1e3a7dbe20b1f2892" +checksum = "a3b07917203e0f36da3d29529f511f1ec27a1825529846433b4bc7384d400444" dependencies = [ + "convert_case", "proc-macro2", "quote", "syn 2.0.119", @@ -1358,9 +1365,9 @@ dependencies = [ [[package]] name = "verus_prettyplease" -version = "0.0.0-2026-05-31-0205" +version = "0.0.0-2026-07-27-0206" source = "registry+https://github.com/rust-lang/crates.io-index" -checksum = "3ffdc94c89109a67c59646f6b6e71b49de394020f45294247dd716470523245b" +checksum = "028a6b1bedf498a425f5fa733c4a9aada900734c5ac82e4801597ff3ff70fa62" dependencies = [ "proc-macro2", "verus_syn", @@ -1368,9 +1375,9 @@ dependencies = [ [[package]] name = "verus_state_machines_macros" -version = "0.0.0-2026-06-14-0213" +version = "0.0.0-2026-07-27-0206" source = "registry+https://github.com/rust-lang/crates.io-index" -checksum = "6704a9ce586a5027f87933d9a84817411c937804090a9585c28bf335ac37eefc" +checksum = "911e2a65229749eeb48a1f27d2b47a46b4fb43673f918854b065a932c86305b9" dependencies = [ "indexmap 1.9.3", "proc-macro2", @@ -1380,9 +1387,9 @@ dependencies = [ [[package]] name = "verus_syn" -version = "0.0.0-2026-05-31-0205" +version = "0.0.0-2026-07-27-0206" source = "registry+https://github.com/rust-lang/crates.io-index" -checksum = "030b774330d5ec618691c2cd6fba8bbb13bd538f3884a1143450baec25749706" +checksum = "fdcccb102ae806c65ae59653757ac28ecff328f996159757d17b5c735a7f7850" dependencies = [ "proc-macro2", "quote", @@ -1397,9 +1404,9 @@ checksum = "5c3082ca00d5a5ef149bb8b555a72ae84c9c59f7250f013ac822ac2e49b19c64" [[package]] name = "vstd" -version = "0.0.0-2026-07-12-0122" +version = "0.0.0-2026-07-27-0206" source = "registry+https://github.com/rust-lang/crates.io-index" -checksum = "dd0a0d328e1d6382af99a65f71677cf4b9200ec24e09fcafa7b1a3af8c8f5111" +checksum = "3c72419942f28be7f54bca5e8bc1ac207f9efd45e424788905ecb1213881950a" dependencies = [ "verus_builtin", "verus_builtin_macros", diff --git a/bindings/wasm/Cargo.lock b/bindings/wasm/Cargo.lock index 3294ad4..49a900d 100644 --- a/bindings/wasm/Cargo.lock +++ b/bindings/wasm/Cargo.lock @@ -177,6 +177,12 @@ dependencies = [ "thiserror", ] +[[package]] +name = "convert_case" +version = "0.4.0" +source = "registry+https://github.com/rust-lang/crates.io-index" +checksum = "6245d59a3e82a7fc217c5828a6692dbc6dfb63a0c8c90495621f7b9d79704a0e" + [[package]] name = "core-foundation-sys" version = "0.8.7" @@ -563,9 +569,9 @@ dependencies = [ [[package]] name = "jsonschema" -version = "0.48.5" +version = "0.49.2" source = "registry+https://github.com/rust-lang/crates.io-index" -checksum = "f05a6cff806294a7699d48761d4ae2bdebab7fa2eef05e4a0b83320f0ff46901" +checksum = "f8a77951c56b6a0af03c22af6953d6ffcfba9403c765578921f3f1089b999db6" dependencies = [ "ahash", "bytecount", @@ -592,18 +598,18 @@ dependencies = [ [[package]] name = "jsonschema-regex" -version = "0.48.5" +version = "0.49.2" source = "registry+https://github.com/rust-lang/crates.io-index" -checksum = "84708dd3f6c5327478a96f37378adb27deed6a626cf84d19de780d9e8ae84b17" +checksum = "a4c2e64f341a1d6a15d2daa3c967e48921cf15b9c7f23a9899e8b63c7f7c4199" dependencies = [ "regex-syntax", ] [[package]] name = "jsonschema-value" -version = "0.48.5" +version = "0.49.2" source = "registry+https://github.com/rust-lang/crates.io-index" -checksum = "fd8c04ab4ce60e42c4e302d3bd9d184652bb56f212495d2eea23573bcbf72556" +checksum = "94e097778f3e9c6a33862077dbf07aca0360d0b18d2a7abc323da132df49ee83" dependencies = [ "ahash", "bytecount", @@ -957,9 +963,9 @@ dependencies = [ [[package]] name = "referencing" -version = "0.48.5" +version = "0.49.2" source = "registry+https://github.com/rust-lang/crates.io-index" -checksum = "980e77f5cfffc592c0e7dfb6d20770a0b96a6ab94d403de7454ed9799505e4ba" +checksum = "b772e96f8eb6badd4eb10fbc08b8a98244c09b4af37e72e8fa612c854604b870" dependencies = [ "ahash", "fluent-uri", @@ -1335,16 +1341,17 @@ checksum = "0b928f33d975fc6ad9f86c8f283853ad26bdd5b10b7f1542aa2fa15e2289105a" [[package]] name = "verus_builtin" -version = "0.0.0-2026-05-17-0151" +version = "0.0.0-2026-07-27-0206" source = "registry+https://github.com/rust-lang/crates.io-index" -checksum = "cab9266bfb5cf45a080f425c560b0e0be2bf81194f0e80258990c49c1829d8b9" +checksum = "e70a747c69a08b336573d67a8702993572317ab0f506084f717e6cefd3835f56" [[package]] name = "verus_builtin_macros" -version = "0.0.0-2026-07-12-0122" +version = "0.0.0-2026-07-27-0206" source = "registry+https://github.com/rust-lang/crates.io-index" -checksum = "3fb60e3a141ababe618fbdb759f14aa8544f6346a98a44c1e3a7dbe20b1f2892" +checksum = "a3b07917203e0f36da3d29529f511f1ec27a1825529846433b4bc7384d400444" dependencies = [ + "convert_case", "proc-macro2", "quote", "syn 2.0.119", @@ -1355,9 +1362,9 @@ dependencies = [ [[package]] name = "verus_prettyplease" -version = "0.0.0-2026-05-31-0205" +version = "0.0.0-2026-07-27-0206" source = "registry+https://github.com/rust-lang/crates.io-index" -checksum = "3ffdc94c89109a67c59646f6b6e71b49de394020f45294247dd716470523245b" +checksum = "028a6b1bedf498a425f5fa733c4a9aada900734c5ac82e4801597ff3ff70fa62" dependencies = [ "proc-macro2", "verus_syn", @@ -1365,9 +1372,9 @@ dependencies = [ [[package]] name = "verus_state_machines_macros" -version = "0.0.0-2026-06-14-0213" +version = "0.0.0-2026-07-27-0206" source = "registry+https://github.com/rust-lang/crates.io-index" -checksum = "6704a9ce586a5027f87933d9a84817411c937804090a9585c28bf335ac37eefc" +checksum = "911e2a65229749eeb48a1f27d2b47a46b4fb43673f918854b065a932c86305b9" dependencies = [ "indexmap 1.9.3", "proc-macro2", @@ -1377,9 +1384,9 @@ dependencies = [ [[package]] name = "verus_syn" -version = "0.0.0-2026-05-31-0205" +version = "0.0.0-2026-07-27-0206" source = "registry+https://github.com/rust-lang/crates.io-index" -checksum = "030b774330d5ec618691c2cd6fba8bbb13bd538f3884a1143450baec25749706" +checksum = "fdcccb102ae806c65ae59653757ac28ecff328f996159757d17b5c735a7f7850" dependencies = [ "proc-macro2", "quote", @@ -1394,9 +1401,9 @@ checksum = "5c3082ca00d5a5ef149bb8b555a72ae84c9c59f7250f013ac822ac2e49b19c64" [[package]] name = "vstd" -version = "0.0.0-2026-07-12-0122" +version = "0.0.0-2026-07-27-0206" source = "registry+https://github.com/rust-lang/crates.io-index" -checksum = "dd0a0d328e1d6382af99a65f71677cf4b9200ec24e09fcafa7b1a3af8c8f5111" +checksum = "3c72419942f28be7f54bca5e8bc1ac207f9efd45e424788905ecb1213881950a" dependencies = [ "verus_builtin", "verus_builtin_macros",