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.4"
source = "registry+https://github.com/rust-lang/crates.io-index"
checksum = "5201a8708b56979e31cad140619603f2480677852eec6b33e2e3b196f322eb48"
[[package]]
name = "sva-core"
version = "0.9.4"
dependencies = [
"sva-ast",
"sva-engine",
"sva-formula",
]
[[package]]
name = "sva-engine"
version = "0.9.4"
source = "registry+https://github.com/rust-lang/crates.io-index"
checksum = "888c9e63dab5a08552cef4c046c65a77bd67f94ad3a29cdcabf8fe4653fa5bc8"
dependencies = [
"rayon",
"sva-ast",
"sva-formula",
"sva-samples",
]
[[package]]
name = "sva-formula"
version = "0.9.4"
source = "registry+https://github.com/rust-lang/crates.io-index"
checksum = "be3ce8e65b2e0e851c855247b44de8650f5342695ac59e96fd289a97e11c3923"
[[package]]
name = "sva-samples"
version = "0.9.4"
source = "registry+https://github.com/rust-lang/crates.io-index"
checksum = "9c36cb290a620f34bd52a8937edc2ee7087d36f070e7e5b5f965dc82f4893639"
dependencies = [
"sva-formula",
]