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.8.1"
source = "registry+https://github.com/rust-lang/crates.io-index"
checksum = "b7e6b24e8dbca13da5d0d982e86344f05986409154b2f0f5f1180543938775ef"
[[package]]
name = "sva-engine"
version = "0.8.1"
dependencies = [
"rayon",
"sva-ast",
"sva-formula",
"sva-samples",
]
[[package]]
name = "sva-formula"
version = "0.8.1"
source = "registry+https://github.com/rust-lang/crates.io-index"
checksum = "8c910e8b80362c882d47581390a3405fafbfe4eb7ca853eeeba6823307bd2ee3"
[[package]]
name = "sva-samples"
version = "0.8.1"
source = "registry+https://github.com/rust-lang/crates.io-index"
checksum = "d3f254d5a03d13855304bda456d00201f26ea5738f4b7221cf0d2357f73bfeb5"
dependencies = [
"sva-formula",
]