Cargo.lock

# This file is automatically @generated by Cargo.
# It is not intended for manual editing.
version = 4

[[package]]
name = "core_simd"
version = "0.1.0"
source = "git+https://github.com/rust-lang/portable-simd.git#49176aebc6ed496ddbea3def548adcfe1679b4bb"

[[package]]
name = "mythril"
version = "0.1.0"
dependencies = [
 "rtrb",
 "simd_util",
]

[[package]]
name = "rtrb"
version = "0.3.1"
source = "registry+https://github.com/rust-lang/crates.io-index"
checksum = "f3f94e84c073f3b85d4012b44722fa8842b9986d741590d4f2636ad0a5b14143"

[[package]]
name = "simd_util"
version = "0.1.0"
source = "git+https://github.com/AquaEBM/simd_util.git#7b6b3aff8b828e79fe9c4c63a645efb5af327aea"
dependencies = [
 "core_simd",
 "std_float",
]

[[package]]
name = "std_float"
version = "0.1.0"
source = "git+https://github.com/rust-lang/portable-simd.git#49176aebc6ed496ddbea3def548adcfe1679b4bb"
dependencies = [
 "core_simd",
]