rustproof/Cargo.toml at master · BlindMosquito/rustproof · 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
[package]
name = "rustproof"
version = "0.0.1"
authors = [
            "Matthew Slocum <arco000@gmail.com>",
            "Sami Sahli <samisahli@me.com>",
            "Vincent Schuster <vincent_schuster@outlook.com>",
            "Matthew O'Brien <matthewo@pdx.edu>",
            "Michael Salter <salterm@pdx.edu>",
            "Bradley Rasmussen <rasmbj@pdx.edu>",
            "Drew Gohman <dgohman@pdx.edu>"
          ]
license = "Apache-2.0/MIT"
description = "Compiler plugin to generate verification conditions from Rust code."
repository = "https://github.com/Rust-Proof/rustproof"
readme = "README.md"
keywords = ["plugin", "smt", "verification", "z3", "solver", "satisfiability"]

#build = "build.rs"

[build-dependencies]
lalrpop = "0.11.0"

[dependencies]
env_logger = "0.3.4"
lalrpop-util = "0.11.0"
libsmt = { git = "https://github.com/Rust-Proof/libsmt.rs.git" }
#libsmt = { path = "libsmt.rs" }
petgraph = "*"

[lib]
name = "rustproof"
path = "src/lib.rs"
plugin = true