mirror of
https://github.com/ellmau/adf-obdd.git
synced 2025-12-19 09:29:36 +01:00
860 lines
21 KiB
TOML
860 lines
21 KiB
TOML
# This file is automatically @generated by Cargo.
|
|
# It is not intended for manual editing.
|
|
version = 3
|
|
|
|
[[package]]
|
|
name = "adf_bdd"
|
|
version = "0.2.2"
|
|
dependencies = [
|
|
"biodivine-lib-bdd",
|
|
"derivative",
|
|
"env_logger 0.9.0",
|
|
"lexical-sort",
|
|
"log",
|
|
"nom",
|
|
"quickcheck",
|
|
"quickcheck_macros",
|
|
"serde",
|
|
"serde_json",
|
|
"test-log",
|
|
]
|
|
|
|
[[package]]
|
|
name = "adf_bdd-solver"
|
|
version = "0.2.1"
|
|
dependencies = [
|
|
"adf_bdd",
|
|
"assert_cmd",
|
|
"assert_fs",
|
|
"clap",
|
|
"env_logger 0.9.0",
|
|
"log",
|
|
"predicates",
|
|
"serde",
|
|
"serde_json",
|
|
]
|
|
|
|
[[package]]
|
|
name = "aho-corasick"
|
|
version = "0.7.18"
|
|
source = "registry+https://github.com/rust-lang/crates.io-index"
|
|
checksum = "1e37cfd5e7657ada45f742d6e99ca5788580b5c529dc78faf11ece6dc702656f"
|
|
dependencies = [
|
|
"memchr",
|
|
]
|
|
|
|
[[package]]
|
|
name = "any_ascii"
|
|
version = "0.1.7"
|
|
source = "registry+https://github.com/rust-lang/crates.io-index"
|
|
checksum = "70033777eb8b5124a81a1889416543dddef2de240019b674c81285a2635a7e1e"
|
|
|
|
[[package]]
|
|
name = "assert_cmd"
|
|
version = "2.0.4"
|
|
source = "registry+https://github.com/rust-lang/crates.io-index"
|
|
checksum = "93ae1ddd39efd67689deb1979d80bad3bf7f2b09c6e6117c8d1f2443b5e2f83e"
|
|
dependencies = [
|
|
"bstr",
|
|
"doc-comment",
|
|
"predicates",
|
|
"predicates-core",
|
|
"predicates-tree",
|
|
"wait-timeout",
|
|
]
|
|
|
|
[[package]]
|
|
name = "assert_fs"
|
|
version = "1.0.7"
|
|
source = "registry+https://github.com/rust-lang/crates.io-index"
|
|
checksum = "cf09bb72e00da477c2596865e8873227e2196d263cca35414048875dbbeea1be"
|
|
dependencies = [
|
|
"doc-comment",
|
|
"globwalk",
|
|
"predicates",
|
|
"predicates-core",
|
|
"predicates-tree",
|
|
"tempfile",
|
|
]
|
|
|
|
[[package]]
|
|
name = "atty"
|
|
version = "0.2.14"
|
|
source = "registry+https://github.com/rust-lang/crates.io-index"
|
|
checksum = "d9b39be18770d11421cdb1b9947a45dd3f37e93092cbf377614828a319d5fee8"
|
|
dependencies = [
|
|
"hermit-abi",
|
|
"libc",
|
|
"winapi",
|
|
]
|
|
|
|
[[package]]
|
|
name = "autocfg"
|
|
version = "1.1.0"
|
|
source = "registry+https://github.com/rust-lang/crates.io-index"
|
|
checksum = "d468802bab17cbc0cc575e9b053f41e72aa36bfa6b7f55e3529ffa43161b97fa"
|
|
|
|
[[package]]
|
|
name = "biodivine-lib-bdd"
|
|
version = "0.3.0"
|
|
source = "registry+https://github.com/rust-lang/crates.io-index"
|
|
checksum = "bddcfb460c1131729ec8d797ce0be49ec102506e764ce62f20a40056516851c5"
|
|
dependencies = [
|
|
"fxhash",
|
|
"rand 0.7.3",
|
|
]
|
|
|
|
[[package]]
|
|
name = "bitflags"
|
|
version = "1.3.2"
|
|
source = "registry+https://github.com/rust-lang/crates.io-index"
|
|
checksum = "bef38d45163c2f1dde094a7dfd33ccf595c92905c8f8f4fdc18d06fb1037718a"
|
|
|
|
[[package]]
|
|
name = "bstr"
|
|
version = "0.2.17"
|
|
source = "registry+https://github.com/rust-lang/crates.io-index"
|
|
checksum = "ba3569f383e8f1598449f1a423e72e99569137b47740b1da11ef19af3d5c3223"
|
|
dependencies = [
|
|
"lazy_static",
|
|
"memchr",
|
|
"regex-automata",
|
|
]
|
|
|
|
[[package]]
|
|
name = "byteorder"
|
|
version = "1.4.3"
|
|
source = "registry+https://github.com/rust-lang/crates.io-index"
|
|
checksum = "14c189c53d098945499cdfa7ecc63567cf3886b3332b312a5b4585d8d3a6a610"
|
|
|
|
[[package]]
|
|
name = "cfg-if"
|
|
version = "1.0.0"
|
|
source = "registry+https://github.com/rust-lang/crates.io-index"
|
|
checksum = "baf1de4339761588bc0619e3cbc0120ee582ebb74b53b4efbf79117bd2da40fd"
|
|
|
|
[[package]]
|
|
name = "clap"
|
|
version = "3.1.5"
|
|
source = "registry+https://github.com/rust-lang/crates.io-index"
|
|
checksum = "ced1892c55c910c1219e98d6fc8d71f6bddba7905866ce740066d8bfea859312"
|
|
dependencies = [
|
|
"atty",
|
|
"bitflags",
|
|
"clap_derive",
|
|
"indexmap",
|
|
"lazy_static",
|
|
"os_str_bytes",
|
|
"strsim",
|
|
"termcolor",
|
|
"textwrap",
|
|
]
|
|
|
|
[[package]]
|
|
name = "clap_derive"
|
|
version = "3.1.4"
|
|
source = "registry+https://github.com/rust-lang/crates.io-index"
|
|
checksum = "da95d038ede1a964ce99f49cbe27a7fb538d1da595e4b4f70b8c8f338d17bf16"
|
|
dependencies = [
|
|
"heck",
|
|
"proc-macro-error",
|
|
"proc-macro2",
|
|
"quote",
|
|
"syn",
|
|
]
|
|
|
|
[[package]]
|
|
name = "crossbeam-utils"
|
|
version = "0.8.7"
|
|
source = "registry+https://github.com/rust-lang/crates.io-index"
|
|
checksum = "b5e5bed1f1c269533fa816a0a5492b3545209a205ca1a54842be180eb63a16a6"
|
|
dependencies = [
|
|
"cfg-if",
|
|
"lazy_static",
|
|
]
|
|
|
|
[[package]]
|
|
name = "derivative"
|
|
version = "2.2.0"
|
|
source = "registry+https://github.com/rust-lang/crates.io-index"
|
|
checksum = "fcc3dd5e9e9c0b295d6e1e4d811fb6f157d5ffd784b8d202fc62eac8035a770b"
|
|
dependencies = [
|
|
"proc-macro2",
|
|
"quote",
|
|
"syn",
|
|
]
|
|
|
|
[[package]]
|
|
name = "difflib"
|
|
version = "0.4.0"
|
|
source = "registry+https://github.com/rust-lang/crates.io-index"
|
|
checksum = "6184e33543162437515c2e2b48714794e37845ec9851711914eec9d308f6ebe8"
|
|
|
|
[[package]]
|
|
name = "doc-comment"
|
|
version = "0.3.3"
|
|
source = "registry+https://github.com/rust-lang/crates.io-index"
|
|
checksum = "fea41bba32d969b513997752735605054bc0dfa92b4c56bf1189f2e174be7a10"
|
|
|
|
[[package]]
|
|
name = "either"
|
|
version = "1.6.1"
|
|
source = "registry+https://github.com/rust-lang/crates.io-index"
|
|
checksum = "e78d4f1cc4ae33bbfc157ed5d5a5ef3bc29227303d595861deb238fcec4e9457"
|
|
|
|
[[package]]
|
|
name = "env_logger"
|
|
version = "0.8.4"
|
|
source = "registry+https://github.com/rust-lang/crates.io-index"
|
|
checksum = "a19187fea3ac7e84da7dacf48de0c45d63c6a76f9490dae389aead16c243fce3"
|
|
dependencies = [
|
|
"log",
|
|
"regex",
|
|
]
|
|
|
|
[[package]]
|
|
name = "env_logger"
|
|
version = "0.9.0"
|
|
source = "registry+https://github.com/rust-lang/crates.io-index"
|
|
checksum = "0b2cf0344971ee6c64c31be0d530793fba457d322dfec2810c453d0ef228f9c3"
|
|
dependencies = [
|
|
"atty",
|
|
"humantime",
|
|
"log",
|
|
"regex",
|
|
"termcolor",
|
|
]
|
|
|
|
[[package]]
|
|
name = "fastrand"
|
|
version = "1.7.0"
|
|
source = "registry+https://github.com/rust-lang/crates.io-index"
|
|
checksum = "c3fcf0cee53519c866c09b5de1f6c56ff9d647101f81c1964fa632e148896cdf"
|
|
dependencies = [
|
|
"instant",
|
|
]
|
|
|
|
[[package]]
|
|
name = "float-cmp"
|
|
version = "0.9.0"
|
|
source = "registry+https://github.com/rust-lang/crates.io-index"
|
|
checksum = "98de4bbd547a563b716d8dfa9aad1cb19bfab00f4fa09a6a4ed21dbcf44ce9c4"
|
|
dependencies = [
|
|
"num-traits",
|
|
]
|
|
|
|
[[package]]
|
|
name = "fnv"
|
|
version = "1.0.7"
|
|
source = "registry+https://github.com/rust-lang/crates.io-index"
|
|
checksum = "3f9eec918d3f24069decb9af1554cad7c880e2da24a9afd88aca000531ab82c1"
|
|
|
|
[[package]]
|
|
name = "fxhash"
|
|
version = "0.2.1"
|
|
source = "registry+https://github.com/rust-lang/crates.io-index"
|
|
checksum = "c31b6d751ae2c7f11320402d34e41349dd1016f8d5d45e48c4312bc8625af50c"
|
|
dependencies = [
|
|
"byteorder",
|
|
]
|
|
|
|
[[package]]
|
|
name = "getrandom"
|
|
version = "0.1.16"
|
|
source = "registry+https://github.com/rust-lang/crates.io-index"
|
|
checksum = "8fc3cb4d91f53b50155bdcfd23f6a4c39ae1969c2ae85982b135750cccaf5fce"
|
|
dependencies = [
|
|
"cfg-if",
|
|
"libc",
|
|
"wasi 0.9.0+wasi-snapshot-preview1",
|
|
]
|
|
|
|
[[package]]
|
|
name = "getrandom"
|
|
version = "0.2.5"
|
|
source = "registry+https://github.com/rust-lang/crates.io-index"
|
|
checksum = "d39cd93900197114fa1fcb7ae84ca742095eed9442088988ae74fa744e930e77"
|
|
dependencies = [
|
|
"cfg-if",
|
|
"libc",
|
|
"wasi 0.10.2+wasi-snapshot-preview1",
|
|
]
|
|
|
|
[[package]]
|
|
name = "globset"
|
|
version = "0.4.8"
|
|
source = "registry+https://github.com/rust-lang/crates.io-index"
|
|
checksum = "10463d9ff00a2a068db14231982f5132edebad0d7660cd956a1c30292dbcbfbd"
|
|
dependencies = [
|
|
"aho-corasick",
|
|
"bstr",
|
|
"fnv",
|
|
"log",
|
|
"regex",
|
|
]
|
|
|
|
[[package]]
|
|
name = "globwalk"
|
|
version = "0.8.1"
|
|
source = "registry+https://github.com/rust-lang/crates.io-index"
|
|
checksum = "93e3af942408868f6934a7b85134a3230832b9977cf66125df2f9edcfce4ddcc"
|
|
dependencies = [
|
|
"bitflags",
|
|
"ignore",
|
|
"walkdir",
|
|
]
|
|
|
|
[[package]]
|
|
name = "hashbrown"
|
|
version = "0.11.2"
|
|
source = "registry+https://github.com/rust-lang/crates.io-index"
|
|
checksum = "ab5ef0d4909ef3724cc8cce6ccc8572c5c817592e9285f5464f8e86f8bd3726e"
|
|
|
|
[[package]]
|
|
name = "heck"
|
|
version = "0.4.0"
|
|
source = "registry+https://github.com/rust-lang/crates.io-index"
|
|
checksum = "2540771e65fc8cb83cd6e8a237f70c319bd5c29f78ed1084ba5d50eeac86f7f9"
|
|
|
|
[[package]]
|
|
name = "hermit-abi"
|
|
version = "0.1.19"
|
|
source = "registry+https://github.com/rust-lang/crates.io-index"
|
|
checksum = "62b467343b94ba476dcb2500d242dadbb39557df889310ac77c5d99100aaac33"
|
|
dependencies = [
|
|
"libc",
|
|
]
|
|
|
|
[[package]]
|
|
name = "humantime"
|
|
version = "2.1.0"
|
|
source = "registry+https://github.com/rust-lang/crates.io-index"
|
|
checksum = "9a3a5bfb195931eeb336b2a7b4d761daec841b97f947d34394601737a7bba5e4"
|
|
|
|
[[package]]
|
|
name = "ignore"
|
|
version = "0.4.18"
|
|
source = "registry+https://github.com/rust-lang/crates.io-index"
|
|
checksum = "713f1b139373f96a2e0ce3ac931cd01ee973c3c5dd7c40c0c2efe96ad2b6751d"
|
|
dependencies = [
|
|
"crossbeam-utils",
|
|
"globset",
|
|
"lazy_static",
|
|
"log",
|
|
"memchr",
|
|
"regex",
|
|
"same-file",
|
|
"thread_local",
|
|
"walkdir",
|
|
"winapi-util",
|
|
]
|
|
|
|
[[package]]
|
|
name = "indexmap"
|
|
version = "1.8.0"
|
|
source = "registry+https://github.com/rust-lang/crates.io-index"
|
|
checksum = "282a6247722caba404c065016bbfa522806e51714c34f5dfc3e4a3a46fcb4223"
|
|
dependencies = [
|
|
"autocfg",
|
|
"hashbrown",
|
|
]
|
|
|
|
[[package]]
|
|
name = "instant"
|
|
version = "0.1.12"
|
|
source = "registry+https://github.com/rust-lang/crates.io-index"
|
|
checksum = "7a5bbe824c507c5da5956355e86a746d82e0e1464f65d862cc5e71da70e94b2c"
|
|
dependencies = [
|
|
"cfg-if",
|
|
]
|
|
|
|
[[package]]
|
|
name = "itertools"
|
|
version = "0.10.3"
|
|
source = "registry+https://github.com/rust-lang/crates.io-index"
|
|
checksum = "a9a9d19fa1e79b6215ff29b9d6880b706147f16e9b1dbb1e4e5947b5b02bc5e3"
|
|
dependencies = [
|
|
"either",
|
|
]
|
|
|
|
[[package]]
|
|
name = "itoa"
|
|
version = "1.0.1"
|
|
source = "registry+https://github.com/rust-lang/crates.io-index"
|
|
checksum = "1aab8fc367588b89dcee83ab0fd66b72b50b72fa1904d7095045ace2b0c81c35"
|
|
|
|
[[package]]
|
|
name = "lazy_static"
|
|
version = "1.4.0"
|
|
source = "registry+https://github.com/rust-lang/crates.io-index"
|
|
checksum = "e2abad23fbc42b3700f2f279844dc832adb2b2eb069b2df918f455c4e18cc646"
|
|
|
|
[[package]]
|
|
name = "lexical-sort"
|
|
version = "0.3.1"
|
|
source = "registry+https://github.com/rust-lang/crates.io-index"
|
|
checksum = "c09e4591611e231daf4d4c685a66cb0410cc1e502027a20ae55f2bb9e997207a"
|
|
dependencies = [
|
|
"any_ascii",
|
|
]
|
|
|
|
[[package]]
|
|
name = "libc"
|
|
version = "0.2.119"
|
|
source = "registry+https://github.com/rust-lang/crates.io-index"
|
|
checksum = "1bf2e165bb3457c8e098ea76f3e3bc9db55f87aa90d52d0e6be741470916aaa4"
|
|
|
|
[[package]]
|
|
name = "log"
|
|
version = "0.4.16"
|
|
source = "registry+https://github.com/rust-lang/crates.io-index"
|
|
checksum = "6389c490849ff5bc16be905ae24bc913a9c8892e19b2341dbc175e14c341c2b8"
|
|
dependencies = [
|
|
"cfg-if",
|
|
]
|
|
|
|
[[package]]
|
|
name = "memchr"
|
|
version = "2.4.1"
|
|
source = "registry+https://github.com/rust-lang/crates.io-index"
|
|
checksum = "308cc39be01b73d0d18f82a0e7b2a3df85245f84af96fdddc5d202d27e47b86a"
|
|
|
|
[[package]]
|
|
name = "minimal-lexical"
|
|
version = "0.2.1"
|
|
source = "registry+https://github.com/rust-lang/crates.io-index"
|
|
checksum = "68354c5c6bd36d73ff3feceb05efa59b6acb7626617f4962be322a825e61f79a"
|
|
|
|
[[package]]
|
|
name = "nom"
|
|
version = "7.1.1"
|
|
source = "registry+https://github.com/rust-lang/crates.io-index"
|
|
checksum = "a8903e5a29a317527874d0402f867152a3d21c908bb0b933e416c65e301d4c36"
|
|
dependencies = [
|
|
"memchr",
|
|
"minimal-lexical",
|
|
]
|
|
|
|
[[package]]
|
|
name = "normalize-line-endings"
|
|
version = "0.3.0"
|
|
source = "registry+https://github.com/rust-lang/crates.io-index"
|
|
checksum = "61807f77802ff30975e01f4f071c8ba10c022052f98b3294119f3e615d13e5be"
|
|
|
|
[[package]]
|
|
name = "num-traits"
|
|
version = "0.2.14"
|
|
source = "registry+https://github.com/rust-lang/crates.io-index"
|
|
checksum = "9a64b1ec5cda2586e284722486d802acf1f7dbdc623e2bfc57e65ca1cd099290"
|
|
dependencies = [
|
|
"autocfg",
|
|
]
|
|
|
|
[[package]]
|
|
name = "once_cell"
|
|
version = "1.9.0"
|
|
source = "registry+https://github.com/rust-lang/crates.io-index"
|
|
checksum = "da32515d9f6e6e489d7bc9d84c71b060db7247dc035bbe44eac88cf87486d8d5"
|
|
|
|
[[package]]
|
|
name = "os_str_bytes"
|
|
version = "6.0.0"
|
|
source = "registry+https://github.com/rust-lang/crates.io-index"
|
|
checksum = "8e22443d1643a904602595ba1cd8f7d896afe56d26712531c5ff73a15b2fbf64"
|
|
dependencies = [
|
|
"memchr",
|
|
]
|
|
|
|
[[package]]
|
|
name = "ppv-lite86"
|
|
version = "0.2.16"
|
|
source = "registry+https://github.com/rust-lang/crates.io-index"
|
|
checksum = "eb9f9e6e233e5c4a35559a617bf40a4ec447db2e84c20b55a6f83167b7e57872"
|
|
|
|
[[package]]
|
|
name = "predicates"
|
|
version = "2.1.1"
|
|
source = "registry+https://github.com/rust-lang/crates.io-index"
|
|
checksum = "a5aab5be6e4732b473071984b3164dbbfb7a3674d30ea5ff44410b6bcd960c3c"
|
|
dependencies = [
|
|
"difflib",
|
|
"float-cmp",
|
|
"itertools",
|
|
"normalize-line-endings",
|
|
"predicates-core",
|
|
"regex",
|
|
]
|
|
|
|
[[package]]
|
|
name = "predicates-core"
|
|
version = "1.0.3"
|
|
source = "registry+https://github.com/rust-lang/crates.io-index"
|
|
checksum = "da1c2388b1513e1b605fcec39a95e0a9e8ef088f71443ef37099fa9ae6673fcb"
|
|
|
|
[[package]]
|
|
name = "predicates-tree"
|
|
version = "1.0.5"
|
|
source = "registry+https://github.com/rust-lang/crates.io-index"
|
|
checksum = "4d86de6de25020a36c6d3643a86d9a6a9f552107c0559c60ea03551b5e16c032"
|
|
dependencies = [
|
|
"predicates-core",
|
|
"termtree",
|
|
]
|
|
|
|
[[package]]
|
|
name = "proc-macro-error"
|
|
version = "1.0.4"
|
|
source = "registry+https://github.com/rust-lang/crates.io-index"
|
|
checksum = "da25490ff9892aab3fcf7c36f08cfb902dd3e71ca0f9f9517bea02a73a5ce38c"
|
|
dependencies = [
|
|
"proc-macro-error-attr",
|
|
"proc-macro2",
|
|
"quote",
|
|
"syn",
|
|
"version_check",
|
|
]
|
|
|
|
[[package]]
|
|
name = "proc-macro-error-attr"
|
|
version = "1.0.4"
|
|
source = "registry+https://github.com/rust-lang/crates.io-index"
|
|
checksum = "a1be40180e52ecc98ad80b184934baf3d0d29f979574e439af5a55274b35f869"
|
|
dependencies = [
|
|
"proc-macro2",
|
|
"quote",
|
|
"version_check",
|
|
]
|
|
|
|
[[package]]
|
|
name = "proc-macro2"
|
|
version = "1.0.36"
|
|
source = "registry+https://github.com/rust-lang/crates.io-index"
|
|
checksum = "c7342d5883fbccae1cc37a2353b09c87c9b0f3afd73f5fb9bba687a1f733b029"
|
|
dependencies = [
|
|
"unicode-xid",
|
|
]
|
|
|
|
[[package]]
|
|
name = "quickcheck"
|
|
version = "1.0.3"
|
|
source = "registry+https://github.com/rust-lang/crates.io-index"
|
|
checksum = "588f6378e4dd99458b60ec275b4477add41ce4fa9f64dcba6f15adccb19b50d6"
|
|
dependencies = [
|
|
"env_logger 0.8.4",
|
|
"log",
|
|
"rand 0.8.5",
|
|
]
|
|
|
|
[[package]]
|
|
name = "quickcheck_macros"
|
|
version = "1.0.0"
|
|
source = "registry+https://github.com/rust-lang/crates.io-index"
|
|
checksum = "b22a693222d716a9587786f37ac3f6b4faedb5b80c23914e7303ff5a1d8016e9"
|
|
dependencies = [
|
|
"proc-macro2",
|
|
"quote",
|
|
"syn",
|
|
]
|
|
|
|
[[package]]
|
|
name = "quote"
|
|
version = "1.0.15"
|
|
source = "registry+https://github.com/rust-lang/crates.io-index"
|
|
checksum = "864d3e96a899863136fc6e99f3d7cae289dafe43bf2c5ac19b70df7210c0a145"
|
|
dependencies = [
|
|
"proc-macro2",
|
|
]
|
|
|
|
[[package]]
|
|
name = "rand"
|
|
version = "0.7.3"
|
|
source = "registry+https://github.com/rust-lang/crates.io-index"
|
|
checksum = "6a6b1679d49b24bbfe0c803429aa1874472f50d9b363131f0e89fc356b544d03"
|
|
dependencies = [
|
|
"getrandom 0.1.16",
|
|
"libc",
|
|
"rand_chacha",
|
|
"rand_core 0.5.1",
|
|
"rand_hc",
|
|
]
|
|
|
|
[[package]]
|
|
name = "rand"
|
|
version = "0.8.5"
|
|
source = "registry+https://github.com/rust-lang/crates.io-index"
|
|
checksum = "34af8d1a0e25924bc5b7c43c079c942339d8f0a8b57c39049bef581b46327404"
|
|
dependencies = [
|
|
"rand_core 0.6.3",
|
|
]
|
|
|
|
[[package]]
|
|
name = "rand_chacha"
|
|
version = "0.2.2"
|
|
source = "registry+https://github.com/rust-lang/crates.io-index"
|
|
checksum = "f4c8ed856279c9737206bf725bf36935d8666ead7aa69b52be55af369d193402"
|
|
dependencies = [
|
|
"ppv-lite86",
|
|
"rand_core 0.5.1",
|
|
]
|
|
|
|
[[package]]
|
|
name = "rand_core"
|
|
version = "0.5.1"
|
|
source = "registry+https://github.com/rust-lang/crates.io-index"
|
|
checksum = "90bde5296fc891b0cef12a6d03ddccc162ce7b2aff54160af9338f8d40df6d19"
|
|
dependencies = [
|
|
"getrandom 0.1.16",
|
|
]
|
|
|
|
[[package]]
|
|
name = "rand_core"
|
|
version = "0.6.3"
|
|
source = "registry+https://github.com/rust-lang/crates.io-index"
|
|
checksum = "d34f1408f55294453790c48b2f1ebbb1c5b4b7563eb1f418bcfcfdbb06ebb4e7"
|
|
dependencies = [
|
|
"getrandom 0.2.5",
|
|
]
|
|
|
|
[[package]]
|
|
name = "rand_hc"
|
|
version = "0.2.0"
|
|
source = "registry+https://github.com/rust-lang/crates.io-index"
|
|
checksum = "ca3129af7b92a17112d59ad498c6f81eaf463253766b90396d39ea7a39d6613c"
|
|
dependencies = [
|
|
"rand_core 0.5.1",
|
|
]
|
|
|
|
[[package]]
|
|
name = "redox_syscall"
|
|
version = "0.2.11"
|
|
source = "registry+https://github.com/rust-lang/crates.io-index"
|
|
checksum = "8380fe0152551244f0747b1bf41737e0f8a74f97a14ccefd1148187271634f3c"
|
|
dependencies = [
|
|
"bitflags",
|
|
]
|
|
|
|
[[package]]
|
|
name = "regex"
|
|
version = "1.5.4"
|
|
source = "registry+https://github.com/rust-lang/crates.io-index"
|
|
checksum = "d07a8629359eb56f1e2fb1652bb04212c072a87ba68546a04065d525673ac461"
|
|
dependencies = [
|
|
"aho-corasick",
|
|
"memchr",
|
|
"regex-syntax",
|
|
]
|
|
|
|
[[package]]
|
|
name = "regex-automata"
|
|
version = "0.1.10"
|
|
source = "registry+https://github.com/rust-lang/crates.io-index"
|
|
checksum = "6c230d73fb8d8c1b9c0b3135c5142a8acee3a0558fb8db5cf1cb65f8d7862132"
|
|
|
|
[[package]]
|
|
name = "regex-syntax"
|
|
version = "0.6.25"
|
|
source = "registry+https://github.com/rust-lang/crates.io-index"
|
|
checksum = "f497285884f3fcff424ffc933e56d7cbca511def0c9831a7f9b5f6153e3cc89b"
|
|
|
|
[[package]]
|
|
name = "remove_dir_all"
|
|
version = "0.5.3"
|
|
source = "registry+https://github.com/rust-lang/crates.io-index"
|
|
checksum = "3acd125665422973a33ac9d3dd2df85edad0f4ae9b00dafb1a05e43a9f5ef8e7"
|
|
dependencies = [
|
|
"winapi",
|
|
]
|
|
|
|
[[package]]
|
|
name = "ryu"
|
|
version = "1.0.9"
|
|
source = "registry+https://github.com/rust-lang/crates.io-index"
|
|
checksum = "73b4b750c782965c211b42f022f59af1fbceabdd026623714f104152f1ec149f"
|
|
|
|
[[package]]
|
|
name = "same-file"
|
|
version = "1.0.6"
|
|
source = "registry+https://github.com/rust-lang/crates.io-index"
|
|
checksum = "93fc1dc3aaa9bfed95e02e6eadabb4baf7e3078b0bd1b4d7b6b0b68378900502"
|
|
dependencies = [
|
|
"winapi-util",
|
|
]
|
|
|
|
[[package]]
|
|
name = "serde"
|
|
version = "1.0.136"
|
|
source = "registry+https://github.com/rust-lang/crates.io-index"
|
|
checksum = "ce31e24b01e1e524df96f1c2fdd054405f8d7376249a5110886fb4b658484789"
|
|
dependencies = [
|
|
"serde_derive",
|
|
]
|
|
|
|
[[package]]
|
|
name = "serde_derive"
|
|
version = "1.0.136"
|
|
source = "registry+https://github.com/rust-lang/crates.io-index"
|
|
checksum = "08597e7152fcd306f41838ed3e37be9eaeed2b61c42e2117266a554fab4662f9"
|
|
dependencies = [
|
|
"proc-macro2",
|
|
"quote",
|
|
"syn",
|
|
]
|
|
|
|
[[package]]
|
|
name = "serde_json"
|
|
version = "1.0.79"
|
|
source = "registry+https://github.com/rust-lang/crates.io-index"
|
|
checksum = "8e8d9fa5c3b304765ce1fd9c4c8a3de2c8db365a5b91be52f186efc675681d95"
|
|
dependencies = [
|
|
"itoa",
|
|
"ryu",
|
|
"serde",
|
|
]
|
|
|
|
[[package]]
|
|
name = "strsim"
|
|
version = "0.10.0"
|
|
source = "registry+https://github.com/rust-lang/crates.io-index"
|
|
checksum = "73473c0e59e6d5812c5dfe2a064a6444949f089e20eec9a2e5506596494e4623"
|
|
|
|
[[package]]
|
|
name = "syn"
|
|
version = "1.0.86"
|
|
source = "registry+https://github.com/rust-lang/crates.io-index"
|
|
checksum = "8a65b3f4ffa0092e9887669db0eae07941f023991ab58ea44da8fe8e2d511c6b"
|
|
dependencies = [
|
|
"proc-macro2",
|
|
"quote",
|
|
"unicode-xid",
|
|
]
|
|
|
|
[[package]]
|
|
name = "tempfile"
|
|
version = "3.3.0"
|
|
source = "registry+https://github.com/rust-lang/crates.io-index"
|
|
checksum = "5cdb1ef4eaeeaddc8fbd371e5017057064af0911902ef36b39801f67cc6d79e4"
|
|
dependencies = [
|
|
"cfg-if",
|
|
"fastrand",
|
|
"libc",
|
|
"redox_syscall",
|
|
"remove_dir_all",
|
|
"winapi",
|
|
]
|
|
|
|
[[package]]
|
|
name = "termcolor"
|
|
version = "1.1.3"
|
|
source = "registry+https://github.com/rust-lang/crates.io-index"
|
|
checksum = "bab24d30b911b2376f3a13cc2cd443142f0c81dda04c118693e35b3835757755"
|
|
dependencies = [
|
|
"winapi-util",
|
|
]
|
|
|
|
[[package]]
|
|
name = "termtree"
|
|
version = "0.2.4"
|
|
source = "registry+https://github.com/rust-lang/crates.io-index"
|
|
checksum = "507e9898683b6c43a9aa55b64259b721b52ba226e0f3779137e50ad114a4c90b"
|
|
|
|
[[package]]
|
|
name = "test-log"
|
|
version = "0.2.10"
|
|
source = "registry+https://github.com/rust-lang/crates.io-index"
|
|
checksum = "4235dbf7ea878b3ef12dea20a59c134b405a66aafc4fc2c7b9935916e289e735"
|
|
dependencies = [
|
|
"proc-macro2",
|
|
"quote",
|
|
"syn",
|
|
]
|
|
|
|
[[package]]
|
|
name = "textwrap"
|
|
version = "0.15.0"
|
|
source = "registry+https://github.com/rust-lang/crates.io-index"
|
|
checksum = "b1141d4d61095b28419e22cb0bbf02755f5e54e0526f97f1e3d1d160e60885fb"
|
|
|
|
[[package]]
|
|
name = "thread_local"
|
|
version = "1.1.4"
|
|
source = "registry+https://github.com/rust-lang/crates.io-index"
|
|
checksum = "5516c27b78311c50bf42c071425c560ac799b11c30b31f87e3081965fe5e0180"
|
|
dependencies = [
|
|
"once_cell",
|
|
]
|
|
|
|
[[package]]
|
|
name = "unicode-xid"
|
|
version = "0.2.2"
|
|
source = "registry+https://github.com/rust-lang/crates.io-index"
|
|
checksum = "8ccb82d61f80a663efe1f787a51b16b5a51e3314d6ac365b08639f52387b33f3"
|
|
|
|
[[package]]
|
|
name = "version_check"
|
|
version = "0.9.4"
|
|
source = "registry+https://github.com/rust-lang/crates.io-index"
|
|
checksum = "49874b5167b65d7193b8aba1567f5c7d93d001cafc34600cee003eda787e483f"
|
|
|
|
[[package]]
|
|
name = "wait-timeout"
|
|
version = "0.2.0"
|
|
source = "registry+https://github.com/rust-lang/crates.io-index"
|
|
checksum = "9f200f5b12eb75f8c1ed65abd4b2db8a6e1b138a20de009dacee265a2498f3f6"
|
|
dependencies = [
|
|
"libc",
|
|
]
|
|
|
|
[[package]]
|
|
name = "walkdir"
|
|
version = "2.3.2"
|
|
source = "registry+https://github.com/rust-lang/crates.io-index"
|
|
checksum = "808cf2735cd4b6866113f648b791c6adc5714537bc222d9347bb203386ffda56"
|
|
dependencies = [
|
|
"same-file",
|
|
"winapi",
|
|
"winapi-util",
|
|
]
|
|
|
|
[[package]]
|
|
name = "wasi"
|
|
version = "0.9.0+wasi-snapshot-preview1"
|
|
source = "registry+https://github.com/rust-lang/crates.io-index"
|
|
checksum = "cccddf32554fecc6acb585f82a32a72e28b48f8c4c1883ddfeeeaa96f7d8e519"
|
|
|
|
[[package]]
|
|
name = "wasi"
|
|
version = "0.10.2+wasi-snapshot-preview1"
|
|
source = "registry+https://github.com/rust-lang/crates.io-index"
|
|
checksum = "fd6fbd9a79829dd1ad0cc20627bf1ed606756a7f77edff7b66b7064f9cb327c6"
|
|
|
|
[[package]]
|
|
name = "winapi"
|
|
version = "0.3.9"
|
|
source = "registry+https://github.com/rust-lang/crates.io-index"
|
|
checksum = "5c839a674fcd7a98952e593242ea400abe93992746761e38641405d28b00f419"
|
|
dependencies = [
|
|
"winapi-i686-pc-windows-gnu",
|
|
"winapi-x86_64-pc-windows-gnu",
|
|
]
|
|
|
|
[[package]]
|
|
name = "winapi-i686-pc-windows-gnu"
|
|
version = "0.4.0"
|
|
source = "registry+https://github.com/rust-lang/crates.io-index"
|
|
checksum = "ac3b87c63620426dd9b991e5ce0329eff545bccbbb34f3be09ff6fb6ab51b7b6"
|
|
|
|
[[package]]
|
|
name = "winapi-util"
|
|
version = "0.1.5"
|
|
source = "registry+https://github.com/rust-lang/crates.io-index"
|
|
checksum = "70ec6ce85bb158151cae5e5c87f95a8e97d2c0c4b001223f33a334e3ce5de178"
|
|
dependencies = [
|
|
"winapi",
|
|
]
|
|
|
|
[[package]]
|
|
name = "winapi-x86_64-pc-windows-gnu"
|
|
version = "0.4.0"
|
|
source = "registry+https://github.com/rust-lang/crates.io-index"
|
|
checksum = "712e227841d057c1ee1cd2fb22fa7e5a5461ae8e48fa2ca79ec42cfc1931183f"
|