|
|
|
|
| version = 4
|
|
|
| [[package]]
|
| name = "aho-corasick"
|
| version = "1.1.4"
|
| source = "registry+https://github.com/rust-lang/crates.io-index"
|
| checksum = "ddd31a130427c27518df266943a5308ed92d4b226cc639f5a8f1002816174301"
|
| dependencies = [
|
| "memchr",
|
| ]
|
|
|
| [[package]]
|
| name = "anes"
|
| version = "0.1.6"
|
| source = "registry+https://github.com/rust-lang/crates.io-index"
|
| checksum = "4b46cbb362ab8752921c97e041f5e366ee6297bd428a31275b9fcf1e380f7299"
|
|
|
| [[package]]
|
| name = "anstyle"
|
| version = "1.0.14"
|
| source = "registry+https://github.com/rust-lang/crates.io-index"
|
| checksum = "940b3a0ca603d1eade50a4846a2afffd5ef57a9feac2c0e2ec2e14f9ead76000"
|
|
|
| [[package]]
|
| name = "anyhow"
|
| version = "1.0.104"
|
| source = "registry+https://github.com/rust-lang/crates.io-index"
|
| checksum = "330a5ed07fa54e4702c9d6c4174f74427fc0ef6e214bbd677ae50a5099946470"
|
|
|
| [[package]]
|
| name = "arrayref"
|
| version = "0.3.9"
|
| source = "registry+https://github.com/rust-lang/crates.io-index"
|
| checksum = "76a2e8124351fda1ef8aaaa3bbd7ebbcb486bbcd4225aca0aa0d84bb2db8fecb"
|
|
|
| [[package]]
|
| name = "arrayvec"
|
| version = "0.7.8"
|
| source = "registry+https://github.com/rust-lang/crates.io-index"
|
| checksum = "d3fb67a6e08acf24fdeccbac2cb6ac4305825bd1f117462e0e6f2f193345ad56"
|
|
|
| [[package]]
|
| name = "autocfg"
|
| version = "1.5.1"
|
| source = "registry+https://github.com/rust-lang/crates.io-index"
|
| checksum = "f2032f911046de80f0a198e0901378627c33f59ea0ac00e363d481118bd70a53"
|
|
|
| [[package]]
|
| name = "base64ct"
|
| version = "1.8.3"
|
| source = "registry+https://github.com/rust-lang/crates.io-index"
|
| checksum = "2af50177e190e07a26ab74f8b1efbfe2ef87da2116221318cb1c2e82baf7de06"
|
|
|
| [[package]]
|
| name = "bindgen"
|
| version = "0.72.1"
|
| source = "registry+https://github.com/rust-lang/crates.io-index"
|
| checksum = "993776b509cfb49c750f11b8f07a46fa23e0a1386ffc01fb1e7d343efc387895"
|
| dependencies = [
|
| "bitflags",
|
| "cexpr",
|
| "clang-sys",
|
| "itertools 0.13.0",
|
| "proc-macro2",
|
| "quote",
|
| "regex",
|
| "rustc-hash",
|
| "shlex",
|
| "syn 2.0.119",
|
| ]
|
|
|
| [[package]]
|
| name = "bit-set"
|
| version = "0.8.0"
|
| source = "registry+https://github.com/rust-lang/crates.io-index"
|
| checksum = "08807e080ed7f9d5433fa9b275196cfc35414f66a0c79d864dc51a0d825231a3"
|
| dependencies = [
|
| "bit-vec",
|
| ]
|
|
|
| [[package]]
|
| name = "bit-vec"
|
| version = "0.8.0"
|
| source = "registry+https://github.com/rust-lang/crates.io-index"
|
| checksum = "5e764a1d40d510daf35e07be9eb06e75770908c27d411ee6c92109c9840eaaf7"
|
|
|
| [[package]]
|
| name = "bitflags"
|
| version = "2.13.1"
|
| source = "registry+https://github.com/rust-lang/crates.io-index"
|
| checksum = "b588b76d00fde79687d7646a9b5bdf3cc0f655e0bbd080335a95d7e96f3587da"
|
|
|
| [[package]]
|
| name = "blake3"
|
| version = "1.5.3"
|
| source = "registry+https://github.com/rust-lang/crates.io-index"
|
| checksum = "e9ec96fe9a81b5e365f9db71fe00edc4fe4ca2cc7dcb7861f0603012a7caa210"
|
| dependencies = [
|
| "arrayref",
|
| "arrayvec",
|
| "cc",
|
| "cfg-if",
|
| "constant_time_eq",
|
| ]
|
|
|
| [[package]]
|
| name = "block-buffer"
|
| version = "0.10.4"
|
| source = "registry+https://github.com/rust-lang/crates.io-index"
|
| checksum = "3078c7629b62d3f0439517fa394996acacc5cbc91c5a20d8c658e77abd503a71"
|
| dependencies = [
|
| "generic-array",
|
| ]
|
|
|
| [[package]]
|
| name = "boolector"
|
| version = "0.4.3"
|
| source = "registry+https://github.com/rust-lang/crates.io-index"
|
| checksum = "5567f99e46c8f1f61624adafd2fdf4424b203d9fc5534368421725af17c5fd21"
|
| dependencies = [
|
| "boolector-sys",
|
| "libc",
|
| ]
|
|
|
| [[package]]
|
| name = "boolector-sys"
|
| version = "0.7.2"
|
| source = "registry+https://github.com/rust-lang/crates.io-index"
|
| checksum = "17f0c2f69c37174fb92110f2949c79ad87f6ab48bf45e2e3220b669c10698093"
|
| dependencies = [
|
| "libc",
|
| ]
|
|
|
| [[package]]
|
| name = "bumpalo"
|
| version = "3.20.3"
|
| source = "registry+https://github.com/rust-lang/crates.io-index"
|
| checksum = "72f5acc6cb2ba439de613abc23857ec3d78374d8ed5ac84e9d11336e87da8649"
|
|
|
| [[package]]
|
| name = "bytes"
|
| version = "1.12.1"
|
| source = "registry+https://github.com/rust-lang/crates.io-index"
|
| checksum = "fc652a48c352aef3ea3aed32080501cf3ef6ed5da78602a020c991775b0aff04"
|
|
|
| [[package]]
|
| name = "cast"
|
| version = "0.3.0"
|
| source = "registry+https://github.com/rust-lang/crates.io-index"
|
| checksum = "37b2a672a2cb129a2e41c10b1224bb368f9f37a2b16b612598138befd7b37eb5"
|
|
|
| [[package]]
|
| name = "cc"
|
| version = "1.0.106"
|
| source = "registry+https://github.com/rust-lang/crates.io-index"
|
| checksum = "066fce287b1d4eafef758e89e09d724a24808a9196fe9756b8ca90e86d0719a2"
|
|
|
| [[package]]
|
| name = "cexpr"
|
| version = "0.6.0"
|
| source = "registry+https://github.com/rust-lang/crates.io-index"
|
| checksum = "6fac387a98bb7c37292057cffc56d62ecb629900026402633ae9160df93a8766"
|
| dependencies = [
|
| "nom",
|
| ]
|
|
|
| [[package]]
|
| name = "cfg-if"
|
| version = "1.0.4"
|
| source = "registry+https://github.com/rust-lang/crates.io-index"
|
| checksum = "9330f8b2ff13f34540b44e946ef35111825727b38d33286ef986142615121801"
|
|
|
| [[package]]
|
| name = "ciborium"
|
| version = "0.2.2"
|
| source = "registry+https://github.com/rust-lang/crates.io-index"
|
| checksum = "42e69ffd6f0917f5c029256a24d0161db17cea3997d185db0d35926308770f0e"
|
| dependencies = [
|
| "ciborium-io",
|
| "ciborium-ll",
|
| "serde",
|
| ]
|
|
|
| [[package]]
|
| name = "ciborium-io"
|
| version = "0.2.2"
|
| source = "registry+https://github.com/rust-lang/crates.io-index"
|
| checksum = "05afea1e0a06c9be33d539b876f1ce3692f4afea2cb41f740e7743225ed1c757"
|
|
|
| [[package]]
|
| name = "ciborium-ll"
|
| version = "0.2.2"
|
| source = "registry+https://github.com/rust-lang/crates.io-index"
|
| checksum = "57663b653d948a338bfb3eeba9bb2fd5fcfaecb9e199e87e1eda4d9e8b240fd9"
|
| dependencies = [
|
| "ciborium-io",
|
| "half",
|
| ]
|
|
|
| [[package]]
|
| name = "clang-sys"
|
| version = "1.8.1"
|
| source = "registry+https://github.com/rust-lang/crates.io-index"
|
| checksum = "0b023947811758c97c59bf9d1c188fd619ad4718dcaa767947df1cadb14f39f4"
|
| dependencies = [
|
| "glob",
|
| "libc",
|
| "libloading",
|
| ]
|
|
|
| [[package]]
|
| name = "clap"
|
| version = "4.6.4"
|
| source = "registry+https://github.com/rust-lang/crates.io-index"
|
| checksum = "d91e0c145792ef73a6ad36d27c75ac09f1832222a3c209689d90f534685ee5b7"
|
| dependencies = [
|
| "clap_builder",
|
| ]
|
|
|
| [[package]]
|
| name = "clap_builder"
|
| version = "4.6.2"
|
| source = "registry+https://github.com/rust-lang/crates.io-index"
|
| checksum = "f09628afdcc538b57f3c6341e9c8e9970f18e4a481690a64974d7023bd33548b"
|
| dependencies = [
|
| "anstyle",
|
| "clap_lex",
|
| ]
|
|
|
| [[package]]
|
| name = "clap_lex"
|
| version = "1.1.0"
|
| source = "registry+https://github.com/rust-lang/crates.io-index"
|
| checksum = "c8d4a3bb8b1e0c1050499d1815f5ab16d04f0959b233085fb31653fbfc9d98f9"
|
|
|
| [[package]]
|
| name = "const-oid"
|
| version = "0.9.6"
|
| source = "registry+https://github.com/rust-lang/crates.io-index"
|
| checksum = "c2459377285ad874054d797f3ccebf984978aa39129f6eafde5cdc8315b612f8"
|
|
|
| [[package]]
|
| name = "constant_time_eq"
|
| version = "0.3.1"
|
| source = "registry+https://github.com/rust-lang/crates.io-index"
|
| checksum = "7c74b8349d32d297c9134b8c88677813a227df8f779daa29bfc29c183fe3dca6"
|
|
|
| [[package]]
|
| name = "cpufeatures"
|
| version = "0.2.17"
|
| source = "registry+https://github.com/rust-lang/crates.io-index"
|
| checksum = "59ed5838eebb26a2bb2e58f6d5b5316989ae9d08bab10e0e6d103e656d1b0280"
|
| dependencies = [
|
| "libc",
|
| ]
|
|
|
| [[package]]
|
| name = "criterion"
|
| version = "0.5.1"
|
| source = "registry+https://github.com/rust-lang/crates.io-index"
|
| checksum = "f2b12d017a929603d80db1831cd3a24082f8137ce19c69e6447f54f5fc8d692f"
|
| dependencies = [
|
| "anes",
|
| "cast",
|
| "ciborium",
|
| "clap",
|
| "criterion-plot",
|
| "is-terminal",
|
| "itertools 0.10.5",
|
| "num-traits",
|
| "once_cell",
|
| "oorandom",
|
| "plotters",
|
| "rayon",
|
| "regex",
|
| "serde",
|
| "serde_derive",
|
| "serde_json",
|
| "tinytemplate",
|
| "walkdir",
|
| ]
|
|
|
| [[package]]
|
| name = "criterion-plot"
|
| version = "0.5.0"
|
| source = "registry+https://github.com/rust-lang/crates.io-index"
|
| checksum = "6b50826342786a51a89e2da3a28f1c32b06e387201bc2d19791f622c673706b1"
|
| dependencies = [
|
| "cast",
|
| "itertools 0.10.5",
|
| ]
|
|
|
| [[package]]
|
| name = "crossbeam"
|
| version = "0.8.4"
|
| source = "registry+https://github.com/rust-lang/crates.io-index"
|
| checksum = "1137cd7e7fc0fb5d3c5a8678be38ec56e819125d8d7907411fe24ccb943faca8"
|
| dependencies = [
|
| "crossbeam-channel",
|
| "crossbeam-deque",
|
| "crossbeam-epoch",
|
| "crossbeam-queue",
|
| "crossbeam-utils",
|
| ]
|
|
|
| [[package]]
|
| name = "crossbeam-channel"
|
| version = "0.5.16"
|
| source = "registry+https://github.com/rust-lang/crates.io-index"
|
| checksum = "d85363c37faeca707aef026efa9f3b34d077bce547e48f770770625c6013679e"
|
| dependencies = [
|
| "crossbeam-utils",
|
| ]
|
|
|
| [[package]]
|
| name = "crossbeam-deque"
|
| version = "0.8.7"
|
| source = "registry+https://github.com/rust-lang/crates.io-index"
|
| checksum = "5181e0de7b61eb03a81e347d6dd8797bae9da5146707b51077e2d71a54ec0ceb"
|
| dependencies = [
|
| "crossbeam-epoch",
|
| "crossbeam-utils",
|
| ]
|
|
|
| [[package]]
|
| name = "crossbeam-epoch"
|
| version = "0.9.20"
|
| source = "registry+https://github.com/rust-lang/crates.io-index"
|
| checksum = "2d6914041f254d6e9176c01941b21115dcfb7089e55135a35411081bd106ef3f"
|
| dependencies = [
|
| "crossbeam-utils",
|
| ]
|
|
|
| [[package]]
|
| name = "crossbeam-queue"
|
| version = "0.3.13"
|
| source = "registry+https://github.com/rust-lang/crates.io-index"
|
| checksum = "803d13fb3b09d88be9f4dbc29062c66b19bf7170867ceb746d2a8689bf6c7a26"
|
| dependencies = [
|
| "crossbeam-utils",
|
| ]
|
|
|
| [[package]]
|
| name = "crossbeam-utils"
|
| version = "0.8.22"
|
| source = "registry+https://github.com/rust-lang/crates.io-index"
|
| checksum = "61803da095bee82a81bb1a452ecc25d3b2f1416d1897eb86430c6159ef717c17"
|
|
|
| [[package]]
|
| name = "crunchy"
|
| version = "0.2.4"
|
| source = "registry+https://github.com/rust-lang/crates.io-index"
|
| checksum = "460fbee9c2c2f33933d720630a6a0bac33ba7053db5344fac858d4b8952d77d5"
|
|
|
| [[package]]
|
| name = "crypto-common"
|
| version = "0.1.7"
|
| source = "registry+https://github.com/rust-lang/crates.io-index"
|
| checksum = "78c8292055d1c1df0cce5d180393dc8cce0abec0a7102adb6c7b1eef6016d60a"
|
| dependencies = [
|
| "generic-array",
|
| "typenum",
|
| ]
|
|
|
| [[package]]
|
| name = "curve25519-dalek"
|
| version = "4.1.3"
|
| source = "registry+https://github.com/rust-lang/crates.io-index"
|
| checksum = "97fb8b7c4503de7d6ae7b42ab72a5a59857b4c937ec27a3d4539dba95b5ab2be"
|
| dependencies = [
|
| "cfg-if",
|
| "cpufeatures",
|
| "curve25519-dalek-derive",
|
| "digest",
|
| "fiat-crypto",
|
| "rustc_version",
|
| "subtle",
|
| "zeroize",
|
| ]
|
|
|
| [[package]]
|
| name = "curve25519-dalek-derive"
|
| version = "0.1.1"
|
| source = "registry+https://github.com/rust-lang/crates.io-index"
|
| checksum = "f46882e17999c6cc590af592290432be3bce0428cb0d5f8b6715e4dc7b383eb3"
|
| dependencies = [
|
| "proc-macro2",
|
| "quote",
|
| "syn 2.0.119",
|
| ]
|
|
|
| [[package]]
|
| name = "der"
|
| version = "0.7.10"
|
| source = "registry+https://github.com/rust-lang/crates.io-index"
|
| checksum = "e7c1832837b905bbfb5101e07cc24c8deddf52f93225eee6ead5f4d63d53ddcb"
|
| dependencies = [
|
| "const-oid",
|
| "zeroize",
|
| ]
|
|
|
| [[package]]
|
| name = "digest"
|
| version = "0.10.7"
|
| source = "registry+https://github.com/rust-lang/crates.io-index"
|
| checksum = "9ed9a281f7bc9b7576e61468ba615a66a5c8cfdff42420a70aa82701a3b1e292"
|
| dependencies = [
|
| "block-buffer",
|
| "crypto-common",
|
| ]
|
|
|
| [[package]]
|
| name = "ed25519"
|
| version = "2.2.3"
|
| source = "registry+https://github.com/rust-lang/crates.io-index"
|
| checksum = "115531babc129696a58c64a4fef0a8bf9e9698629fb97e9e40767d235cfbcd53"
|
| dependencies = [
|
| "pkcs8",
|
| "signature",
|
| ]
|
|
|
| [[package]]
|
| name = "ed25519-dalek"
|
| version = "2.2.0"
|
| source = "registry+https://github.com/rust-lang/crates.io-index"
|
| checksum = "70e796c081cee67dc755e1a36a0a172b897fab85fc3f6bc48307991f64e4eca9"
|
| dependencies = [
|
| "curve25519-dalek",
|
| "ed25519",
|
| "serde",
|
| "sha2",
|
| "subtle",
|
| "zeroize",
|
| ]
|
|
|
| [[package]]
|
| name = "either"
|
| version = "1.17.0"
|
| source = "registry+https://github.com/rust-lang/crates.io-index"
|
| checksum = "9e5e8f6c15a24b9a3ee5efec809ccd006d3b30e8b3bb63c39af737c7f87daa1d"
|
|
|
| [[package]]
|
| name = "errno"
|
| version = "0.3.14"
|
| source = "registry+https://github.com/rust-lang/crates.io-index"
|
| checksum = "39cab71617ae0d63f51a36d69f866391735b51691dbda63cf6f96d042b63efeb"
|
| dependencies = [
|
| "libc",
|
| "windows-sys",
|
| ]
|
|
|
| [[package]]
|
| name = "fastrand"
|
| version = "2.5.0"
|
| source = "registry+https://github.com/rust-lang/crates.io-index"
|
| checksum = "da7c62ceae207dd37ea5b845da6a0696c799f85e97da1ab5b7910be3c1c80223"
|
|
|
| [[package]]
|
| name = "fiat-crypto"
|
| version = "0.2.9"
|
| source = "registry+https://github.com/rust-lang/crates.io-index"
|
| checksum = "28dea519a9695b9977216879a3ebfddf92f1c08c05d984f8996aecd6ecdc811d"
|
|
|
| [[package]]
|
| name = "fnv"
|
| version = "1.0.7"
|
| source = "registry+https://github.com/rust-lang/crates.io-index"
|
| checksum = "3f9eec918d3f24069decb9af1554cad7c880e2da24a9afd88aca000531ab82c1"
|
|
|
| [[package]]
|
| name = "futures-core"
|
| version = "0.3.33"
|
| source = "registry+https://github.com/rust-lang/crates.io-index"
|
| checksum = "2cd50c473c80f6d7c3670a752354b8e569b1a7cbfdc0419ec88e5edad85e0dc7"
|
|
|
| [[package]]
|
| name = "futures-task"
|
| version = "0.3.33"
|
| source = "registry+https://github.com/rust-lang/crates.io-index"
|
| checksum = "b231ed28831efb4a61a08580c4bc233ec56bc009f4cd8f52da2c3cb97df0c109"
|
|
|
| [[package]]
|
| name = "futures-util"
|
| version = "0.3.33"
|
| source = "registry+https://github.com/rust-lang/crates.io-index"
|
| checksum = "a77a90a256fce34da66415271e30f94ee91c57b04b8a2c042d9cf3220179deaa"
|
| dependencies = [
|
| "futures-core",
|
| "futures-task",
|
| "pin-project-lite",
|
| "slab",
|
| ]
|
|
|
| [[package]]
|
| name = "generic-array"
|
| version = "0.14.7"
|
| source = "registry+https://github.com/rust-lang/crates.io-index"
|
| checksum = "85649ca51fd72272d7821adaf274ad91c288277713d9c18820d8499a7ff69e9a"
|
| dependencies = [
|
| "typenum",
|
| "version_check",
|
| ]
|
|
|
| [[package]]
|
| name = "getrandom"
|
| version = "0.2.17"
|
| source = "registry+https://github.com/rust-lang/crates.io-index"
|
| checksum = "ff2abc00be7fca6ebc474524697ae276ad847ad0a6b3faa4bcb027e9a4614ad0"
|
| dependencies = [
|
| "cfg-if",
|
| "libc",
|
| "wasi",
|
| ]
|
|
|
| [[package]]
|
| name = "getrandom"
|
| version = "0.3.4"
|
| source = "registry+https://github.com/rust-lang/crates.io-index"
|
| checksum = "899def5c37c4fd7b2664648c28120ecec138e4d395b459e5ca34f9cce2dd77fd"
|
| dependencies = [
|
| "cfg-if",
|
| "libc",
|
| "r-efi 5.3.0",
|
| "wasip2",
|
| ]
|
|
|
| [[package]]
|
| name = "getrandom"
|
| version = "0.4.3"
|
| source = "registry+https://github.com/rust-lang/crates.io-index"
|
| checksum = "300e883d756b2e4ec94e02791f39b04b522276138852cfc41d9fb7e904106099"
|
| dependencies = [
|
| "cfg-if",
|
| "libc",
|
| "r-efi 6.0.0",
|
| ]
|
|
|
| [[package]]
|
| name = "glob"
|
| version = "0.3.4"
|
| source = "registry+https://github.com/rust-lang/crates.io-index"
|
| checksum = "e4eba85ea1d0a966a983acd07deee566e67395d2d96b6fb39e62b5a833f1eb0b"
|
|
|
| [[package]]
|
| name = "half"
|
| version = "2.7.1"
|
| source = "registry+https://github.com/rust-lang/crates.io-index"
|
| checksum = "6ea2d84b969582b4b1864a92dc5d27cd2b77b622a8d79306834f1be5ba20d84b"
|
| dependencies = [
|
| "cfg-if",
|
| "crunchy",
|
| "zerocopy",
|
| ]
|
|
|
| [[package]]
|
| name = "hermit-abi"
|
| version = "0.5.2"
|
| source = "registry+https://github.com/rust-lang/crates.io-index"
|
| checksum = "fc0fef456e4baa96da950455cd02c081ca953b141298e41db3fc7e36b1da849c"
|
|
|
| [[package]]
|
| name = "hex"
|
| version = "0.4.3"
|
| source = "registry+https://github.com/rust-lang/crates.io-index"
|
| checksum = "7f24254aa9a54b5c858eaee2f5bccdb46aaf0e486a595ed5fd8f86ba55232a70"
|
|
|
| [[package]]
|
| name = "invariant-extractor"
|
| version = "0.1.0"
|
| dependencies = [
|
| "anyhow",
|
| "boolector",
|
| "proptest",
|
| "serde",
|
| "serde_json",
|
| "subleq-ir",
|
| "subleq-vm",
|
| "thiserror",
|
| "tracing",
|
| "z3",
|
| ]
|
|
|
| [[package]]
|
| name = "is-terminal"
|
| version = "0.4.17"
|
| source = "registry+https://github.com/rust-lang/crates.io-index"
|
| checksum = "3640c1c38b8e4e43584d8df18be5fc6b0aa314ce6ebf51b53313d4306cca8e46"
|
| dependencies = [
|
| "hermit-abi",
|
| "libc",
|
| "windows-sys",
|
| ]
|
|
|
| [[package]]
|
| name = "itertools"
|
| version = "0.10.5"
|
| source = "registry+https://github.com/rust-lang/crates.io-index"
|
| checksum = "b0fd2260e829bddf4cb6ea802289de2f86d6a7a690192fbe91b3f46e0f2c8473"
|
| dependencies = [
|
| "either",
|
| ]
|
|
|
| [[package]]
|
| name = "itertools"
|
| version = "0.13.0"
|
| source = "registry+https://github.com/rust-lang/crates.io-index"
|
| checksum = "413ee7dfc52ee1a4949ceeb7dbc8a33f2d6c088194d9f922fb8318faf1f01186"
|
| dependencies = [
|
| "either",
|
| ]
|
|
|
| [[package]]
|
| name = "itoa"
|
| version = "1.0.18"
|
| source = "registry+https://github.com/rust-lang/crates.io-index"
|
| checksum = "8f42a60cbdf9a97f5d2305f08a87dc4e09308d1276d28c869c684d7777685682"
|
|
|
| [[package]]
|
| name = "js-sys"
|
| version = "0.3.103"
|
| source = "registry+https://github.com/rust-lang/crates.io-index"
|
| checksum = "53b44bfcdb3f8d5837a46dae1ca9660a837176eee74a28b229bc626816589102"
|
| dependencies = [
|
| "cfg-if",
|
| "futures-util",
|
| "wasm-bindgen",
|
| ]
|
|
|
| [[package]]
|
| name = "libc"
|
| version = "0.2.189"
|
| source = "registry+https://github.com/rust-lang/crates.io-index"
|
| checksum = "3eaf3ede3fee6db1a4c2ee091bf8a8b4dccdc6d17f656fb07896ee72867612f2"
|
|
|
| [[package]]
|
| name = "libloading"
|
| version = "0.8.9"
|
| source = "registry+https://github.com/rust-lang/crates.io-index"
|
| checksum = "d7c4b02199fee7c5d21a5ae7d8cfa79a6ef5bb2fc834d6e9058e89c825efdc55"
|
| dependencies = [
|
| "cfg-if",
|
| "windows-link",
|
| ]
|
|
|
| [[package]]
|
| name = "linux-raw-sys"
|
| version = "0.12.1"
|
| source = "registry+https://github.com/rust-lang/crates.io-index"
|
| checksum = "32a66949e030da00e8c7d4434b251670a91556f4144941d37452769c25d58a53"
|
|
|
| [[package]]
|
| name = "lock_api"
|
| version = "0.4.14"
|
| source = "registry+https://github.com/rust-lang/crates.io-index"
|
| checksum = "224399e74b87b5f3557511d98dff8b14089b3dadafcab6bb93eab67d3aace965"
|
| dependencies = [
|
| "scopeguard",
|
| ]
|
|
|
| [[package]]
|
| name = "log"
|
| version = "0.4.33"
|
| source = "registry+https://github.com/rust-lang/crates.io-index"
|
| checksum = "0ceec5bc11778974d1bcb055b18002eba7f4b3518b6a0081b3af5f21666da9ad"
|
|
|
| [[package]]
|
| name = "m4-morph"
|
| version = "0.1.0"
|
| dependencies = [
|
| "anyhow",
|
| "libc",
|
| "proptest",
|
| "serde",
|
| "serde_json",
|
| "thiserror",
|
| "tokio",
|
| "tracing",
|
| ]
|
|
|
| [[package]]
|
| name = "memchr"
|
| version = "2.8.3"
|
| source = "registry+https://github.com/rust-lang/crates.io-index"
|
| checksum = "cf8baf1c55e62ffcace7a9f06f4bd9cd3f0c4beb022d3b367256b91b87513d98"
|
|
|
| [[package]]
|
| name = "memmap2"
|
| version = "0.9.11"
|
| source = "registry+https://github.com/rust-lang/crates.io-index"
|
| checksum = "d1219ed1b7f229ee7104d281dd01d6802fe28bb6e95d292942c4daacdeb798c0"
|
| dependencies = [
|
| "libc",
|
| ]
|
|
|
| [[package]]
|
| name = "minimal-lexical"
|
| version = "0.2.1"
|
| source = "registry+https://github.com/rust-lang/crates.io-index"
|
| checksum = "68354c5c6bd36d73ff3feceb05efa59b6acb7626617f4962be322a825e61f79a"
|
|
|
| [[package]]
|
| name = "mio"
|
| version = "1.2.2"
|
| source = "registry+https://github.com/rust-lang/crates.io-index"
|
| checksum = "30d65c71f1ce40ab09135ce117d742b9f8a19ff91a41a8b57ed50bc2de59c427"
|
| dependencies = [
|
| "libc",
|
| "wasi",
|
| "windows-sys",
|
| ]
|
|
|
| [[package]]
|
| name = "nix"
|
| version = "0.27.1"
|
| source = "registry+https://github.com/rust-lang/crates.io-index"
|
| checksum = "2eb04e9c688eff1c89d72b407f168cf79bb9e867a9d3323ed6c01519eb9cc053"
|
| dependencies = [
|
| "bitflags",
|
| "cfg-if",
|
| "libc",
|
| ]
|
|
|
| [[package]]
|
| name = "nom"
|
| version = "7.1.3"
|
| source = "registry+https://github.com/rust-lang/crates.io-index"
|
| checksum = "d273983c5a657a70a3e8f2a01329822f3b8c8172b73826411a55751e404a0a4a"
|
| dependencies = [
|
| "memchr",
|
| "minimal-lexical",
|
| ]
|
|
|
| [[package]]
|
| name = "notebook-kernel"
|
| version = "0.1.0"
|
| dependencies = [
|
| "anyhow",
|
| "bytes",
|
| "crossbeam",
|
| "invariant-extractor",
|
| "m4-morph",
|
| "polyglot-frontend",
|
| "proof-validator",
|
| "proptest",
|
| "serde",
|
| "serde_json",
|
| "subleq-ir",
|
| "subleq-vm",
|
| "thiserror",
|
| "tokio",
|
| "tracing",
|
| ]
|
|
|
| [[package]]
|
| name = "notebook-orchestrator"
|
| version = "0.1.0"
|
| dependencies = [
|
| "anyhow",
|
| "blake3",
|
| "ed25519-dalek",
|
| "hex",
|
| "rand 0.8.7",
|
| "serde",
|
| "serde_json",
|
| "sha2",
|
| "signature",
|
| "thiserror",
|
| "tokio",
|
| "tracing",
|
| "uuid",
|
| ]
|
|
|
| [[package]]
|
| name = "num"
|
| version = "0.4.3"
|
| source = "registry+https://github.com/rust-lang/crates.io-index"
|
| checksum = "35bd024e8b2ff75562e5f34e7f4905839deb4b22955ef5e73d2fea1b9813cb23"
|
| dependencies = [
|
| "num-bigint",
|
| "num-complex",
|
| "num-integer",
|
| "num-iter",
|
| "num-rational",
|
| "num-traits",
|
| ]
|
|
|
| [[package]]
|
| name = "num-bigint"
|
| version = "0.4.8"
|
| source = "registry+https://github.com/rust-lang/crates.io-index"
|
| checksum = "c89e69e7e0f03bea5ef08013795c25018e101932225a656383bd384495ecc367"
|
| dependencies = [
|
| "num-integer",
|
| "num-traits",
|
| ]
|
|
|
| [[package]]
|
| name = "num-complex"
|
| version = "0.4.6"
|
| source = "registry+https://github.com/rust-lang/crates.io-index"
|
| checksum = "73f88a1307638156682bada9d7604135552957b7818057dcef22705b4d509495"
|
| dependencies = [
|
| "num-traits",
|
| ]
|
|
|
| [[package]]
|
| name = "num-integer"
|
| version = "0.1.46"
|
| source = "registry+https://github.com/rust-lang/crates.io-index"
|
| checksum = "7969661fd2958a5cb096e56c8e1ad0444ac2bbcd0061bd28660485a44879858f"
|
| dependencies = [
|
| "num-traits",
|
| ]
|
|
|
| [[package]]
|
| name = "num-iter"
|
| version = "0.1.46"
|
| source = "registry+https://github.com/rust-lang/crates.io-index"
|
| checksum = "c92800bd69a1eac91786bcfe9da64a897eb72911b8dc3095decbd07429e8048b"
|
| dependencies = [
|
| "num-integer",
|
| "num-traits",
|
| ]
|
|
|
| [[package]]
|
| name = "num-rational"
|
| version = "0.4.2"
|
| source = "registry+https://github.com/rust-lang/crates.io-index"
|
| checksum = "f83d14da390562dca69fc84082e73e548e1ad308d24accdedd2720017cb37824"
|
| dependencies = [
|
| "num-bigint",
|
| "num-integer",
|
| "num-traits",
|
| ]
|
|
|
| [[package]]
|
| name = "num-traits"
|
| version = "0.2.19"
|
| source = "registry+https://github.com/rust-lang/crates.io-index"
|
| checksum = "071dfc062690e90b734c0b2273ce72ad0ffa95f0c74596bc250dcfd960262841"
|
| dependencies = [
|
| "autocfg",
|
| ]
|
|
|
| [[package]]
|
| name = "once_cell"
|
| version = "1.21.4"
|
| source = "registry+https://github.com/rust-lang/crates.io-index"
|
| checksum = "9f7c3e4beb33f85d45ae3e3a1792185706c8e16d043238c593331cc7cd313b50"
|
|
|
| [[package]]
|
| name = "oorandom"
|
| version = "11.1.5"
|
| source = "registry+https://github.com/rust-lang/crates.io-index"
|
| checksum = "d6790f58c7ff633d8771f42965289203411a5e5c68388703c06e14f24770b41e"
|
|
|
| [[package]]
|
| name = "parking_lot"
|
| version = "0.12.5"
|
| source = "registry+https://github.com/rust-lang/crates.io-index"
|
| checksum = "93857453250e3077bd71ff98b6a65ea6621a19bb0f559a85248955ac12c45a1a"
|
| dependencies = [
|
| "lock_api",
|
| "parking_lot_core",
|
| ]
|
|
|
| [[package]]
|
| name = "parking_lot_core"
|
| version = "0.9.12"
|
| source = "registry+https://github.com/rust-lang/crates.io-index"
|
| checksum = "2621685985a2ebf1c516881c026032ac7deafcda1a2c9b7850dc81e3dfcb64c1"
|
| dependencies = [
|
| "cfg-if",
|
| "libc",
|
| "redox_syscall",
|
| "smallvec",
|
| "windows-link",
|
| ]
|
|
|
| [[package]]
|
| name = "pin-project-lite"
|
| version = "0.2.17"
|
| source = "registry+https://github.com/rust-lang/crates.io-index"
|
| checksum = "a89322df9ebe1c1578d689c92318e070967d1042b512afbe49518723f4e6d5cd"
|
|
|
| [[package]]
|
| name = "pkcs8"
|
| version = "0.10.2"
|
| source = "registry+https://github.com/rust-lang/crates.io-index"
|
| checksum = "f950b2377845cebe5cf8b5165cb3cc1a5e0fa5cfa3e1f7f55707d8fd82e0a7b7"
|
| dependencies = [
|
| "der",
|
| "spki",
|
| ]
|
|
|
| [[package]]
|
| name = "pkg-config"
|
| version = "0.3.33"
|
| source = "registry+https://github.com/rust-lang/crates.io-index"
|
| checksum = "19f132c84eca552bf34cab8ec81f1c1dcc229b811638f9d283dceabe58c5569e"
|
|
|
| [[package]]
|
| name = "plotters"
|
| version = "0.3.7"
|
| source = "registry+https://github.com/rust-lang/crates.io-index"
|
| checksum = "5aeb6f403d7a4911efb1e33402027fc44f29b5bf6def3effcc22d7bb75f2b747"
|
| dependencies = [
|
| "num-traits",
|
| "plotters-backend",
|
| "plotters-svg",
|
| "wasm-bindgen",
|
| "web-sys",
|
| ]
|
|
|
| [[package]]
|
| name = "plotters-backend"
|
| version = "0.3.7"
|
| source = "registry+https://github.com/rust-lang/crates.io-index"
|
| checksum = "df42e13c12958a16b3f7f4386b9ab1f3e7933914ecea48da7139435263a4172a"
|
|
|
| [[package]]
|
| name = "plotters-svg"
|
| version = "0.3.7"
|
| source = "registry+https://github.com/rust-lang/crates.io-index"
|
| checksum = "51bae2ac328883f7acdfea3d66a7c35751187f870bc81f94563733a154d7a670"
|
| dependencies = [
|
| "plotters-backend",
|
| ]
|
|
|
| [[package]]
|
| name = "polyglot-frontend"
|
| version = "0.1.0"
|
| dependencies = [
|
| "anyhow",
|
| "proc-macro2",
|
| "proptest",
|
| "quote",
|
| "serde",
|
| "serde_json",
|
| "subleq-ir",
|
| "syn 2.0.119",
|
| "thiserror",
|
| "tracing",
|
| "tree-sitter",
|
| "tree-sitter-c",
|
| "tree-sitter-javascript",
|
| "tree-sitter-python",
|
| "tree-sitter-rust",
|
| ]
|
|
|
| [[package]]
|
| name = "ppv-lite86"
|
| version = "0.2.21"
|
| source = "registry+https://github.com/rust-lang/crates.io-index"
|
| checksum = "85eae3c4ed2f50dcfe72643da4befc30deadb458a9b590d720cde2f2b1e97da9"
|
| dependencies = [
|
| "zerocopy",
|
| ]
|
|
|
| [[package]]
|
| name = "proc-macro2"
|
| version = "1.0.107"
|
| source = "registry+https://github.com/rust-lang/crates.io-index"
|
| checksum = "985e7ec9bb745e6ce6535b544d84d6cd6f7ad8bd711c398938ae983b91a766d9"
|
| dependencies = [
|
| "unicode-ident",
|
| ]
|
|
|
| [[package]]
|
| name = "proof-validator"
|
| version = "0.1.0"
|
| dependencies = [
|
| "anyhow",
|
| "blake3",
|
| "ed25519-dalek",
|
| "invariant-extractor",
|
| "proptest",
|
| "serde",
|
| "serde_json",
|
| "sha2",
|
| "subleq-ir",
|
| "subleq-vm",
|
| "thiserror",
|
| "tracing",
|
| ]
|
|
|
| [[package]]
|
| name = "proptest"
|
| version = "1.11.0"
|
| source = "registry+https://github.com/rust-lang/crates.io-index"
|
| checksum = "4b45fcc2344c680f5025fe57779faef368840d0bd1f42f216291f0dc4ace4744"
|
| dependencies = [
|
| "bit-set",
|
| "bit-vec",
|
| "bitflags",
|
| "num-traits",
|
| "rand 0.9.5",
|
| "rand_chacha 0.9.0",
|
| "rand_xorshift",
|
| "regex-syntax",
|
| "rusty-fork",
|
| "tempfile",
|
| "unarray",
|
| ]
|
|
|
| [[package]]
|
| name = "quick-error"
|
| version = "1.2.3"
|
| source = "registry+https://github.com/rust-lang/crates.io-index"
|
| checksum = "a1d01941d82fa2ab50be1e79e6714289dd7cde78eba4c074bc5a4374f650dfe0"
|
|
|
| [[package]]
|
| name = "quote"
|
| version = "1.0.47"
|
| source = "registry+https://github.com/rust-lang/crates.io-index"
|
| checksum = "1fbf4db142a473a8d80c26bbf18454ed458bf8d26c8219c331daecfdbd079001"
|
| dependencies = [
|
| "proc-macro2",
|
| ]
|
|
|
| [[package]]
|
| name = "r-efi"
|
| version = "5.3.0"
|
| source = "registry+https://github.com/rust-lang/crates.io-index"
|
| checksum = "69cdb34c158ceb288df11e18b4bd39de994f6657d83847bdffdbd7f346754b0f"
|
|
|
| [[package]]
|
| name = "r-efi"
|
| version = "6.0.0"
|
| source = "registry+https://github.com/rust-lang/crates.io-index"
|
| checksum = "f8dcc9c7d52a811697d2151c701e0d08956f92b0e24136cf4cf27b57a6a0d9bf"
|
|
|
| [[package]]
|
| name = "rand"
|
| version = "0.8.7"
|
| source = "registry+https://github.com/rust-lang/crates.io-index"
|
| checksum = "22f6172bdec972074665ed81ed53b71da00bfc44b65a753cfde883ec4c702a1a"
|
| dependencies = [
|
| "libc",
|
| "rand_chacha 0.3.1",
|
| "rand_core 0.6.4",
|
| ]
|
|
|
| [[package]]
|
| name = "rand"
|
| version = "0.9.5"
|
| source = "registry+https://github.com/rust-lang/crates.io-index"
|
| checksum = "b9ef1d0d795eb7d84685bca4f72f3649f064e6641543d3a8c415898726a57b41"
|
| dependencies = [
|
| "rand_chacha 0.9.0",
|
| "rand_core 0.9.5",
|
| ]
|
|
|
| [[package]]
|
| name = "rand_chacha"
|
| version = "0.3.1"
|
| source = "registry+https://github.com/rust-lang/crates.io-index"
|
| checksum = "e6c10a63a0fa32252be49d21e7709d4d4baf8d231c2dbce1eaa8141b9b127d88"
|
| dependencies = [
|
| "ppv-lite86",
|
| "rand_core 0.6.4",
|
| ]
|
|
|
| [[package]]
|
| name = "rand_chacha"
|
| version = "0.9.0"
|
| source = "registry+https://github.com/rust-lang/crates.io-index"
|
| checksum = "d3022b5f1df60f26e1ffddd6c66e8aa15de382ae63b3a0c1bfc0e4d3e3f325cb"
|
| dependencies = [
|
| "ppv-lite86",
|
| "rand_core 0.9.5",
|
| ]
|
|
|
| [[package]]
|
| name = "rand_core"
|
| version = "0.6.4"
|
| source = "registry+https://github.com/rust-lang/crates.io-index"
|
| checksum = "ec0be4795e2f6a28069bec0b5ff3e2ac9bafc99e6a9a7dc3547996c5c816922c"
|
| dependencies = [
|
| "getrandom 0.2.17",
|
| ]
|
|
|
| [[package]]
|
| name = "rand_core"
|
| version = "0.9.5"
|
| source = "registry+https://github.com/rust-lang/crates.io-index"
|
| checksum = "76afc826de14238e6e8c374ddcc1fa19e374fd8dd986b0d2af0d02377261d83c"
|
| dependencies = [
|
| "getrandom 0.3.4",
|
| ]
|
|
|
| [[package]]
|
| name = "rand_xorshift"
|
| version = "0.4.0"
|
| source = "registry+https://github.com/rust-lang/crates.io-index"
|
| checksum = "513962919efc330f829edb2535844d1b912b0fbe2ca165d613e4e8788bb05a5a"
|
| dependencies = [
|
| "rand_core 0.9.5",
|
| ]
|
|
|
| [[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 = "redox_syscall"
|
| version = "0.5.18"
|
| source = "registry+https://github.com/rust-lang/crates.io-index"
|
| checksum = "ed2bf2547551a7053d6fdfafda3f938979645c44812fbfcda098faae3f1a362d"
|
| dependencies = [
|
| "bitflags",
|
| ]
|
|
|
| [[package]]
|
| name = "regex"
|
| version = "1.13.1"
|
| source = "registry+https://github.com/rust-lang/crates.io-index"
|
| checksum = "f020237b6c8eed93db2e2cb53c00c60a8e1bc73da7d073199a1180401450218d"
|
| dependencies = [
|
| "aho-corasick",
|
| "memchr",
|
| "regex-automata",
|
| "regex-syntax",
|
| ]
|
|
|
| [[package]]
|
| name = "regex-automata"
|
| version = "0.4.16"
|
| source = "registry+https://github.com/rust-lang/crates.io-index"
|
| checksum = "8fcfdb36bda0c880c5931cdc7a2bcdc8ba4556847b9d912bca70bc94708711ad"
|
| dependencies = [
|
| "aho-corasick",
|
| "memchr",
|
| "regex-syntax",
|
| ]
|
|
|
| [[package]]
|
| name = "regex-syntax"
|
| version = "0.8.11"
|
| source = "registry+https://github.com/rust-lang/crates.io-index"
|
| checksum = "d6f6ff9a378485b298a5286656da665ba74413d36db0979633275d2e708145d4"
|
|
|
| [[package]]
|
| name = "rustc-hash"
|
| version = "2.1.3"
|
| source = "registry+https://github.com/rust-lang/crates.io-index"
|
| checksum = "6b1e7f9a428571be2dc5bc0505c13fb6bf936822b894ec87abf8a08a4e51742d"
|
|
|
| [[package]]
|
| name = "rustc_version"
|
| version = "0.4.1"
|
| source = "registry+https://github.com/rust-lang/crates.io-index"
|
| checksum = "cfcb3a22ef46e85b45de6ee7e79d063319ebb6594faafcf1c225ea92ab6e9b92"
|
| dependencies = [
|
| "semver",
|
| ]
|
|
|
| [[package]]
|
| name = "rustix"
|
| version = "1.1.4"
|
| source = "registry+https://github.com/rust-lang/crates.io-index"
|
| checksum = "b6fe4565b9518b83ef4f91bb47ce29620ca828bd32cb7e408f0062e9930ba190"
|
| dependencies = [
|
| "bitflags",
|
| "errno",
|
| "libc",
|
| "linux-raw-sys",
|
| "windows-sys",
|
| ]
|
|
|
| [[package]]
|
| name = "rustversion"
|
| version = "1.0.23"
|
| source = "registry+https://github.com/rust-lang/crates.io-index"
|
| checksum = "cf54715a573b99ac80df0bc206da022bcd442c974952c7b9720069370852e21f"
|
|
|
| [[package]]
|
| name = "rusty-fork"
|
| version = "0.3.1"
|
| source = "registry+https://github.com/rust-lang/crates.io-index"
|
| checksum = "cc6bf79ff24e648f6da1f8d1f011e9cac26491b619e6b9280f2b47f1774e6ee2"
|
| dependencies = [
|
| "fnv",
|
| "quick-error",
|
| "tempfile",
|
| "wait-timeout",
|
| ]
|
|
|
| [[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 = "scopeguard"
|
| version = "1.2.0"
|
| source = "registry+https://github.com/rust-lang/crates.io-index"
|
| checksum = "94143f37725109f92c262ed2cf5e59bce7498c01bcc1502d7b9afe439a4e9f49"
|
|
|
| [[package]]
|
| name = "semver"
|
| version = "1.0.28"
|
| source = "registry+https://github.com/rust-lang/crates.io-index"
|
| checksum = "8a7852d02fc848982e0c167ef163aaff9cd91dc640ba85e263cb1ce46fae51cd"
|
|
|
| [[package]]
|
| name = "serde"
|
| version = "1.0.229"
|
| source = "registry+https://github.com/rust-lang/crates.io-index"
|
| checksum = "4148590afebada386688f18773da617792bf2ef03ffc1e4cbd2b1d45b023e0ba"
|
| dependencies = [
|
| "serde_core",
|
| "serde_derive",
|
| ]
|
|
|
| [[package]]
|
| name = "serde_core"
|
| version = "1.0.229"
|
| source = "registry+https://github.com/rust-lang/crates.io-index"
|
| checksum = "67dca2c9c51e58a4791a4b1ed58308b39c64224d349a935ab5039aa360942a48"
|
| dependencies = [
|
| "serde_derive",
|
| ]
|
|
|
| [[package]]
|
| name = "serde_derive"
|
| version = "1.0.229"
|
| source = "registry+https://github.com/rust-lang/crates.io-index"
|
| checksum = "e7a5d71263a5a7d47b41f6b3f06ba276f10cc18b0931f1799f710578e2309348"
|
| dependencies = [
|
| "proc-macro2",
|
| "quote",
|
| "syn 3.0.3",
|
| ]
|
|
|
| [[package]]
|
| name = "serde_json"
|
| version = "1.0.151"
|
| source = "registry+https://github.com/rust-lang/crates.io-index"
|
| checksum = "c841b55ecdae098c80dcae9cf767f6f8a0c2cdb3416bbef72181df4d0fe73f14"
|
| dependencies = [
|
| "itoa",
|
| "memchr",
|
| "serde",
|
| "serde_core",
|
| "zmij",
|
| ]
|
|
|
| [[package]]
|
| name = "sha2"
|
| version = "0.10.9"
|
| source = "registry+https://github.com/rust-lang/crates.io-index"
|
| checksum = "a7507d819769d01a365ab707794a4084392c824f54a7a6a7862f8c3d0892b283"
|
| dependencies = [
|
| "cfg-if",
|
| "cpufeatures",
|
| "digest",
|
| ]
|
|
|
| [[package]]
|
| name = "shlex"
|
| version = "1.3.0"
|
| source = "registry+https://github.com/rust-lang/crates.io-index"
|
| checksum = "0fda2ff0d084019ba4d7c6f371c95d8fd75ce3524c3cb8fb653a3023f6323e64"
|
|
|
| [[package]]
|
| name = "signal-hook-registry"
|
| version = "1.4.8"
|
| source = "registry+https://github.com/rust-lang/crates.io-index"
|
| checksum = "c4db69cba1110affc0e9f7bcd48bbf87b3f4fc7c61fc9155afd4c469eb3d6c1b"
|
| dependencies = [
|
| "errno",
|
| "libc",
|
| ]
|
|
|
| [[package]]
|
| name = "signature"
|
| version = "2.2.0"
|
| source = "registry+https://github.com/rust-lang/crates.io-index"
|
| checksum = "77549399552de45a898a580c1b41d445bf730df867cc44e6c0233bbc4b8329de"
|
| dependencies = [
|
| "rand_core 0.6.4",
|
| ]
|
|
|
| [[package]]
|
| name = "slab"
|
| version = "0.4.12"
|
| source = "registry+https://github.com/rust-lang/crates.io-index"
|
| checksum = "0c790de23124f9ab44544d7ac05d60440adc586479ce501c1d6d7da3cd8c9cf5"
|
|
|
| [[package]]
|
| name = "smallvec"
|
| version = "1.15.2"
|
| source = "registry+https://github.com/rust-lang/crates.io-index"
|
| checksum = "8ed6a63f02c8539c91a8685a86f4099661ba3da017932f6ebbea6de3f0fa7c90"
|
|
|
| [[package]]
|
| name = "socket2"
|
| version = "0.6.5"
|
| source = "registry+https://github.com/rust-lang/crates.io-index"
|
| checksum = "c3d1e2c7f27f8d4cb10542a02c49005dbd6e93095799d6f3be745fae9f8fedd4"
|
| dependencies = [
|
| "libc",
|
| "windows-sys",
|
| ]
|
|
|
| [[package]]
|
| name = "spki"
|
| version = "0.7.3"
|
| source = "registry+https://github.com/rust-lang/crates.io-index"
|
| checksum = "d91ed6c858b01f942cd56b37a94b3e0a1798290327d1236e4d9cf4eaca44d29d"
|
| dependencies = [
|
| "base64ct",
|
| "der",
|
| ]
|
|
|
| [[package]]
|
| name = "subleq-ir"
|
| version = "0.1.0"
|
| dependencies = [
|
| "anyhow",
|
| "blake3",
|
| "proptest",
|
| "serde",
|
| "serde_json",
|
| "subleq-vm",
|
| "thiserror",
|
| "tracing",
|
| ]
|
|
|
| [[package]]
|
| name = "subleq-vm"
|
| version = "0.1.0"
|
| dependencies = [
|
| "anyhow",
|
| "blake3",
|
| "criterion",
|
| "memmap2",
|
| "nix",
|
| "parking_lot",
|
| "proptest",
|
| "serde",
|
| "serde_json",
|
| "sha2",
|
| "thiserror",
|
| "tracing",
|
| ]
|
|
|
| [[package]]
|
| name = "subtle"
|
| version = "2.6.1"
|
| source = "registry+https://github.com/rust-lang/crates.io-index"
|
| checksum = "13c2bddecc57b384dee18652358fb23172facb8a2c51ccc10d74c157bdea3292"
|
|
|
| [[package]]
|
| name = "syn"
|
| version = "2.0.119"
|
| source = "registry+https://github.com/rust-lang/crates.io-index"
|
| checksum = "872831b642d1a07999a962a351ed35b955ea2cfc8f3862091e2a240a84f17297"
|
| dependencies = [
|
| "proc-macro2",
|
| "quote",
|
| "unicode-ident",
|
| ]
|
|
|
| [[package]]
|
| name = "syn"
|
| version = "3.0.3"
|
| source = "registry+https://github.com/rust-lang/crates.io-index"
|
| checksum = "53e9bae58849f64dfa4f5d5ae372c8341f7305f82a3868709269343628b659a3"
|
| dependencies = [
|
| "proc-macro2",
|
| "quote",
|
| "unicode-ident",
|
| ]
|
|
|
| [[package]]
|
| name = "tempfile"
|
| version = "3.27.0"
|
| source = "registry+https://github.com/rust-lang/crates.io-index"
|
| checksum = "32497e9a4c7b38532efcdebeef879707aa9f794296a4f0244f6f69e9bc8574bd"
|
| dependencies = [
|
| "fastrand",
|
| "getrandom 0.4.3",
|
| "once_cell",
|
| "rustix",
|
| "windows-sys",
|
| ]
|
|
|
| [[package]]
|
| name = "thiserror"
|
| version = "1.0.69"
|
| source = "registry+https://github.com/rust-lang/crates.io-index"
|
| checksum = "b6aaf5339b578ea85b50e080feb250a3e8ae8cfcdff9a461c9ec2904bc923f52"
|
| dependencies = [
|
| "thiserror-impl",
|
| ]
|
|
|
| [[package]]
|
| name = "thiserror-impl"
|
| version = "1.0.69"
|
| source = "registry+https://github.com/rust-lang/crates.io-index"
|
| checksum = "4fee6c4efc90059e10f81e6d42c60a18f76588c3d74cb83a0b242a2b6c7504c1"
|
| dependencies = [
|
| "proc-macro2",
|
| "quote",
|
| "syn 2.0.119",
|
| ]
|
|
|
| [[package]]
|
| name = "tinytemplate"
|
| version = "1.2.1"
|
| source = "registry+https://github.com/rust-lang/crates.io-index"
|
| checksum = "be4d6b5f19ff7664e8c98d03e2139cb510db9b0a60b55f8e8709b689d939b6bc"
|
| dependencies = [
|
| "serde",
|
| "serde_json",
|
| ]
|
|
|
| [[package]]
|
| name = "tokio"
|
| version = "1.53.1"
|
| source = "registry+https://github.com/rust-lang/crates.io-index"
|
| checksum = "202caea871b69668250d242070849eb495be178ed697a3e98aebce5bc81a0bed"
|
| dependencies = [
|
| "bytes",
|
| "libc",
|
| "mio",
|
| "parking_lot",
|
| "pin-project-lite",
|
| "signal-hook-registry",
|
| "socket2",
|
| "tokio-macros",
|
| "windows-sys",
|
| ]
|
|
|
| [[package]]
|
| name = "tokio-macros"
|
| version = "2.7.1"
|
| source = "registry+https://github.com/rust-lang/crates.io-index"
|
| checksum = "6328af13490e73a9b4694030fafd93f8c8c6a9dede33e821c3fc63eddf8042ba"
|
| dependencies = [
|
| "proc-macro2",
|
| "quote",
|
| "syn 2.0.119",
|
| ]
|
|
|
| [[package]]
|
| name = "tracing"
|
| version = "0.1.44"
|
| source = "registry+https://github.com/rust-lang/crates.io-index"
|
| checksum = "63e71662fa4b2a2c3a26f570f037eb95bb1f85397f3cd8076caed2f026a6d100"
|
| dependencies = [
|
| "pin-project-lite",
|
| "tracing-attributes",
|
| "tracing-core",
|
| ]
|
|
|
| [[package]]
|
| name = "tracing-attributes"
|
| version = "0.1.31"
|
| source = "registry+https://github.com/rust-lang/crates.io-index"
|
| checksum = "7490cfa5ec963746568740651ac6781f701c9c5ea257c58e057f3ba8cf69e8da"
|
| dependencies = [
|
| "proc-macro2",
|
| "quote",
|
| "syn 2.0.119",
|
| ]
|
|
|
| [[package]]
|
| name = "tracing-core"
|
| version = "0.1.36"
|
| source = "registry+https://github.com/rust-lang/crates.io-index"
|
| checksum = "db97caf9d906fbde555dd62fa95ddba9eecfd14cb388e4f491a66d74cd5fb79a"
|
| dependencies = [
|
| "once_cell",
|
| ]
|
|
|
| [[package]]
|
| name = "tree-sitter"
|
| version = "0.20.10"
|
| source = "registry+https://github.com/rust-lang/crates.io-index"
|
| checksum = "e747b1f9b7b931ed39a548c1fae149101497de3c1fc8d9e18c62c1a66c683d3d"
|
| dependencies = [
|
| "cc",
|
| "regex",
|
| ]
|
|
|
| [[package]]
|
| name = "tree-sitter-c"
|
| version = "0.20.8"
|
| source = "registry+https://github.com/rust-lang/crates.io-index"
|
| checksum = "4bbd5f3d8658c08581f8f2adac6c391c2e9fa00fe9246bf6c5f52213b9cc6b72"
|
| dependencies = [
|
| "cc",
|
| "tree-sitter",
|
| ]
|
|
|
| [[package]]
|
| name = "tree-sitter-javascript"
|
| version = "0.20.4"
|
| source = "registry+https://github.com/rust-lang/crates.io-index"
|
| checksum = "d015c02ea98b62c806f7329ff71c383286dfc3a7a7da0cc484f6e42922f73c2c"
|
| dependencies = [
|
| "cc",
|
| "tree-sitter",
|
| ]
|
|
|
| [[package]]
|
| name = "tree-sitter-python"
|
| version = "0.20.4"
|
| source = "registry+https://github.com/rust-lang/crates.io-index"
|
| checksum = "e6c93b1b1fbd0d399db3445f51fd3058e43d0b4dcff62ddbdb46e66550978aa5"
|
| dependencies = [
|
| "cc",
|
| "tree-sitter",
|
| ]
|
|
|
| [[package]]
|
| name = "tree-sitter-rust"
|
| version = "0.20.4"
|
| source = "registry+https://github.com/rust-lang/crates.io-index"
|
| checksum = "b0832309b0b2b6d33760ce5c0e818cb47e1d72b468516bfe4134408926fa7594"
|
| dependencies = [
|
| "cc",
|
| "tree-sitter",
|
| ]
|
|
|
| [[package]]
|
| name = "typenum"
|
| version = "1.20.1"
|
| source = "registry+https://github.com/rust-lang/crates.io-index"
|
| checksum = "b6f5e870be6c3b371b77fe0ee0bafb859fa4964b4404c27de1d380043c4dda20"
|
|
|
| [[package]]
|
| name = "unarray"
|
| version = "0.1.4"
|
| source = "registry+https://github.com/rust-lang/crates.io-index"
|
| checksum = "eaea85b334db583fe3274d12b4cd1880032beab409c0d774be044d4480ab9a94"
|
|
|
| [[package]]
|
| name = "unicode-ident"
|
| version = "1.0.24"
|
| source = "registry+https://github.com/rust-lang/crates.io-index"
|
| checksum = "e6e4313cd5fcd3dad5cafa179702e2b244f760991f45397d14d4ebf38247da75"
|
|
|
| [[package]]
|
| name = "uuid"
|
| version = "1.24.0"
|
| source = "registry+https://github.com/rust-lang/crates.io-index"
|
| checksum = "bf3923a6f5c4c6382e0b653c4117f48d631ea17f38ed86e2a828e6f7412f5239"
|
| dependencies = [
|
| "getrandom 0.4.3",
|
| "js-sys",
|
| "wasm-bindgen",
|
| ]
|
|
|
| [[package]]
|
| name = "version_check"
|
| version = "0.9.5"
|
| source = "registry+https://github.com/rust-lang/crates.io-index"
|
| checksum = "0b928f33d975fc6ad9f86c8f283853ad26bdd5b10b7f1542aa2fa15e2289105a"
|
|
|
| [[package]]
|
| name = "wait-timeout"
|
| version = "0.2.1"
|
| source = "registry+https://github.com/rust-lang/crates.io-index"
|
| checksum = "09ac3b126d3914f9849036f826e054cbabdc8519970b8998ddaf3b5bd3c65f11"
|
| dependencies = [
|
| "libc",
|
| ]
|
|
|
| [[package]]
|
| name = "walkdir"
|
| version = "2.5.0"
|
| source = "registry+https://github.com/rust-lang/crates.io-index"
|
| checksum = "29790946404f91d9c5d06f9874efddea1dc06c5efe94541a7d6863108e3a5e4b"
|
| dependencies = [
|
| "same-file",
|
| "winapi-util",
|
| ]
|
|
|
| [[package]]
|
| name = "wasi"
|
| version = "0.11.1+wasi-snapshot-preview1"
|
| source = "registry+https://github.com/rust-lang/crates.io-index"
|
| checksum = "ccf3ec651a847eb01de73ccad15eb7d99f80485de043efb2f370cd654f4ea44b"
|
|
|
| [[package]]
|
| name = "wasip2"
|
| version = "1.0.4+wasi-0.2.12"
|
| source = "registry+https://github.com/rust-lang/crates.io-index"
|
| checksum = "b67efb37e106e55ce722a510d6b5f9c17f083e5fc79afc2badeb12cc313d9487"
|
| dependencies = [
|
| "wit-bindgen",
|
| ]
|
|
|
| [[package]]
|
| name = "wasm-bindgen"
|
| version = "0.2.126"
|
| source = "registry+https://github.com/rust-lang/crates.io-index"
|
| checksum = "4b067c0c11094aef6b7a801c1e34a26affafdf3d051dba08456b868789aaf9a4"
|
| dependencies = [
|
| "cfg-if",
|
| "once_cell",
|
| "rustversion",
|
| "wasm-bindgen-macro",
|
| "wasm-bindgen-shared",
|
| ]
|
|
|
| [[package]]
|
| name = "wasm-bindgen-macro"
|
| version = "0.2.126"
|
| source = "registry+https://github.com/rust-lang/crates.io-index"
|
| checksum = "167ce5e579f6bcf889c4f7175a8a5a585de84e8ff93976ce393efa5f2837aab1"
|
| dependencies = [
|
| "quote",
|
| "wasm-bindgen-macro-support",
|
| ]
|
|
|
| [[package]]
|
| name = "wasm-bindgen-macro-support"
|
| version = "0.2.126"
|
| source = "registry+https://github.com/rust-lang/crates.io-index"
|
| checksum = "f3997c7839262f4ef12cf90b818d6340c18e80f263f1a94bf157d0ec4420380e"
|
| dependencies = [
|
| "bumpalo",
|
| "proc-macro2",
|
| "quote",
|
| "syn 2.0.119",
|
| "wasm-bindgen-shared",
|
| ]
|
|
|
| [[package]]
|
| name = "wasm-bindgen-shared"
|
| version = "0.2.126"
|
| source = "registry+https://github.com/rust-lang/crates.io-index"
|
| checksum = "dc1b4cb0cc549fcf58d7dfc081778139b3d283a081644e833e84682ad71cea24"
|
| dependencies = [
|
| "unicode-ident",
|
| ]
|
|
|
| [[package]]
|
| name = "web-sys"
|
| version = "0.3.103"
|
| source = "registry+https://github.com/rust-lang/crates.io-index"
|
| checksum = "8622dcb61c0bcc9fffa6938bed81210af2da9a7e4a1a834b2e37a59b6dfb6141"
|
| dependencies = [
|
| "js-sys",
|
| "wasm-bindgen",
|
| ]
|
|
|
| [[package]]
|
| name = "winapi-util"
|
| version = "0.1.11"
|
| source = "registry+https://github.com/rust-lang/crates.io-index"
|
| checksum = "c2a7b1c03c876122aa43f3020e6c3c3ee5c05081c9a00739faf7503aeba10d22"
|
| dependencies = [
|
| "windows-sys",
|
| ]
|
|
|
| [[package]]
|
| name = "windows-link"
|
| version = "0.2.1"
|
| source = "registry+https://github.com/rust-lang/crates.io-index"
|
| checksum = "f0805222e57f7521d6a62e36fa9163bc891acd422f971defe97d64e70d0a4fe5"
|
|
|
| [[package]]
|
| name = "windows-sys"
|
| version = "0.61.2"
|
| source = "registry+https://github.com/rust-lang/crates.io-index"
|
| checksum = "ae137229bcbd6cdf0f7b80a31df61766145077ddf49416a728b02cb3921ff3fc"
|
| dependencies = [
|
| "windows-link",
|
| ]
|
|
|
| [[package]]
|
| name = "wit-bindgen"
|
| version = "0.57.1"
|
| source = "registry+https://github.com/rust-lang/crates.io-index"
|
| checksum = "1ebf944e87a7c253233ad6766e082e3cd714b5d03812acc24c318f549614536e"
|
|
|
| [[package]]
|
| name = "z3"
|
| version = "0.13.3"
|
| source = "registry+https://github.com/rust-lang/crates.io-index"
|
| checksum = "11593be221028adbadaa25a9ace764693d059c51d58870b27d8c78582aaa6574"
|
| dependencies = [
|
| "log",
|
| "num",
|
| "z3-sys",
|
| ]
|
|
|
| [[package]]
|
| name = "z3-sys"
|
| version = "0.9.10"
|
| source = "registry+https://github.com/rust-lang/crates.io-index"
|
| checksum = "6cd1b38ffd95fae0fcc40026fb1a822074e2a923ad4e011e90df878cbed721e0"
|
| dependencies = [
|
| "bindgen",
|
| "pkg-config",
|
| ]
|
|
|
| [[package]]
|
| name = "zerocopy"
|
| version = "0.8.55"
|
| source = "registry+https://github.com/rust-lang/crates.io-index"
|
| checksum = "b5a105cd7b140f6eeec8acff2ea38135d3cab283ada58540f629fe51e46696eb"
|
| dependencies = [
|
| "zerocopy-derive",
|
| ]
|
|
|
| [[package]]
|
| name = "zerocopy-derive"
|
| version = "0.8.55"
|
| source = "registry+https://github.com/rust-lang/crates.io-index"
|
| checksum = "0fe976fb70c78cd64cccfe3a6fc142244e8a77b70959b30faf9d0ac37ee228eb"
|
| dependencies = [
|
| "proc-macro2",
|
| "quote",
|
| "syn 2.0.119",
|
| ]
|
|
|
| [[package]]
|
| name = "zeroize"
|
| version = "1.9.0"
|
| source = "registry+https://github.com/rust-lang/crates.io-index"
|
| checksum = "e13c156562582aa81c60cb29407084cdb54c4164760106ab78e6c5b0858cf64e"
|
|
|
| [[package]]
|
| name = "zmij"
|
| version = "1.0.23"
|
| source = "registry+https://github.com/rust-lang/crates.io-index"
|
| checksum = "29666d0abbfad1e3dc4dcf6144730dd3a3ab225bbbdac83319345b1b44ccfc1b"
|
|
|
