[package]
name = "spec-flatten"
version = "0.3.2"
authors = ["Diem Association <opensource@diem.com>"]
description = "Formal specification flattening tool"
edition = "2021"
license = "Apache-2.0"

[dependencies]
# move dependencies
move-stackless-bytecode = { version = "0.3.0", path = "../../bytecode" }
mv-compiler = { version = "0.3.0", path = "../../../move-compiler" }
mv-model = { version = "0.3.0", path = "../../../move-model" }
mv-prover = { version = "0.3.0", path = "../.." }
# external dependencies
anyhow = "1.0.52"
itertools = "0.10.1"
pretty = "0.10.0"
clap = { version = "3.1.8", features = ["derive"] }