synthir/Cargo.toml at master · snf/synthir · GitHub

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
[package]
name = "synthir"
version = "0.1.0"
authors = ["snf"]

[[bin]]
name = "synthir_tool"

[lib]
name = "synthir"

[[bench]]
name = "synthir"

[profile.release]
debug = true

[profile.bench]
debug = true

[dependencies]
ieee754 = "0.2.2"
num = "0.1"
rand = "0.3"
bit-vec = "0.4"
bit-set = "0.2"
libc = "0.2"
time = "0.1"
itertools = "0.4"
permutohedron = "0.2"
crossbeam = "0.2"
clap = "2.1"
rustc-serialize = "0.3"
keystone = "0.9.0"

[dependencies.capstone]
git = "https://github.com/ebfe/rust-capstone.git"

[dependencies.z3]
git = "https://github.com/snf/z3-rs.git"

#[dependencies.llvm_assemble]
#git = "https://github.com/snf/llvm_assemble.git"

[dependencies.synthir_execute]
git = "https://github.com/snf/synthir_execute.git"