Build failed. If you want to re-trigger a documentation build, you can do it here. You can find more information on docs.rs builds documentation on the builds page.
# rustc version rustc 1.26.0-dev (5c1d29af0 2018-03-03)
# docs.rs version cratesfyi 0.5.0 (579f83b 2018-03-05)
# build log Updating registry `https://github.com/rust-lang/crates.io-index` Downloading rustproof v0.1.0 Downloading rustproof-libsmt v0.1.0 Downloading lalrpop-util v0.11.0 Compiling lalrpop-util v0.11.0 Fresh libc v0.2.39 Fresh regex-syntax v0.3.9 Fresh winapi v0.2.8 Fresh winapi-build v0.1.1 Fresh cfg-if v0.1.2 Fresh fixedbitset v0.1.8 Fresh utf8-ranges v0.1.3 Running `rustc --crate-name lalrpop_util .cargo/registry/src/github.com-1ecc6299db9ec823/lalrpop-util-0.11.0/src/lib.rs --crate-type lib --emit=dep-info,link -C debuginfo=2 -C metadata=050551939f99f40d -C extra-filename=-050551939f99f40d --out-dir /home/cratesfyi/cratesfyi/debug/deps -L dependency=/home/cratesfyi/cratesfyi/debug/deps --cap-lints allow` Fresh memchr v0.1.11 Fresh log v0.4.1 Fresh petgraph v0.2.10 Fresh log v0.3.9 Fresh aho-corasick v0.5.3 Fresh kernel32-sys v0.2.2 Fresh thread-id v2.0.0 Fresh thread_local v0.2.7 Fresh regex v0.1.80 Compiling rustproof-libsmt v0.1.0 Fresh env_logger v0.3.5 Running `rustc --crate-name rustproof_libsmt .cargo/registry/src/github.com-1ecc6299db9ec823/rustproof-libsmt-0.1.0/src/lib.rs --crate-type lib --emit=dep-info,link -C debuginfo=2 -C metadata=42c60ffe2496a27c -C extra-filename=-42c60ffe2496a27c --out-dir /home/cratesfyi/cratesfyi/debug/deps -L dependency=/home/cratesfyi/cratesfyi/debug/deps --extern regex=/home/cratesfyi/cratesfyi/debug/deps/libregex-dc7fbac3abb8388f.rlib --extern-version regex=regex,0.1.80 --extern petgraph=/home/cratesfyi/cratesfyi/debug/deps/libpetgraph-cc64193799234e5d.rlib --extern-version petgraph=petgraph,0.2.10 --cap-lints allow` Documenting rustproof v0.1.0 Running `rustdoc --crate-name rustproof .cargo/registry/src/github.com-1ecc6299db9ec823/rustproof-0.1.0/src/lib.rs -o /home/cratesfyi/cratesfyi/doc -Z unstable-options --resource-suffix -20180303-1.26.0-dev-5c1d29af0 -L dependency=/home/cratesfyi/cratesfyi/debug/deps --extern petgraph=/home/cratesfyi/cratesfyi/debug/deps/libpetgraph-cc64193799234e5d.rlib --extern-version petgraph=petgraph,0.2.10 --extern rustproof_libsmt=/home/cratesfyi/cratesfyi/debug/deps/librustproof_libsmt-42c60ffe2496a27c.rlib --extern-version rustproof_libsmt=rustproof-libsmt,0.1.0 --extern lalrpop_util=/home/cratesfyi/cratesfyi/debug/deps/liblalrpop_util-050551939f99f40d.rlib --extern-version lalrpop_util=lalrpop-util,0.11.0 --extern env_logger=/home/cratesfyi/cratesfyi/debug/deps/libenv_logger-ce278d65fff484a8.rlib --extern-version env_logger=env_logger,0.3.5` error[E0432]: unresolved import `rustc::mir::repr` --> .cargo/registry/src/github.com-1ecc6299db9ec823/rustproof-0.1.0/src/lib.rs:46:17 | 46 | use rustc::mir::repr::{Mir, BasicBlock, BasicBlockData, Arg, Temp, Var, ArgDecl, TempDecl, VarDecl}; | ^^^^ Could not find `repr` in `mir` error[E0432]: unresolved import `rustc::mir::transform` --> .cargo/registry/src/github.com-1ecc6299db9ec823/rustproof-0.1.0/src/lib.rs:47:17 | 47 | use rustc::mir::transform::{Pass, MirPass, MirSource}; | ^^^^^^^^^ Could not find `transform` in `mir` error[E0432]: unresolved import `rustc::ty::FnOutput` --> .cargo/registry/src/github.com-1ecc6299db9ec823/rustproof-0.1.0/src/lib.rs:48:25 | 48 | use rustc::ty::{TyCtxt, FnOutput}; | ^^^^^^^^ no `FnOutput` in `ty` error[E0432]: unresolved import `syntax::parse::token::InternedString` --> .cargo/registry/src/github.com-1ecc6299db9ec823/rustproof-0.1.0/src/lib.rs:50:5 | 50 | use syntax::parse::token::InternedString; | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ no `InternedString` in `parse::token` error[E0432]: unresolved import `syntax::ast::Attribute_` --> .cargo/registry/src/github.com-1ecc6299db9ec823/rustproof-0.1.0/src/parser/mod.rs:17:33 | 17 | use syntax::ast::{MetaItemKind, Attribute_}; | ^^^^^^^^^^ no `Attribute_` in `ast`. Did you mean to use `Attribute`? error[E0432]: unresolved import `rustc::mir::repr` --> .cargo/registry/src/github.com-1ecc6299db9ec823/rustproof-0.1.0/src/weakest_precondition/mod.rs:17:17 | 17 | use rustc::mir::repr::*; | ^^^^ Could not find `repr` in `mir` error[E0432]: unresolved import `rustc::mir::repr` --> .cargo/registry/src/github.com-1ecc6299db9ec823/rustproof-0.1.0/src/weakest_precondition/overflow.rs:16:17 | 16 | use rustc::mir::repr::*; | ^^^^ Could not find `repr` in `mir` error[E0412]: cannot find type `BinOp` in this scope --> .cargo/registry/src/github.com-1ecc6299db9ec823/rustproof-0.1.0/src/weakest_precondition/overflow.rs:23:31 | 23 | binop: &BinOp, | ^^^^^ not found in this scope help: possible candidates are found in other modules, you can import them into scope | 15 | use rustc::hir::BinOp; | 15 | use rustc::mir::BinOp; | 15 | use syntax::ast::BinOp; | error[E0412]: cannot find type `BinOp` in this scope --> .cargo/registry/src/github.com-1ecc6299db9ec823/rustproof-0.1.0/src/weakest_precondition/overflow.rs:47:28 | 47 | fn signed_overflow(binop: &BinOp, size: u8, lvalue: &Expression, rvalue: &Expression) | ^^^^^ not found in this scope help: possible candidates are found in other modules, you can import them into scope | 15 | use rustc::hir::BinOp; | 15 | use rustc::mir::BinOp; | 15 | use syntax::ast::BinOp; | error[E0412]: cannot find type `BinOp` in this scope --> .cargo/registry/src/github.com-1ecc6299db9ec823/rustproof-0.1.0/src/weakest_precondition/overflow.rs:484:30 | 484 | fn unsigned_overflow(binop: &BinOp, lvalue: &Expression, rvalue: &Expression) -> Expression { | ^^^^^ not found in this scope help: possible candidates are found in other modules, you can import them into scope | 15 | use rustc::hir::BinOp; | 15 | use rustc::mir::BinOp; | 15 | use syntax::ast::BinOp; | error[E0412]: cannot find type `Statement` in this scope --> .cargo/registry/src/github.com-1ecc6299db9ec823/rustproof-0.1.0/src/weakest_precondition/mod.rs:165:39 | 165 | fn gen_stmt(mut wp: Expression, stmt: Statement, data: &mut MirData, debug: bool) | ^^^^^^^^^ not found in this scope help: possible candidate is found in another module, you can import it into scope | 15 | use rustc::mir::Statement; | error[E0412]: cannot find type `Operand` in this scope --> .cargo/registry/src/github.com-1ecc6299db9ec823/rustproof-0.1.0/src/weakest_precondition/mod.rs:372:21 | 372 | fn gen_ty(operand: &Operand, data: &mut MirData) -> Types { | ^^^^^^^ not found in this scope help: possible candidate is found in another module, you can import it into scope | 15 | use rustc::mir::Operand; | error[E0412]: cannot find type `Lvalue` in this scope --> .cargo/registry/src/github.com-1ecc6299db9ec823/rustproof-0.1.0/src/weakest_precondition/mod.rs:458:23 | 458 | fn gen_lvalue(lvalue: Lvalue, data: &mut MirData) -> VariableMappingData { | ^^^^^^ not found in this scope error[E0412]: cannot find type `Operand` in this scope --> .cargo/registry/src/github.com-1ecc6299db9ec823/rustproof-0.1.0/src/weakest_precondition/mod.rs:582:29 | 582 | fn gen_expression(operand: &Operand, data: &mut MirData) -> Expression { | ^^^^^^^ not found in this scope help: possible candidate is found in another module, you can import it into scope | 15 | use rustc::mir::Operand; | error: cannot continue compilation due to previous error You've got a few errors: E0412, E0432 If you want more information on an error, try using "rustc --explain E0412" thread 'main' panicked at 'Error( CargoError( ChainedError { error: Could not document `rustproof`., cause: process didn't exit successfully: `rustdoc --crate-name rustproof .cargo/registry/src/github.com-1ecc6299db9ec823/rustproof-0.1.0/src/lib.rs -o /home/cratesfyi/cratesfyi/doc -Z unstable-options --resource-suffix -20180303-1.26.0-dev-5c1d29af0 -L dependency=/home/cratesfyi/cratesfyi/debug/deps --extern petgraph=/home/cratesfyi/cratesfyi/debug/deps/libpetgraph-cc64193799234e5d.rlib --extern-version petgraph=petgraph,0.2.10 --extern rustproof_libsmt=/home/cratesfyi/cratesfyi/debug/deps/librustproof_libsmt-42c60ffe2496a27c.rlib --extern-version rustproof_libsmt=rustproof-libsmt,0.1.0 --extern lalrpop_util=/home/cratesfyi/cratesfyi/debug/deps/liblalrpop_util-050551939f99f40d.rlib --extern-version lalrpop_util=lalrpop-util,0.11.0 --extern env_logger=/home/cratesfyi/cratesfyi/debug/deps/libenv_logger-ce278d65fff484a8.rlib --extern-version env_logger=env_logger,0.3.5` (exit code: 101) } ), State { next_error: None, backtrace: None } )', src/bin/cratesfyi.rs:142:13 note: Run with `RUST_BACKTRACE=1` for a backtrace.