cvlr 0.4.2

Certora Verification Language for Rust
Documentation
# This file is automatically @generated by Cargo.
# It is not intended for manual editing.
version = 4

[[package]]
name = "cvlr"
version = "0.4.2"
dependencies = [
 "cvlr-asserts",
 "cvlr-early-panic",
 "cvlr-hook",
 "cvlr-log",
 "cvlr-macros",
 "cvlr-mathint",
 "cvlr-nondet",
]

[[package]]
name = "cvlr-asserts"
version = "0.4.2"
source = "registry+https://github.com/rust-lang/crates.io-index"
checksum = "71e7a195e607a28a430609b407e2643d6a1c237279424fd6cfb2ac655c6e0938"

[[package]]
name = "cvlr-early-panic"
version = "0.4.2"
source = "registry+https://github.com/rust-lang/crates.io-index"
checksum = "f4ba80d95f76d4c0e252c0655400644447e9a44d1d7b5a8566c0463877d668f1"
dependencies = [
 "proc-macro2",
 "quote",
 "syn",
]

[[package]]
name = "cvlr-hook"
version = "0.4.2"
source = "registry+https://github.com/rust-lang/crates.io-index"
checksum = "9598f8f1ac58adf2582242cfd67645f61adba242d7b575c3880cc172288234ca"
dependencies = [
 "quote",
 "syn",
]

[[package]]
name = "cvlr-log"
version = "0.4.2"
source = "registry+https://github.com/rust-lang/crates.io-index"
checksum = "56af43f36b9d3a68d017b575ebef2f4d3766a46d09c95e2fe6b3615ecfbead4e"
dependencies = [
 "cvlr-mathint",
]

[[package]]
name = "cvlr-macros"
version = "0.4.2"
source = "registry+https://github.com/rust-lang/crates.io-index"
checksum = "c55782e671dd6937c58edbe556076d3cde40b61720af67015dd8d7ae1176fbea"
dependencies = [
 "darling",
 "proc-macro2",
 "quote",
 "syn",
]

[[package]]
name = "cvlr-mathint"
version = "0.4.2"
source = "registry+https://github.com/rust-lang/crates.io-index"
checksum = "6094d3f778e7f4a74957da32f03b7e3d351d40da84e5f0afa16d1fb530e86d20"
dependencies = [
 "cvlr-asserts",
 "cvlr-nondet",
]

[[package]]
name = "cvlr-nondet"
version = "0.4.2"
source = "registry+https://github.com/rust-lang/crates.io-index"
checksum = "b8483009a1d0f197070e50e2f74e88a21513d0c21cf57023153e327d9f9412be"
dependencies = [
 "cvlr-asserts",
]

[[package]]
name = "darling"
version = "0.20.10"
source = "registry+https://github.com/rust-lang/crates.io-index"
checksum = "6f63b86c8a8826a49b8c21f08a2d07338eec8d900540f8630dc76284be802989"
dependencies = [
 "darling_core",
 "darling_macro",
]

[[package]]
name = "darling_core"
version = "0.20.10"
source = "registry+https://github.com/rust-lang/crates.io-index"
checksum = "95133861a8032aaea082871032f5815eb9e98cef03fa916ab4500513994df9e5"
dependencies = [
 "fnv",
 "ident_case",
 "proc-macro2",
 "quote",
 "strsim",
 "syn",
]

[[package]]
name = "darling_macro"
version = "0.20.10"
source = "registry+https://github.com/rust-lang/crates.io-index"
checksum = "d336a2a514f6ccccaa3e09b02d41d35330c07ddf03a62165fcec10bb561c7806"
dependencies = [
 "darling_core",
 "quote",
 "syn",
]

[[package]]
name = "fnv"
version = "1.0.7"
source = "registry+https://github.com/rust-lang/crates.io-index"
checksum = "3f9eec918d3f24069decb9af1554cad7c880e2da24a9afd88aca000531ab82c1"

[[package]]
name = "ident_case"
version = "1.0.1"
source = "registry+https://github.com/rust-lang/crates.io-index"
checksum = "b9e0384b61958566e926dc50660321d12159025e767c18e043daf26b70104c39"

[[package]]
name = "proc-macro2"
version = "1.0.94"
source = "registry+https://github.com/rust-lang/crates.io-index"
checksum = "a31971752e70b8b2686d7e46ec17fb38dad4051d94024c88df49b667caea9c84"
dependencies = [
 "unicode-ident",
]

[[package]]
name = "quote"
version = "1.0.40"
source = "registry+https://github.com/rust-lang/crates.io-index"
checksum = "1885c039570dc00dcb4ff087a89e185fd56bae234ddc7f056a945bf36467248d"
dependencies = [
 "proc-macro2",
]

[[package]]
name = "strsim"
version = "0.11.1"
source = "registry+https://github.com/rust-lang/crates.io-index"
checksum = "7da8b5736845d9f2fcb837ea5d9e2628564b3b043a70948a3f0b778838c5fb4f"

[[package]]
name = "syn"
version = "2.0.100"
source = "registry+https://github.com/rust-lang/crates.io-index"
checksum = "b09a44accad81e1ba1cd74a32461ba89dee89095ba17b32f5d03683b1b1fc2a0"
dependencies = [
 "proc-macro2",
 "quote",
 "unicode-ident",
]

[[package]]
name = "unicode-ident"
version = "1.0.18"
source = "registry+https://github.com/rust-lang/crates.io-index"
checksum = "5a5f39404a5da50712a4c1eecf25e90dd62b613502b7e925fd4e4d19b5c96512"