-
Notifications
You must be signed in to change notification settings - Fork 5
/
Cargo.toml
61 lines (56 loc) · 1.6 KB
/
Cargo.toml
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
58
59
60
61
[package]
name = "move-to-yul"
version = "0.1.0"
authors = ["Diem Association <opensource@diem.com>"]
description = "Move Solidity Generator"
publish = false
edition = "2021"
license = "Apache-2.0"
[dependencies]
move-binary-format = { path = "../../move-binary-format" }
move-command-line-common = { path = "../../move-command-line-common" }
move-compiler = { path = "../../move-compiler" }
move-core-types = { path = "../../move-core/types" }
move-ethereum-abi = { path = "../move-ethereum-abi" }
move-ir-types = { path = "../../move-ir/types" }
move-model = { path = "../../move-model" }
# move dependencies
move-prover-boogie-backend = { path = "../../move-prover/boogie-backend" }
move-stackless-bytecode = { path = "../../move-model/bytecode" }
# external dependencies
anyhow = "1.0.38"
atty = "0.2.14"
clap = { version = "4.3.9", features = ["derive", "env"] }
codespan = "0.11.1"
codespan-reporting = "0.11.1"
ethnum = "1.0.4"
evm = "0.33.1"
hex = "0.4.3"
itertools = "0.10.0"
log = { version = "0.4.14", features = ["serde"] }
maplit = "1.0.2"
num = "0.4.0"
once_cell = "1.7.2"
pretty = "0.10.0"
primitive-types = "0.10.1"
rand = "0.8.3"
regex = "1.4.3"
serde = { version = "1.0.124", features = ["derive"] }
serde_json = "1.0.64"
sha3 = "0.9.1"
simplelog = "0.9.0"
toml = "0.5.8"
[dev-dependencies]
datatest-stable = "0.1.1"
evm = "0.33.1"
evm-exec-utils = { path = "../exec-utils" }
move-prover-test-utils = { path = "../../move-prover/test-utils" }
move-stdlib = { path = "../../move-stdlib" }
primitive-types = "0.10.1"
tempfile = "3.2.0"
walkdir = "2.3.1"
[lib]
doctest = false
[[test]]
name = "testsuite"
harness = false