version = 4
[[package]]
name = "crossbeam-deque"
version = "0.8.8"
source = "registry+https://github.com/rust-lang/crates.io-index"
checksum = "622f3fc73690be383c7214310406f28a90e6edeadc3cea882f9d71e495b9711a"
dependencies = [
"crossbeam-epoch",
"crossbeam-utils",
]
[[package]]
name = "crossbeam-epoch"
version = "0.9.21"
source = "registry+https://github.com/rust-lang/crates.io-index"
checksum = "dc74980687109a3b14c72fd458107bf0baa1da1a1a805e178d15501ba9b86d9d"
dependencies = [
"crossbeam-utils",
]
[[package]]
name = "crossbeam-utils"
version = "0.8.23"
source = "registry+https://github.com/rust-lang/crates.io-index"
checksum = "a31eee39dddec8330830986fcd7625edb5a24ec90ea038215273bbc3adb08ac6"
[[package]]
name = "either"
version = "1.18.0"
source = "registry+https://github.com/rust-lang/crates.io-index"
checksum = "252afb9ae5eaa683babdc6a068b3f5726eb19e05070c731f9b2a23a7c3e8ed34"
[[package]]
name = "rayon"
version = "1.12.0"
source = "registry+https://github.com/rust-lang/crates.io-index"
checksum = "fb39b166781f92d482534ef4b4b1b2568f42613b53e5b6c160e24cfbfa30926d"
dependencies = [
"either",
"rayon-core",
]
[[package]]
name = "rayon-core"
version = "1.13.0"
source = "registry+https://github.com/rust-lang/crates.io-index"
checksum = "22e18b0f0062d30d4230b2e85ff77fdfe4326feb054b9783a3460d8435c8ab91"
dependencies = [
"crossbeam-deque",
"crossbeam-utils",
]
[[package]]
name = "sva-ast"
version = "0.9.5"
source = "registry+https://github.com/rust-lang/crates.io-index"
checksum = "89e1b3f8b102e8a048c7b02675c02ac18e41aa355159551347720ea45c698ac6"
[[package]]
name = "sva-core"
version = "0.9.5"
dependencies = [
"sva-ast",
"sva-engine",
"sva-formula",
]
[[package]]
name = "sva-engine"
version = "0.9.5"
source = "registry+https://github.com/rust-lang/crates.io-index"
checksum = "1014dd2703ad0dabd339468ac4f7fc7e0b3c8c9cc0109c285e945064f7aa5a77"
dependencies = [
"rayon",
"sva-ast",
"sva-formula",
"sva-samples",
]
[[package]]
name = "sva-formula"
version = "0.9.5"
source = "registry+https://github.com/rust-lang/crates.io-index"
checksum = "208dc57db0484b89d1677a1117d3926c8632999ce73bac2589226ecb709bc862"
[[package]]
name = "sva-samples"
version = "0.9.5"
source = "registry+https://github.com/rust-lang/crates.io-index"
checksum = "2d896b7d82419e907d93ab2073d603add00a60cb61a4e54bde8a0aef14553ff3"
dependencies = [
"sva-formula",
]