differential-formula 0.1.1

Incremental Formal Modeling Using Logic Programming and Analysis
Documentation
Build #210610 2020-01-06T05:38:36.590976+00:00 
# rustc version
rustc 1.42.0-nightly (bc1571cc3 2020-01-05)
# docs.rs version
docsrs 0.6.0 (9bfa9ea 2020-01-02)

# build log
[INFO] running `"docker" "create" "-v" "/home/cratesfyi/workspace/builds/differential-formula-0.1.1/target:/opt/rustwide/target:rw,Z" "-v" "/home/cratesfyi/workspace/builds/differential-formula-0.1.1/source:/opt/rustwide/workdir:ro,Z" "-v" "/home/cratesfyi/workspace/cargo-home:/opt/rustwide/cargo-home:ro,Z" "-v" "/home/cratesfyi/workspace/rustup-home:/opt/rustwide/rustup-home:ro,Z" "-e" "SOURCE_DIR=/opt/rustwide/workdir" "-e" "MAP_USER_ID=1001" "-e" "CARGO_TARGET_DIR=/opt/rustwide/target" "-e" "RUSTFLAGS=" "-e" "RUSTDOCFLAGS=-Z unstable-options --resource-suffix -20200105-1.42.0-nightly-bc1571cc3 --static-root-path / --extern-html-root-url rand=https://docs.rs/rand/0.4.6 --extern-html-root-url timely=https://docs.rs/timely/0.11.1 --extern-html-root-url timely_sort=https://docs.rs/timely_sort/0.1.6 --extern-html-root-url readonly=https://docs.rs/readonly/0.1.5 --extern-html-root-url im=https://docs.rs/im/14.1.0 --extern-html-root-url petgraph=https://docs.rs/petgraph/0.5.0 --extern-html-root-url abomonation_derive=https://docs.rs/abomonation_derive/0.5.0 --extern-html-root-url enum_dispatch=https://docs.rs/enum_dispatch/0.2.0 --extern-html-root-url serde=https://docs.rs/serde/1.0.104 --extern-html-root-url differential_dataflow=https://docs.rs/differential-dataflow/0.11.0 --extern-html-root-url nom=https://docs.rs/nom/5.0.1 --extern-html-root-url num=https://docs.rs/num/0.2.0 --extern-html-root-url abomonation=https://docs.rs/abomonation/0.7.3" "-e" "CARGO_HOME=/opt/rustwide/cargo-home" "-e" "RUSTUP_HOME=/opt/rustwide/rustup-home" "-w" "/opt/rustwide/workdir" "-m" "3221225472" "--network" "none" "rustops/crates-build-env" "/opt/rustwide/cargo-home/bin/cargo" "+nightly" "doc" "--lib" "--no-deps"`
[INFO] [stderr] WARNING: Your kernel does not support swap limit capabilities or the cgroup is not mounted. Memory limited without swap.
[INFO] [stdout] 5a5ba167df61380b8cbe1863234a1a8129a4159d9825d91b27abd96e3d5cbcb1
[INFO] running `"docker" "start" "-a" "5a5ba167df61380b8cbe1863234a1a8129a4159d9825d91b27abd96e3d5cbcb1"`
[INFO] [stderr]    Compiling autocfg v0.1.7
[INFO] [stderr]    Compiling proc-macro2 v1.0.7
[INFO] [stderr]    Compiling unicode-xid v0.2.0
[INFO] [stderr]    Compiling syn v1.0.13
[INFO] [stderr]    Compiling serde v1.0.104
[INFO] [stderr]    Compiling byteorder v1.3.2
[INFO] [stderr]    Compiling semver-parser v0.7.0
[INFO] [stderr]    Compiling typenum v1.11.2
[INFO] [stderr]    Compiling ryu v1.0.2
[INFO] [stderr]    Compiling arrayvec v0.4.12
[INFO] [stderr]     Checking unicode-width v0.1.7
[INFO] [stderr]    Compiling libc v0.2.66
[INFO] [stderr]     Checking abomonation v0.7.3
[INFO] [stderr]     Checking timely_logging v0.11.1
[INFO] [stderr]    Compiling version_check v0.1.5
[INFO] [stderr]     Checking nodrop v0.1.14
[INFO] [stderr]    Compiling version_check v0.9.1
[INFO] [stderr]    Compiling memchr v2.2.1
[INFO] [stderr]     Checking timely_bytes v0.11.0
[INFO] [stderr]     Checking rand_core v0.5.1
[INFO] [stderr]     Checking cfg-if v0.1.10
[INFO] [stderr]     Checking static_assertions v0.3.4
[INFO] [stderr]     Checking timely_sort v0.1.6
[INFO] [stderr]    Compiling once_cell v1.2.0
[INFO] [stderr]     Checking fnv v1.0.6
[INFO] [stderr]     Checking fixedbitset v0.2.0
[INFO] [stderr]    Compiling semver v0.9.0
[INFO] [stderr]    Compiling num-traits v0.2.10
[INFO] [stderr]    Compiling num-integer v0.1.41
[INFO] [stderr]    Compiling num-bigint v0.2.4
[INFO] [stderr]    Compiling num-iter v0.1.39
[INFO] [stderr]    Compiling num-complex v0.2.3
[INFO] [stderr]    Compiling num-rational v0.2.2
[INFO] [stderr]    Compiling indexmap v1.3.0
[INFO] [stderr]     Checking getopts v0.2.21
[INFO] [stderr]    Compiling nom v5.0.1
[INFO] [stderr]    Compiling im v14.1.0
[INFO] [stderr]     Checking rand_xoshiro v0.4.0
[INFO] [stderr]    Compiling rustc_version v0.2.3
[INFO] [stderr]    Compiling quote v1.0.2
[INFO] [stderr]    Compiling lexical-core v0.4.6
[INFO] [stderr]     Checking bitmaps v2.0.0
[INFO] [stderr]     Checking rand v0.4.6
[INFO] [stderr]     Checking petgraph v0.5.0
[INFO] [stderr]     Checking sized-chunks v0.5.1
[INFO] [stderr]    Compiling synstructure v0.12.3
[INFO] [stderr]    Compiling serde_derive v1.0.104
[INFO] [stderr]    Compiling readonly v0.1.5
[INFO] [stderr]    Compiling enum_dispatch v0.2.0
[INFO] [stderr]    Compiling abomonation_derive v0.5.0
[INFO] [stderr]     Checking bincode v1.2.1
[INFO] [stderr]     Checking timely_communication v0.11.1
[INFO] [stderr]     Checking timely v0.11.1
[INFO] [stderr]     Checking num v0.2.0
[INFO] [stderr]     Checking differential-dataflow v0.11.0
[INFO] [stderr]  Documenting differential-formula v0.1.1 (/opt/rustwide/workdir)
[INFO] [stderr]     Finished dev [unoptimized + debuginfo] target(s) in 1m 05s
[INFO] running `"docker" "inspect" "5a5ba167df61380b8cbe1863234a1a8129a4159d9825d91b27abd96e3d5cbcb1"`
[INFO] running `"docker" "rm" "-f" "5a5ba167df61380b8cbe1863234a1a8129a4159d9825d91b27abd96e3d5cbcb1"`
[INFO] [stdout] 5a5ba167df61380b8cbe1863234a1a8129a4159d9825d91b27abd96e3d5cbcb1