[INFO] cloning repository https://github.com/Hao8172/ZKGraph [INFO] running `Command { std: "git" "-c" "credential.helper=" "-c" "credential.helper=/workspace/cargo-home/bin/git-credential-null" "clone" "--bare" "https://github.com/Hao8172/ZKGraph" "/workspace/cache/git-repos/https%3A%2F%2Fgithub.com%2FHao8172%2FZKGraph", kill_on_drop: false }` [INFO] [stderr] Cloning into bare repository '/workspace/cache/git-repos/https%3A%2F%2Fgithub.com%2FHao8172%2FZKGraph'... [INFO] running `Command { std: "git" "rev-parse" "HEAD", kill_on_drop: false }` [INFO] [stdout] 0c51fa6776ee81c87af0adcf5c064500eabc5e1c [INFO] documenting Hao8172/ZKGraph against 1.90.0 for beta-rustdoc-1.91-2 [INFO] running `Command { std: "git" "clone" "/workspace/cache/git-repos/https%3A%2F%2Fgithub.com%2FHao8172%2FZKGraph" "/workspace/builds/worker-6-tc1/source", kill_on_drop: false }` [INFO] [stderr] Cloning into '/workspace/builds/worker-6-tc1/source'... [INFO] [stderr] done. [INFO] started tweaking git repo https://github.com/Hao8172/ZKGraph [INFO] finished tweaking git repo https://github.com/Hao8172/ZKGraph [INFO] tweaked toml for git repo https://github.com/Hao8172/ZKGraph written to /workspace/builds/worker-6-tc1/source/Cargo.toml [INFO] validating manifest of git repo https://github.com/Hao8172/ZKGraph on toolchain 1.90.0 [INFO] running `Command { std: CARGO_HOME="/workspace/cargo-home" RUSTUP_HOME="/workspace/rustup-home" "/workspace/cargo-home/bin/cargo" "+1.90.0" "metadata" "--manifest-path" "Cargo.toml" "--no-deps", kill_on_drop: false }` [INFO] crate git repo https://github.com/Hao8172/ZKGraph already has a lockfile, it will not be regenerated [INFO] running `Command { std: CARGO_HOME="/workspace/cargo-home" RUSTUP_HOME="/workspace/rustup-home" "/workspace/cargo-home/bin/cargo" "+1.90.0" "fetch" "--manifest-path" "Cargo.toml", kill_on_drop: false }` [INFO] [stderr] Updating crates.io index [INFO] [stderr] Updating git repository `https://github.com/privacy-scaling-explorations/halo2.git` [INFO] [stderr] Downloading crates ... [INFO] [stderr] Downloaded tabbycat v0.1.2 [INFO] [stderr] Downloaded derive_builder v0.9.0 [INFO] [stderr] Downloaded array-init v2.1.0 [INFO] [stderr] Downloaded derive_builder_core v0.9.0 [INFO] [stderr] Downloaded halo2derive v0.1.0 [INFO] [stderr] Downloaded unroll v0.1.5 [INFO] [stderr] Downloaded font-kit v0.14.3 [INFO] [stderr] Downloaded halo2curves v0.7.0 [INFO] [stderr] Downloaded halo2curves v0.6.1 [INFO] running `Command { std: "docker" "create" "-v" "/var/lib/crater-agent-workspace/builds/worker-6-tc1/target:/opt/rustwide/target:rw,Z" "-v" "/var/lib/crater-agent-workspace/builds/worker-6-tc1/source:/opt/rustwide/workdir:ro,Z" "-v" "/var/lib/crater-agent-workspace/cargo-home:/opt/rustwide/cargo-home:ro,Z" "-v" "/var/lib/crater-agent-workspace/rustup-home:/opt/rustwide/rustup-home:ro,Z" "-e" "SOURCE_DIR=/opt/rustwide/workdir" "-e" "CARGO_TARGET_DIR=/opt/rustwide/target" "-e" "CARGO_HOME=/opt/rustwide/cargo-home" "-e" "RUSTUP_HOME=/opt/rustwide/rustup-home" "-w" "/opt/rustwide/workdir" "-m" "1610612736" "--user" "0:0" "--network" "none" "ghcr.io/rust-lang/crates-build-env/linux@sha256:e90291280db7d1fac5b66fc6dad9f9662629e7365a55743daf9bdf73ebc4ea79" "/opt/rustwide/cargo-home/bin/cargo" "+1.90.0" "metadata" "--no-deps" "--format-version=1", kill_on_drop: false }` [INFO] [stdout] ac7dbd7ea26a84d47383d16f119c64cfdd7e241e20808506595bc65dea36bc83 [INFO] running `Command { std: "docker" "start" "-a" "ac7dbd7ea26a84d47383d16f119c64cfdd7e241e20808506595bc65dea36bc83", kill_on_drop: false }` [INFO] running `Command { std: "docker" "inspect" "ac7dbd7ea26a84d47383d16f119c64cfdd7e241e20808506595bc65dea36bc83", kill_on_drop: false }` [INFO] running `Command { std: "docker" "rm" "-f" "ac7dbd7ea26a84d47383d16f119c64cfdd7e241e20808506595bc65dea36bc83", kill_on_drop: false }` [INFO] [stdout] ac7dbd7ea26a84d47383d16f119c64cfdd7e241e20808506595bc65dea36bc83 [INFO] running `Command { std: "docker" "create" "-v" "/var/lib/crater-agent-workspace/builds/worker-6-tc1/target:/opt/rustwide/target:rw,Z" "-v" "/var/lib/crater-agent-workspace/builds/worker-6-tc1/source:/opt/rustwide/workdir:ro,Z" "-v" "/var/lib/crater-agent-workspace/cargo-home:/opt/rustwide/cargo-home:ro,Z" "-v" "/var/lib/crater-agent-workspace/rustup-home:/opt/rustwide/rustup-home:ro,Z" "-e" "SOURCE_DIR=/opt/rustwide/workdir" "-e" "CARGO_TARGET_DIR=/opt/rustwide/target" "-e" "CARGO_INCREMENTAL=0" "-e" "RUST_BACKTRACE=full" "-e" "RUSTFLAGS=--cap-lints=warn" "-e" "RUSTDOCFLAGS=--cap-lints=warn" "-e" "CARGO_HOME=/opt/rustwide/cargo-home" "-e" "RUSTUP_HOME=/opt/rustwide/rustup-home" "-w" "/opt/rustwide/workdir" "-m" "1610612736" "--user" "0:0" "--network" "none" "ghcr.io/rust-lang/crates-build-env/linux@sha256:e90291280db7d1fac5b66fc6dad9f9662629e7365a55743daf9bdf73ebc4ea79" "/opt/rustwide/cargo-home/bin/cargo" "+1.90.0" "doc" "--frozen" "--no-deps" "--document-private-items" "--message-format=json", kill_on_drop: false }` [INFO] [stdout] 966832eed2aac14715cfefd754a48f6c5b2ec75a66d9a9f5a264b4ac2cbf9f85 [INFO] running `Command { std: "docker" "start" "-a" "966832eed2aac14715cfefd754a48f6c5b2ec75a66d9a9f5a264b4ac2cbf9f85", kill_on_drop: false }` [INFO] [stderr] Compiling libc v0.2.173 [INFO] [stderr] Checking subtle v2.6.1 [INFO] [stderr] Compiling radium v0.7.0 [INFO] [stderr] Compiling zerocopy v0.8.25 [INFO] [stderr] Checking tap v1.0.1 [INFO] [stderr] Checking funty v2.0.0 [INFO] [stderr] Compiling syn v1.0.109 [INFO] [stderr] Compiling proc-macro2 v1.0.95 [INFO] [stderr] Compiling typenum v1.18.0 [INFO] [stderr] Compiling num-traits v0.2.19 [INFO] [stderr] Checking either v1.15.0 [INFO] [stderr] Checking spin v0.9.8 [INFO] [stderr] Checking blake2b_simd v1.0.3 [INFO] [stderr] Checking rayon-core v1.12.1 [INFO] [stderr] Checking cpufeatures v0.2.17 [INFO] [stderr] Compiling halo2curves v0.7.0 [INFO] [stderr] Checking lazy_static v1.5.0 [INFO] [stderr] Checking block-padding v0.2.1 [INFO] [stderr] Checking anstyle-query v1.1.3 [INFO] [stderr] Checking keccak v0.1.5 [INFO] [stderr] Checking opaque-debug v0.3.1 [INFO] [stderr] Checking wyz v0.5.1 [INFO] [stderr] Checking memchr v2.7.5 [INFO] [stderr] Compiling rustix v1.0.7 [INFO] [stderr] Checking anstream v0.6.19 [INFO] [stderr] Compiling getrandom v0.3.3 [INFO] [stderr] Compiling halo2curves v0.6.1 [INFO] [stderr] Checking linux-raw-sys v0.9.4 [INFO] [stderr] Checking clap_lex v0.7.5 [INFO] [stderr] Checking bitflags v2.9.1 [INFO] [stderr] Compiling quote v1.0.40 [INFO] [stderr] Checking clap_builder v4.5.40 [INFO] [stderr] Checking iana-time-zone v0.1.63 [INFO] [stderr] Checking itertools v0.10.5 [INFO] [stderr] Checking generic-array v0.14.7 [INFO] [stderr] Checking fixedbitset v0.5.7 [INFO] [stderr] Compiling syn v2.0.103 [INFO] [stderr] Checking rayon v1.10.0 [INFO] [stderr] Checking array-init v2.1.0 [INFO] [stderr] Checking csv-core v0.1.12 [INFO] [stderr] Checking bitvec v1.0.1 [INFO] [stderr] Compiling num-integer v0.1.46 [INFO] [stderr] Compiling num-bigint v0.4.6 [INFO] [stderr] Checking crypto-common v0.1.6 [INFO] [stderr] Checking block-buffer v0.10.4 [INFO] [stderr] Checking block-buffer v0.9.0 [INFO] [stderr] Checking digest v0.9.0 [INFO] [stderr] Checking chrono v0.4.41 [INFO] [stderr] Checking digest v0.10.7 [INFO] [stderr] Checking sha3 v0.9.1 [INFO] [stderr] Checking blake2 v0.10.6 [INFO] [stderr] Checking sha2 v0.10.9 [INFO] [stderr] Checking getrandom v0.2.16 [INFO] [stderr] Checking rand_core v0.6.4 [INFO] [stderr] Checking ppv-lite86 v0.2.21 [INFO] [stderr] Checking ff v0.12.1 [INFO] [stderr] Checking rand_xorshift v0.3.0 [INFO] [stderr] Checking group v0.12.1 [INFO] [stderr] Checking rand_chacha v0.3.1 [INFO] [stderr] Checking tempfile v3.20.0 [INFO] [stderr] Checking rand v0.8.5 [INFO] [stderr] Checking ff v0.13.1 [INFO] [stderr] Checking group v0.13.0 [INFO] [stderr] Checking pasta_curves v0.5.1 [INFO] [stderr] Checking pairing v0.23.0 [INFO] [stderr] Compiling halo2derive v0.1.0 [INFO] [stderr] Compiling unroll v0.1.5 [INFO] [stderr] Compiling tracing-attributes v0.1.29 [INFO] [stderr] Compiling serde_derive v1.0.219 [INFO] [stderr] Compiling clap_derive v4.5.40 [INFO] [stderr] Checking tracing v0.1.41 [INFO] [stderr] Checking clap v4.5.40 [INFO] [stderr] Checking serde v1.0.219 [INFO] [stderr] Checking halo2_middleware v0.4.0 (https://github.com/privacy-scaling-explorations/halo2.git#016c08ca) [INFO] [stderr] Checking halo2_backend v0.4.0 (https://github.com/privacy-scaling-explorations/halo2.git#016c08ca) [INFO] [stderr] Checking halo2_frontend v0.4.0 (https://github.com/privacy-scaling-explorations/halo2.git#016c08ca) [INFO] [stderr] Checking bincode v1.3.3 [INFO] [stderr] Checking csv v1.3.1 [INFO] [stderr] Checking serde_json v1.0.140 [INFO] [stderr] Checking halo2_proofs v0.4.0 (https://github.com/privacy-scaling-explorations/halo2.git#016c08ca) [INFO] [stderr] Documenting zkgraph v0.1.0 (/opt/rustwide/workdir) [INFO] [stderr] Checking zkgraph v0.1.0 (/opt/rustwide/workdir) [INFO] [stdout] warning: unused import: `Fixed` [INFO] [stdout] --> src/chips/lessthan_or_equal_generic.rs:3:54 [INFO] [stdout] | [INFO] [stdout] 3 | plonk::{Advice, Column, ConstraintSystem, Error, Fixed, TableColumn, VirtualCells}, [INFO] [stdout] | ^^^^^ [INFO] [stdout] | [INFO] [stdout] = note: `#[warn(unused_imports)]` on by default [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unused import: `crate::data::csr::CsrValue` [INFO] [stdout] --> src/circuit/bfs_hop2.rs:5:5 [INFO] [stdout] | [INFO] [stdout] 5 | use crate::data::csr::CsrValue; [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unused imports: `BTreeSet` and `HashSet` [INFO] [stdout] --> src/circuit/bfs_hop2.rs:8:24 [INFO] [stdout] | [INFO] [stdout] 8 | use std::collections::{BTreeSet, HashMap, HashSet, VecDeque}; [INFO] [stdout] | ^^^^^^^^ ^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unused imports: `BTreeSet` and `HashSet` [INFO] [stdout] --> src/circuit/bfs_hop3.rs:7:24 [INFO] [stdout] | [INFO] [stdout] 7 | use std::collections::{BTreeSet, HashMap, HashSet, VecDeque}; [INFO] [stdout] | ^^^^^^^^ ^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: type `ic1CircuitConfig` should have an upper camel case name [INFO] [stdout] --> src/circuit/bi_sssp_from_ic1.rs:23:12 [INFO] [stdout] | [INFO] [stdout] 23 | pub struct ic1CircuitConfig { [INFO] [stdout] | ^^^^^^^^^^^^^^^^ help: convert the identifier to upper camel case (notice the capitalization): `Ic1circuitConfig` [INFO] [stdout] | [INFO] [stdout] = note: `#[warn(non_camel_case_types)]` on by default [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: type `ic1Chip` should have an upper camel case name [INFO] [stdout] --> src/circuit/bi_sssp_from_ic1.rs:58:12 [INFO] [stdout] | [INFO] [stdout] 58 | pub struct ic1Chip { [INFO] [stdout] | ^^^^^^^ help: convert the identifier to upper camel case (notice the capitalization): `Ic1chip` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: type `ic1CircuitConfig` should have an upper camel case name [INFO] [stdout] --> src/circuit/ic_1.rs:70:12 [INFO] [stdout] | [INFO] [stdout] 70 | pub struct ic1CircuitConfig { [INFO] [stdout] | ^^^^^^^^^^^^^^^^ help: convert the identifier to upper camel case (notice the capitalization): `Ic1circuitConfig` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: type `ic1Chip` should have an upper camel case name [INFO] [stdout] --> src/circuit/ic_1.rs:212:12 [INFO] [stdout] | [INFO] [stdout] 212 | pub struct ic1Chip { [INFO] [stdout] | ^^^^^^^ help: convert the identifier to upper camel case (notice the capitalization): `Ic1chip` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unused imports: `BTreeSet` and `HashSet` [INFO] [stdout] --> src/circuit/bfs_hop5.rs:7:24 [INFO] [stdout] | [INFO] [stdout] 7 | use std::collections::{BTreeSet, HashMap, HashSet, VecDeque}; [INFO] [stdout] | ^^^^^^^^ ^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: type `ic13CircuitConfig` should have an upper camel case name [INFO] [stdout] --> src/circuit/ic_13.rs:30:12 [INFO] [stdout] | [INFO] [stdout] 30 | pub struct ic13CircuitConfig { [INFO] [stdout] | ^^^^^^^^^^^^^^^^^ help: convert the identifier to upper camel case (notice the capitalization): `Ic13circuitConfig` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: type `ic13Chip` should have an upper camel case name [INFO] [stdout] --> src/circuit/ic_13.rs:67:12 [INFO] [stdout] | [INFO] [stdout] 67 | pub struct ic13Chip { [INFO] [stdout] | ^^^^^^^^ help: convert the identifier to upper camel case (notice the capitalization): `Ic13chip` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unused imports: `BTreeSet` and `HashSet` [INFO] [stdout] --> src/circuit/bfs_hop6.rs:7:24 [INFO] [stdout] | [INFO] [stdout] 7 | use std::collections::{BTreeSet, HashMap, HashSet, VecDeque}; [INFO] [stdout] | ^^^^^^^^ ^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: type `ic2CircuitConfig` should have an upper camel case name [INFO] [stdout] --> src/circuit/ic_2.rs:36:12 [INFO] [stdout] | [INFO] [stdout] 36 | pub struct ic2CircuitConfig { [INFO] [stdout] | ^^^^^^^^^^^^^^^^ help: convert the identifier to upper camel case (notice the capitalization): `Ic2circuitConfig` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: type `ic2Chip` should have an upper camel case name [INFO] [stdout] --> src/circuit/ic_2.rs:146:12 [INFO] [stdout] | [INFO] [stdout] 146 | pub struct ic2Chip { [INFO] [stdout] | ^^^^^^^ help: convert the identifier to upper camel case (notice the capitalization): `Ic2chip` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: type `ic9CircuitConfig` should have an upper camel case name [INFO] [stdout] --> src/circuit/ic_9.rs:39:12 [INFO] [stdout] | [INFO] [stdout] 39 | pub struct ic9CircuitConfig { [INFO] [stdout] | ^^^^^^^^^^^^^^^^ help: convert the identifier to upper camel case (notice the capitalization): `Ic9circuitConfig` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: type `ic9Chip` should have an upper camel case name [INFO] [stdout] --> src/circuit/ic_9.rs:166:12 [INFO] [stdout] | [INFO] [stdout] 166 | pub struct ic9Chip { [INFO] [stdout] | ^^^^^^^ help: convert the identifier to upper camel case (notice the capitalization): `Ic9chip` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unused import: `crate::data::csr::CsrValue` [INFO] [stdout] --> src/circuit/bi_sssp_from_ic1.rs:5:5 [INFO] [stdout] | [INFO] [stdout] 5 | use crate::data::csr::CsrValue; [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: type `ic1CircuitConfig` should have an upper camel case name [INFO] [stdout] --> src/circuit/bi_sssp_from_ic1.rs:23:12 [INFO] [stdout] | [INFO] [stdout] 23 | pub struct ic1CircuitConfig { [INFO] [stdout] | ^^^^^^^^^^^^^^^^ help: convert the identifier to upper camel case (notice the capitalization): `Ic1circuitConfig` [INFO] [stdout] | [INFO] [stdout] = note: `#[warn(non_camel_case_types)]` on by default [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: type `is3CircuitConfig` should have an upper camel case name [INFO] [stdout] --> src/circuit/is_3.rs:27:12 [INFO] [stdout] | [INFO] [stdout] 27 | pub struct is3CircuitConfig { [INFO] [stdout] | ^^^^^^^^^^^^^^^^ help: convert the identifier to upper camel case (notice the capitalization): `Is3circuitConfig` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: type `ic1Chip` should have an upper camel case name [INFO] [stdout] --> src/circuit/bi_sssp_from_ic1.rs:58:12 [INFO] [stdout] | [INFO] [stdout] 58 | pub struct ic1Chip { [INFO] [stdout] | ^^^^^^^ help: convert the identifier to upper camel case (notice the capitalization): `Ic1chip` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unused import: `crate::data::csr::CsrValue` [INFO] [stdout] --> src/circuit/ic_1.rs:5:5 [INFO] [stdout] | [INFO] [stdout] 5 | use crate::data::csr::CsrValue; [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: type `ic1CircuitConfig` should have an upper camel case name [INFO] [stdout] --> src/circuit/ic_1.rs:70:12 [INFO] [stdout] | [INFO] [stdout] 70 | pub struct ic1CircuitConfig { [INFO] [stdout] | ^^^^^^^^^^^^^^^^ help: convert the identifier to upper camel case (notice the capitalization): `Ic1circuitConfig` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: type `is3Chip` should have an upper camel case name [INFO] [stdout] --> src/circuit/is_3.rs:62:12 [INFO] [stdout] | [INFO] [stdout] 62 | pub struct is3Chip { [INFO] [stdout] | ^^^^^^^ help: convert the identifier to upper camel case (notice the capitalization): `Is3chip` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: type `ic1Chip` should have an upper camel case name [INFO] [stdout] --> src/circuit/ic_1.rs:212:12 [INFO] [stdout] | [INFO] [stdout] 212 | pub struct ic1Chip { [INFO] [stdout] | ^^^^^^^ help: convert the identifier to upper camel case (notice the capitalization): `Ic1chip` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: type `is4CircuitConfig` should have an upper camel case name [INFO] [stdout] --> src/circuit/is_4.rs:19:12 [INFO] [stdout] | [INFO] [stdout] 19 | pub struct is4CircuitConfig { [INFO] [stdout] | ^^^^^^^^^^^^^^^^ help: convert the identifier to upper camel case (notice the capitalization): `Is4circuitConfig` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: type `is4Chip` should have an upper camel case name [INFO] [stdout] --> src/circuit/is_4.rs:45:12 [INFO] [stdout] | [INFO] [stdout] 45 | pub struct is4Chip { [INFO] [stdout] | ^^^^^^^ help: convert the identifier to upper camel case (notice the capitalization): `Is4chip` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: type `is3CircuitConfig` should have an upper camel case name [INFO] [stdout] --> src/circuit/knows_bi_from_is3.rs:27:12 [INFO] [stdout] | [INFO] [stdout] 27 | pub struct is3CircuitConfig { [INFO] [stdout] | ^^^^^^^^^^^^^^^^ help: convert the identifier to upper camel case (notice the capitalization): `Is3circuitConfig` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: type `is3Chip` should have an upper camel case name [INFO] [stdout] --> src/circuit/knows_bi_from_is3.rs:56:12 [INFO] [stdout] | [INFO] [stdout] 56 | pub struct is3Chip { [INFO] [stdout] | ^^^^^^^ help: convert the identifier to upper camel case (notice the capitalization): `Is3chip` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unused import: `crate::data::csr::CsrValue` [INFO] [stdout] --> src/circuit/ic_13.rs:5:5 [INFO] [stdout] | [INFO] [stdout] 5 | use crate::data::csr::CsrValue; [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: type `is3CircuitConfig` should have an upper camel case name [INFO] [stdout] --> src/circuit/knows_single_from_is3.rs:22:12 [INFO] [stdout] | [INFO] [stdout] 22 | pub struct is3CircuitConfig { [INFO] [stdout] | ^^^^^^^^^^^^^^^^ help: convert the identifier to upper camel case (notice the capitalization): `Is3circuitConfig` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: type `ic13CircuitConfig` should have an upper camel case name [INFO] [stdout] --> src/circuit/ic_13.rs:30:12 [INFO] [stdout] | [INFO] [stdout] 30 | pub struct ic13CircuitConfig { [INFO] [stdout] | ^^^^^^^^^^^^^^^^^ help: convert the identifier to upper camel case (notice the capitalization): `Ic13circuitConfig` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: type `is3Chip` should have an upper camel case name [INFO] [stdout] --> src/circuit/knows_single_from_is3.rs:43:12 [INFO] [stdout] | [INFO] [stdout] 43 | pub struct is3Chip { [INFO] [stdout] | ^^^^^^^ help: convert the identifier to upper camel case (notice the capitalization): `Is3chip` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: type `ic13Chip` should have an upper camel case name [INFO] [stdout] --> src/circuit/ic_13.rs:67:12 [INFO] [stdout] | [INFO] [stdout] 67 | pub struct ic13Chip { [INFO] [stdout] | ^^^^^^^^ help: convert the identifier to upper camel case (notice the capitalization): `Ic13chip` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: type `set_expandCircuitConfig` should have an upper camel case name [INFO] [stdout] --> src/circuit/set_expand.rs:24:12 [INFO] [stdout] | [INFO] [stdout] 24 | pub struct set_expandCircuitConfig { [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^^^ help: convert the identifier to upper camel case: `SetExpandCircuitConfig` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unused import: `crate::data::csr::CsrValue` [INFO] [stdout] --> src/circuit/ic_2.rs:5:5 [INFO] [stdout] | [INFO] [stdout] 5 | use crate::data::csr::CsrValue; [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unused import: `VecDeque` [INFO] [stdout] --> src/circuit/ic_2.rs:9:33 [INFO] [stdout] | [INFO] [stdout] 9 | use std::collections::{HashMap, VecDeque}; [INFO] [stdout] | ^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: type `set_expandChip` should have an upper camel case name [INFO] [stdout] --> src/circuit/set_expand.rs:71:12 [INFO] [stdout] | [INFO] [stdout] 71 | pub struct set_expandChip { [INFO] [stdout] | ^^^^^^^^^^^^^^ help: convert the identifier to upper camel case: `SetExpandChip` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: type `ic2CircuitConfig` should have an upper camel case name [INFO] [stdout] --> src/circuit/ic_2.rs:36:12 [INFO] [stdout] | [INFO] [stdout] 36 | pub struct ic2CircuitConfig { [INFO] [stdout] | ^^^^^^^^^^^^^^^^ help: convert the identifier to upper camel case (notice the capitalization): `Ic2circuitConfig` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: type `ic2Chip` should have an upper camel case name [INFO] [stdout] --> src/circuit/ic_2.rs:146:12 [INFO] [stdout] | [INFO] [stdout] 146 | pub struct ic2Chip { [INFO] [stdout] | ^^^^^^^ help: convert the identifier to upper camel case (notice the capitalization): `Ic2chip` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unnecessary trailing semicolon [INFO] [stdout] --> src/circuit/set_expand.rs:511:24 [INFO] [stdout] | [INFO] [stdout] 511 | )?;; [INFO] [stdout] | ^ help: remove this semicolon [INFO] [stdout] | [INFO] [stdout] = note: `#[warn(redundant_semicolons)]` on by default [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: type `set_expandCircuitConfig` should have an upper camel case name [INFO] [stdout] --> src/circuit/multi_sssp.rs:23:12 [INFO] [stdout] | [INFO] [stdout] 23 | pub struct set_expandCircuitConfig { [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^^^ help: convert the identifier to upper camel case: `SetExpandCircuitConfig` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: type `set_expandChip` should have an upper camel case name [INFO] [stdout] --> src/circuit/multi_sssp.rs:43:12 [INFO] [stdout] | [INFO] [stdout] 43 | pub struct set_expandChip { [INFO] [stdout] | ^^^^^^^^^^^^^^ help: convert the identifier to upper camel case: `SetExpandChip` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unused import: `crate::data::csr::CsrValue` [INFO] [stdout] --> src/circuit/ic_9.rs:5:5 [INFO] [stdout] | [INFO] [stdout] 5 | use crate::data::csr::CsrValue; [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: type `ic9CircuitConfig` should have an upper camel case name [INFO] [stdout] --> src/circuit/ic_9.rs:39:12 [INFO] [stdout] | [INFO] [stdout] 39 | pub struct ic9CircuitConfig { [INFO] [stdout] | ^^^^^^^^^^^^^^^^ help: convert the identifier to upper camel case (notice the capitalization): `Ic9circuitConfig` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: type `ic9Chip` should have an upper camel case name [INFO] [stdout] --> src/circuit/ic_9.rs:166:12 [INFO] [stdout] | [INFO] [stdout] 166 | pub struct ic9Chip { [INFO] [stdout] | ^^^^^^^ help: convert the identifier to upper camel case (notice the capitalization): `Ic9chip` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unused import: `rayon::result` [INFO] [stdout] --> src/circuit/is_1.rs:4:5 [INFO] [stdout] | [INFO] [stdout] 4 | use rayon::result; [INFO] [stdout] | ^^^^^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unused import: `halo2_proofs::halo2curves::ff_ext::quadratic` [INFO] [stdout] --> src/circuit/is_1_csr.rs:7:5 [INFO] [stdout] | [INFO] [stdout] 7 | use halo2_proofs::halo2curves::ff_ext::quadratic; [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unused import: `itertools::max` [INFO] [stdout] --> src/circuit/is_1_csr.rs:9:5 [INFO] [stdout] | [INFO] [stdout] 9 | use itertools::max; [INFO] [stdout] | ^^^^^^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unused import: `rayon::result` [INFO] [stdout] --> src/circuit/is_3.rs:7:5 [INFO] [stdout] | [INFO] [stdout] 7 | use rayon::result; [INFO] [stdout] | ^^^^^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: type `is3CircuitConfig` should have an upper camel case name [INFO] [stdout] --> src/circuit/is_3.rs:27:12 [INFO] [stdout] | [INFO] [stdout] 27 | pub struct is3CircuitConfig { [INFO] [stdout] | ^^^^^^^^^^^^^^^^ help: convert the identifier to upper camel case (notice the capitalization): `Is3circuitConfig` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: type `is3Chip` should have an upper camel case name [INFO] [stdout] --> src/circuit/is_3.rs:62:12 [INFO] [stdout] | [INFO] [stdout] 62 | pub struct is3Chip { [INFO] [stdout] | ^^^^^^^ help: convert the identifier to upper camel case (notice the capitalization): `Is3chip` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: type `is4CircuitConfig` should have an upper camel case name [INFO] [stdout] --> src/circuit/is_4.rs:19:12 [INFO] [stdout] | [INFO] [stdout] 19 | pub struct is4CircuitConfig { [INFO] [stdout] | ^^^^^^^^^^^^^^^^ help: convert the identifier to upper camel case (notice the capitalization): `Is4circuitConfig` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: type `is4Chip` should have an upper camel case name [INFO] [stdout] --> src/circuit/is_4.rs:45:12 [INFO] [stdout] | [INFO] [stdout] 45 | pub struct is4Chip { [INFO] [stdout] | ^^^^^^^ help: convert the identifier to upper camel case (notice the capitalization): `Is4chip` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unused imports: `LtEqGenericChip` and `LtEqGenericConfig` [INFO] [stdout] --> src/circuit/knows_bi_from_is3.rs:3:5 [INFO] [stdout] | [INFO] [stdout] 3 | LtEqGenericChip, LtEqGenericConfig, LtEqGenericInstruction, [INFO] [stdout] | ^^^^^^^^^^^^^^^ ^^^^^^^^^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unused import: `rayon::result` [INFO] [stdout] --> src/circuit/knows_bi_from_is3.rs:7:5 [INFO] [stdout] | [INFO] [stdout] 7 | use rayon::result; [INFO] [stdout] | ^^^^^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: type `is3CircuitConfig` should have an upper camel case name [INFO] [stdout] --> src/circuit/knows_bi_from_is3.rs:27:12 [INFO] [stdout] | [INFO] [stdout] 27 | pub struct is3CircuitConfig { [INFO] [stdout] | ^^^^^^^^^^^^^^^^ help: convert the identifier to upper camel case (notice the capitalization): `Is3circuitConfig` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: type `is3Chip` should have an upper camel case name [INFO] [stdout] --> src/circuit/knows_bi_from_is3.rs:56:12 [INFO] [stdout] | [INFO] [stdout] 56 | pub struct is3Chip { [INFO] [stdout] | ^^^^^^^ help: convert the identifier to upper camel case (notice the capitalization): `Is3chip` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unused imports: `LtEqGenericChip` and `LtEqGenericConfig` [INFO] [stdout] --> src/circuit/knows_single_from_is3.rs:2:47 [INFO] [stdout] | [INFO] [stdout] 2 | use crate::chips::lessthan_or_equal_generic::{LtEqGenericChip, LtEqGenericConfig}; [INFO] [stdout] | ^^^^^^^^^^^^^^^ ^^^^^^^^^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unused import: `rayon::result` [INFO] [stdout] --> src/circuit/knows_single_from_is3.rs:5:5 [INFO] [stdout] | [INFO] [stdout] 5 | use rayon::result; [INFO] [stdout] | ^^^^^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: type `is3CircuitConfig` should have an upper camel case name [INFO] [stdout] --> src/circuit/knows_single_from_is3.rs:22:12 [INFO] [stdout] | [INFO] [stdout] 22 | pub struct is3CircuitConfig { [INFO] [stdout] | ^^^^^^^^^^^^^^^^ help: convert the identifier to upper camel case (notice the capitalization): `Is3circuitConfig` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: type `is3Chip` should have an upper camel case name [INFO] [stdout] --> src/circuit/knows_single_from_is3.rs:43:12 [INFO] [stdout] | [INFO] [stdout] 43 | pub struct is3Chip { [INFO] [stdout] | ^^^^^^^ help: convert the identifier to upper camel case (notice the capitalization): `Is3chip` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unused import: `crate::data::csr::CsrValue` [INFO] [stdout] --> src/circuit/set_expand.rs:5:5 [INFO] [stdout] | [INFO] [stdout] 5 | use crate::data::csr::CsrValue; [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unused imports: `max` and `min` [INFO] [stdout] --> src/circuit/set_expand.rs:8:16 [INFO] [stdout] | [INFO] [stdout] 8 | use std::cmp::{max, min}; [INFO] [stdout] | ^^^ ^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unused import: `VecDeque` [INFO] [stdout] --> src/circuit/set_expand.rs:9:33 [INFO] [stdout] | [INFO] [stdout] 9 | use std::collections::{HashMap, VecDeque}; [INFO] [stdout] | ^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: type `set_expandCircuitConfig` should have an upper camel case name [INFO] [stdout] --> src/circuit/set_expand.rs:24:12 [INFO] [stdout] | [INFO] [stdout] 24 | pub struct set_expandCircuitConfig { [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^^^ help: convert the identifier to upper camel case: `SetExpandCircuitConfig` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: type `set_expandChip` should have an upper camel case name [INFO] [stdout] --> src/circuit/set_expand.rs:71:12 [INFO] [stdout] | [INFO] [stdout] 71 | pub struct set_expandChip { [INFO] [stdout] | ^^^^^^^^^^^^^^ help: convert the identifier to upper camel case: `SetExpandChip` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unnecessary trailing semicolon [INFO] [stdout] --> src/circuit/set_expand.rs:511:24 [INFO] [stdout] | [INFO] [stdout] 511 | )?;; [INFO] [stdout] | ^ help: remove this semicolon [INFO] [stdout] | [INFO] [stdout] = note: `#[warn(redundant_semicolons)]` on by default [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unused import: `crate::data::csr::CsrValue` [INFO] [stdout] --> src/circuit/single_sssp_from_ic1.rs:5:5 [INFO] [stdout] | [INFO] [stdout] 5 | use crate::data::csr::CsrValue; [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unused import: `std::time::Instant` [INFO] [stdout] --> src/circuit/utils.rs:5:5 [INFO] [stdout] | [INFO] [stdout] 5 | use std::time::Instant; [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unused imports: `LtEqGenericChip` and `LtEqGenericConfig` [INFO] [stdout] --> src/circuit/multi_sssp.rs:3:5 [INFO] [stdout] | [INFO] [stdout] 3 | LtEqGenericChip, LtEqGenericConfig, LtEqGenericInstruction, [INFO] [stdout] | ^^^^^^^^^^^^^^^ ^^^^^^^^^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unused import: `crate::data::csr::CsrValue` [INFO] [stdout] --> src/circuit/multi_sssp.rs:5:5 [INFO] [stdout] | [INFO] [stdout] 5 | use crate::data::csr::CsrValue; [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unused imports: `max` and `min` [INFO] [stdout] --> src/circuit/multi_sssp.rs:8:16 [INFO] [stdout] | [INFO] [stdout] 8 | use std::cmp::{max, min}; [INFO] [stdout] | ^^^ ^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unused imports: `HashMap` and `VecDeque` [INFO] [stdout] --> src/circuit/multi_sssp.rs:9:24 [INFO] [stdout] | [INFO] [stdout] 9 | use std::collections::{HashMap, VecDeque}; [INFO] [stdout] | ^^^^^^^ ^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: type `set_expandCircuitConfig` should have an upper camel case name [INFO] [stdout] --> src/circuit/multi_sssp.rs:23:12 [INFO] [stdout] | [INFO] [stdout] 23 | pub struct set_expandCircuitConfig { [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^^^ help: convert the identifier to upper camel case: `SetExpandCircuitConfig` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: type `set_expandChip` should have an upper camel case name [INFO] [stdout] --> src/circuit/multi_sssp.rs:43:12 [INFO] [stdout] | [INFO] [stdout] 43 | pub struct set_expandChip { [INFO] [stdout] | ^^^^^^^^^^^^^^ help: convert the identifier to upper camel case: `SetExpandChip` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unused import: `crate::data::csr::CsrValue` [INFO] [stdout] --> src/circuit/preprocess_sssp_from_ic1.rs:5:5 [INFO] [stdout] | [INFO] [stdout] 5 | use crate::data::csr::CsrValue; [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unused import: `bn256::Fr` [INFO] [stdout] --> src/data/csr.rs:2:5 [INFO] [stdout] | [INFO] [stdout] 2 | bn256::Fr, [INFO] [stdout] | ^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unused import: `LtEqGenericInstruction` [INFO] [stdout] --> src/circuit/knows_bi_from_is3.rs:3:41 [INFO] [stdout] | [INFO] [stdout] 3 | LtEqGenericChip, LtEqGenericConfig, LtEqGenericInstruction, [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unused import: `LtEqGenericInstruction` [INFO] [stdout] --> src/circuit/multi_sssp.rs:3:41 [INFO] [stdout] | [INFO] [stdout] 3 | LtEqGenericChip, LtEqGenericConfig, LtEqGenericInstruction, [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: variable does not need to be mutable [INFO] [stdout] --> src/circuit/bfs_hop2.rs:168:13 [INFO] [stdout] | [INFO] [stdout] 168 | let mut dist0_node = meta.advice_column(); [INFO] [stdout] | ----^^^^^^^^^^ [INFO] [stdout] | | [INFO] [stdout] | help: remove this `mut` [INFO] [stdout] | [INFO] [stdout] = note: `#[warn(unused_mut)]` on by default [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: variable `distinct_hop1_to_ext_offset` is assigned to, but never used [INFO] [stdout] --> src/circuit/bfs_hop3.rs:1848:25 [INFO] [stdout] | [INFO] [stdout] 1848 | let mut distinct_hop1_to_ext_offset = 0; [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^^^^^^^ [INFO] [stdout] | [INFO] [stdout] = note: consider using `_distinct_hop1_to_ext_offset` instead [INFO] [stdout] = note: `#[warn(unused_variables)]` on by default [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: value assigned to `distinct_hop1_to_ext_offset` is never read [INFO] [stdout] --> src/circuit/bfs_hop3.rs:1883:17 [INFO] [stdout] | [INFO] [stdout] 1883 | distinct_hop1_to_ext_offset += distinct_hop1_to_ext_values.len(); [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^^^^^^^ [INFO] [stdout] | [INFO] [stdout] = help: maybe it is overwritten before being read? [INFO] [stdout] = note: `#[warn(unused_assignments)]` on by default [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: variable `pairs_table_offset` is assigned to, but never used [INFO] [stdout] --> src/circuit/bfs_hop3.rs:1885:25 [INFO] [stdout] | [INFO] [stdout] 1885 | let mut pairs_table_offset = 0; [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^ [INFO] [stdout] | [INFO] [stdout] = note: consider using `_pairs_table_offset` instead [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: value assigned to `pairs_table_offset` is never read [INFO] [stdout] --> src/circuit/bfs_hop3.rs:1906:17 [INFO] [stdout] | [INFO] [stdout] 1906 | pairs_table_offset += distinct_hop1_to_ext_pairs_table.len(); [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^ [INFO] [stdout] | [INFO] [stdout] = help: maybe it is overwritten before being read? [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unused variable: `cell_a` [INFO] [stdout] --> src/circuit/ic_1.rs:2035:25 [INFO] [stdout] | [INFO] [stdout] 2035 | let cell_a = region.assign_advice( [INFO] [stdout] | ^^^^^^ help: if this is intentional, prefix it with an underscore: `_cell_a` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: variable does not need to be mutable [INFO] [stdout] --> src/circuit/ic_1.rs:1629:13 [INFO] [stdout] | [INFO] [stdout] 1629 | let mut email_personid = get_first_column(&ordered_person_email_emailaddress); [INFO] [stdout] | ----^^^^^^^^^^^^^^ [INFO] [stdout] | | [INFO] [stdout] | help: remove this `mut` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: variable does not need to be mutable [INFO] [stdout] --> src/circuit/ic_2.rs:268:13 [INFO] [stdout] | [INFO] [stdout] 268 | let mut q_picked_pkp = meta.complex_selector(); [INFO] [stdout] | ----^^^^^^^^^^^^ [INFO] [stdout] | | [INFO] [stdout] | help: remove this `mut` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unused variable: `creator_id` [INFO] [stdout] --> src/circuit/ic_9.rs:1300:22 [INFO] [stdout] | [INFO] [stdout] 1300 | for &creator_id in creators { [INFO] [stdout] | ^^^^^^^^^^ help: if this is intentional, prefix it with an underscore: `_creator_id` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unused variable: `creator_id` [INFO] [stdout] --> src/circuit/ic_9.rs:1323:22 [INFO] [stdout] | [INFO] [stdout] 1323 | for &creator_id in creators { [INFO] [stdout] | ^^^^^^^^^^ help: if this is intentional, prefix it with an underscore: `_creator_id` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unused variable: `cell_check` [INFO] [stdout] --> src/circuit/is_1_csr.rs:346:25 [INFO] [stdout] | [INFO] [stdout] 346 | let cell_check = region.assign_advice( [INFO] [stdout] | ^^^^^^^^^^ help: if this is intentional, prefix it with an underscore: `_cell_check` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unused variable: `creationdate` [INFO] [stdout] --> src/circuit/is_3.rs:313:17 [INFO] [stdout] | [INFO] [stdout] 313 | let creationdate = row[2]; [INFO] [stdout] | ^^^^^^^^^^^^ help: if this is intentional, prefix it with an underscore: `_creationdate` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unused variable: `id1` [INFO] [stdout] --> src/circuit/is_3.rs:351:26 [INFO] [stdout] | [INFO] [stdout] 351 | let (id1, id2, min_id, max_id) = normalized_relations[row_idx]; [INFO] [stdout] | ^^^ help: if this is intentional, prefix it with an underscore: `_id1` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unused variable: `id2` [INFO] [stdout] --> src/circuit/is_3.rs:351:31 [INFO] [stdout] | [INFO] [stdout] 351 | let (id1, id2, min_id, max_id) = normalized_relations[row_idx]; [INFO] [stdout] | ^^^ help: if this is intentional, prefix it with an underscore: `_id2` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unused variable: `creationdate` [INFO] [stdout] --> src/circuit/knows_bi_from_is3.rs:260:17 [INFO] [stdout] | [INFO] [stdout] 260 | let creationdate = row[2]; [INFO] [stdout] | ^^^^^^^^^^^^ help: if this is intentional, prefix it with an underscore: `_creationdate` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unused variable: `id1` [INFO] [stdout] --> src/circuit/knows_bi_from_is3.rs:293:26 [INFO] [stdout] | [INFO] [stdout] 293 | let (id1, id2, min_id, max_id) = normalized_relations[row_idx]; [INFO] [stdout] | ^^^ help: if this is intentional, prefix it with an underscore: `_id1` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unused variable: `id2` [INFO] [stdout] --> src/circuit/knows_bi_from_is3.rs:293:31 [INFO] [stdout] | [INFO] [stdout] 293 | let (id1, id2, min_id, max_id) = normalized_relations[row_idx]; [INFO] [stdout] | ^^^ help: if this is intentional, prefix it with an underscore: `_id2` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unused variable: `one` [INFO] [stdout] --> src/circuit/multi_sssp.rs:73:13 [INFO] [stdout] | [INFO] [stdout] 73 | let one = Expression::Constant(F::ONE); [INFO] [stdout] | ^^^ help: if this is intentional, prefix it with an underscore: `_one` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: field `instance` is never read [INFO] [stdout] --> src/circuit/bfs_hop2.rs:90:5 [INFO] [stdout] | [INFO] [stdout] 22 | pub struct Is1CircuitConfig { [INFO] [stdout] | ---------------- field in this struct [INFO] [stdout] ... [INFO] [stdout] 90 | instance: Column, [INFO] [stdout] | ^^^^^^^^ [INFO] [stdout] | [INFO] [stdout] = note: `Is1CircuitConfig` has derived impls for the traits `Debug` and `Clone`, but these are intentionally ignored during dead code analysis [INFO] [stdout] = note: `#[warn(dead_code)]` on by default [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: field `instance` is never read [INFO] [stdout] --> src/circuit/bfs_hop3.rs:123:5 [INFO] [stdout] | [INFO] [stdout] 21 | pub struct Is1CircuitConfig { [INFO] [stdout] | ---------------- field in this struct [INFO] [stdout] ... [INFO] [stdout] 123 | instance: Column, [INFO] [stdout] | ^^^^^^^^ [INFO] [stdout] | [INFO] [stdout] = note: `Is1CircuitConfig` has derived impls for the traits `Debug` and `Clone`, but these are intentionally ignored during dead code analysis [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: field `instance` is never read [INFO] [stdout] --> src/circuit/bfs_hop4.rs:154:5 [INFO] [stdout] | [INFO] [stdout] 21 | pub struct Is1CircuitConfig { [INFO] [stdout] | ---------------- field in this struct [INFO] [stdout] ... [INFO] [stdout] 154 | instance: Column, [INFO] [stdout] | ^^^^^^^^ [INFO] [stdout] | [INFO] [stdout] = note: `Is1CircuitConfig` has derived impls for the traits `Debug` and `Clone`, but these are intentionally ignored during dead code analysis [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: field `instance` is never read [INFO] [stdout] --> src/circuit/bfs_hop5.rs:191:5 [INFO] [stdout] | [INFO] [stdout] 21 | pub struct Is1CircuitConfig { [INFO] [stdout] | ---------------- field in this struct [INFO] [stdout] ... [INFO] [stdout] 191 | instance: Column, [INFO] [stdout] | ^^^^^^^^ [INFO] [stdout] | [INFO] [stdout] = note: `Is1CircuitConfig` has derived impls for the traits `Debug` and `Clone`, but these are intentionally ignored during dead code analysis [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: field `instance` is never read [INFO] [stdout] --> src/circuit/bfs_hop6.rs:225:5 [INFO] [stdout] | [INFO] [stdout] 21 | pub struct Is1CircuitConfig { [INFO] [stdout] | ---------------- field in this struct [INFO] [stdout] ... [INFO] [stdout] 225 | instance: Column, [INFO] [stdout] | ^^^^^^^^ [INFO] [stdout] | [INFO] [stdout] = note: `Is1CircuitConfig` has derived impls for the traits `Debug` and `Clone`, but these are intentionally ignored during dead code analysis [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: field `instance` is never read [INFO] [stdout] --> src/circuit/bi_sssp_from_ic1.rs:54:5 [INFO] [stdout] | [INFO] [stdout] 23 | pub struct ic1CircuitConfig { [INFO] [stdout] | ---------------- field in this struct [INFO] [stdout] ... [INFO] [stdout] 54 | instance: Column, [INFO] [stdout] | ^^^^^^^^ [INFO] [stdout] | [INFO] [stdout] = note: `ic1CircuitConfig` has derived impls for the traits `Debug` and `Clone`, but these are intentionally ignored during dead code analysis [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: function `f_to_u64` is never used [INFO] [stdout] --> src/circuit/bi_sssp_from_ic1.rs:297:12 [INFO] [stdout] | [INFO] [stdout] 297 | fn f_to_u64(f: &F) -> u64 { [INFO] [stdout] | ^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: field `instance` is never read [INFO] [stdout] --> src/circuit/ic_1.rs:208:5 [INFO] [stdout] | [INFO] [stdout] 70 | pub struct ic1CircuitConfig { [INFO] [stdout] | ---------------- field in this struct [INFO] [stdout] ... [INFO] [stdout] 208 | instance: Column, [INFO] [stdout] | ^^^^^^^^ [INFO] [stdout] | [INFO] [stdout] = note: `ic1CircuitConfig` has derived impls for the traits `Debug` and `Clone`, but these are intentionally ignored during dead code analysis [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: function `f_to_u64` is never used [INFO] [stdout] --> src/circuit/ic_1.rs:1427:12 [INFO] [stdout] | [INFO] [stdout] 1427 | fn f_to_u64(f: &F) -> u64 { [INFO] [stdout] | ^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: field `instance` is never read [INFO] [stdout] --> src/circuit/ic_13.rs:63:5 [INFO] [stdout] | [INFO] [stdout] 30 | pub struct ic13CircuitConfig { [INFO] [stdout] | ----------------- field in this struct [INFO] [stdout] ... [INFO] [stdout] 63 | instance: Column, [INFO] [stdout] | ^^^^^^^^ [INFO] [stdout] | [INFO] [stdout] = note: `ic13CircuitConfig` has derived impls for the traits `Debug` and `Clone`, but these are intentionally ignored during dead code analysis [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: function `f_to_u64` is never used [INFO] [stdout] --> src/circuit/ic_13.rs:316:12 [INFO] [stdout] | [INFO] [stdout] 316 | fn f_to_u64(f: &F) -> u64 { [INFO] [stdout] | ^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: field `instance` is never read [INFO] [stdout] --> src/circuit/ic_2.rs:142:5 [INFO] [stdout] | [INFO] [stdout] 36 | pub struct ic2CircuitConfig { [INFO] [stdout] | ---------------- field in this struct [INFO] [stdout] ... [INFO] [stdout] 142 | instance: Column, [INFO] [stdout] | ^^^^^^^^ [INFO] [stdout] | [INFO] [stdout] = note: `ic2CircuitConfig` has derived impls for the traits `Debug` and `Clone`, but these are intentionally ignored during dead code analysis [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: field `instance` is never read [INFO] [stdout] --> src/circuit/ic_9.rs:162:5 [INFO] [stdout] | [INFO] [stdout] 39 | pub struct ic9CircuitConfig { [INFO] [stdout] | ---------------- field in this struct [INFO] [stdout] ... [INFO] [stdout] 162 | instance: Column, [INFO] [stdout] | ^^^^^^^^ [INFO] [stdout] | [INFO] [stdout] = note: `ic9CircuitConfig` has derived impls for the traits `Debug` and `Clone`, but these are intentionally ignored during dead code analysis [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: field `instance` is never read [INFO] [stdout] --> src/circuit/is_1_csr.rs:63:5 [INFO] [stdout] | [INFO] [stdout] 32 | pub struct Is1CircuitConfig { [INFO] [stdout] | ---------------- field in this struct [INFO] [stdout] ... [INFO] [stdout] 63 | instance: Column, [INFO] [stdout] | ^^^^^^^^ [INFO] [stdout] | [INFO] [stdout] = note: `Is1CircuitConfig` has derived impls for the traits `Debug` and `Clone`, but these are intentionally ignored during dead code analysis [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: constant `NUM_BYTES` is never used [INFO] [stdout] --> src/circuit/knows_bi_from_is3.rs:22:7 [INFO] [stdout] | [INFO] [stdout] 22 | const NUM_BYTES: usize = 6; [INFO] [stdout] | ^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: constant `NUM_BYTES` is never used [INFO] [stdout] --> src/circuit/knows_single_from_is3.rs:17:7 [INFO] [stdout] | [INFO] [stdout] 17 | const NUM_BYTES: usize = 5; [INFO] [stdout] | ^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: field `instance` is never read [INFO] [stdout] --> src/circuit/set_expand.rs:67:5 [INFO] [stdout] | [INFO] [stdout] 24 | pub struct set_expandCircuitConfig { [INFO] [stdout] | ----------------------- field in this struct [INFO] [stdout] ... [INFO] [stdout] 67 | instance: Column, [INFO] [stdout] | ^^^^^^^^ [INFO] [stdout] | [INFO] [stdout] = note: `set_expandCircuitConfig` has derived impls for the traits `Debug` and `Clone`, but these are intentionally ignored during dead code analysis [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: field `instance` is never read [INFO] [stdout] --> src/circuit/single_sssp_from_ic1.rs:43:5 [INFO] [stdout] | [INFO] [stdout] 21 | pub struct Is1CircuitConfig { [INFO] [stdout] | ---------------- field in this struct [INFO] [stdout] ... [INFO] [stdout] 43 | instance: Column, [INFO] [stdout] | ^^^^^^^^ [INFO] [stdout] | [INFO] [stdout] = note: `Is1CircuitConfig` has derived impls for the traits `Debug` and `Clone`, but these are intentionally ignored during dead code analysis [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: function `f_to_u64` is never used [INFO] [stdout] --> src/circuit/single_sssp_from_ic1.rs:209:12 [INFO] [stdout] | [INFO] [stdout] 209 | fn f_to_u64(f: &F) -> u64 { [INFO] [stdout] | ^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: fields `q_friends` and `instance` are never read [INFO] [stdout] --> src/circuit/multi_sssp.rs:25:5 [INFO] [stdout] | [INFO] [stdout] 23 | pub struct set_expandCircuitConfig { [INFO] [stdout] | ----------------------- fields in this struct [INFO] [stdout] 24 | friendsid: Vec>, [INFO] [stdout] 25 | q_friends: Vec, [INFO] [stdout] | ^^^^^^^^^ [INFO] [stdout] ... [INFO] [stdout] 39 | instance: Column, [INFO] [stdout] | ^^^^^^^^ [INFO] [stdout] | [INFO] [stdout] = note: `set_expandCircuitConfig` has derived impls for the traits `Debug` and `Clone`, but these are intentionally ignored during dead code analysis [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: field `instance` is never read [INFO] [stdout] --> src/circuit/preprocess_sssp_from_ic1.rs:43:5 [INFO] [stdout] | [INFO] [stdout] 21 | pub struct Is1CircuitConfig { [INFO] [stdout] | ---------------- field in this struct [INFO] [stdout] ... [INFO] [stdout] 43 | instance: Column, [INFO] [stdout] | ^^^^^^^^ [INFO] [stdout] | [INFO] [stdout] = note: `Is1CircuitConfig` has derived impls for the traits `Debug` and `Clone`, but these are intentionally ignored during dead code analysis [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: function `f_to_u64` is never used [INFO] [stdout] --> src/circuit/preprocess_sssp_from_ic1.rs:211:12 [INFO] [stdout] | [INFO] [stdout] 211 | fn f_to_u64(f: &F) -> u64 { [INFO] [stdout] | ^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: function `enumerate` is never used [INFO] [stdout] --> src/util.rs:3:8 [INFO] [stdout] | [INFO] [stdout] 3 | pub fn enumerate(iterable: I) -> iter::Enumerate [INFO] [stdout] | ^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: function `zip` is never used [INFO] [stdout] --> src/util.rs:10:8 [INFO] [stdout] | [INFO] [stdout] 10 | pub fn zip(i: I, j: J) -> iter::Zip [INFO] [stdout] | ^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: function `expr` is never used [INFO] [stdout] --> src/util.rs:25:12 [INFO] [stdout] | [INFO] [stdout] 25 | pub fn expr, I: IntoIterator>(inputs: I) -> Expression { [INFO] [stdout] | ^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: function `value` is never used [INFO] [stdout] --> src/util.rs:32:12 [INFO] [stdout] | [INFO] [stdout] 32 | pub fn value(values: &[u8]) -> F { [INFO] [stdout] | ^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: function `expr` is never used [INFO] [stdout] --> src/util.rs:46:12 [INFO] [stdout] | [INFO] [stdout] 46 | pub fn expr, I: IntoIterator>(inputs: I) -> Expression { [INFO] [stdout] | ^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: function `value` is never used [INFO] [stdout] --> src/util.rs:53:12 [INFO] [stdout] | [INFO] [stdout] 53 | pub fn value(inputs: Vec) -> F { [INFO] [stdout] | ^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: function `expr` is never used [INFO] [stdout] --> src/util.rs:66:12 [INFO] [stdout] | [INFO] [stdout] 66 | pub fn expr, I: IntoIterator>(inputs: I) -> Expression { [INFO] [stdout] | ^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: function `value` is never used [INFO] [stdout] --> src/util.rs:71:12 [INFO] [stdout] | [INFO] [stdout] 71 | pub fn value(inputs: Vec) -> F { [INFO] [stdout] | ^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: function `expr` is never used [INFO] [stdout] --> src/util.rs:82:12 [INFO] [stdout] | [INFO] [stdout] 82 | pub fn expr>(b: E) -> Expression { [INFO] [stdout] | ^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: function `value` is never used [INFO] [stdout] --> src/util.rs:87:12 [INFO] [stdout] | [INFO] [stdout] 87 | pub fn value(b: F) -> F { [INFO] [stdout] | ^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: function `expr` is never used [INFO] [stdout] --> src/util.rs:98:12 [INFO] [stdout] | [INFO] [stdout] 98 | pub fn expr>(a: E, b: E) -> Expression { [INFO] [stdout] | ^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: function `value` is never used [INFO] [stdout] --> src/util.rs:103:12 [INFO] [stdout] | [INFO] [stdout] 103 | pub fn value(a: F, b: F) -> F { [INFO] [stdout] | ^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: function `expr` is never used [INFO] [stdout] --> src/util.rs:115:12 [INFO] [stdout] | [INFO] [stdout] 115 | pub fn expr( [INFO] [stdout] | ^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: function `value` is never used [INFO] [stdout] --> src/util.rs:125:12 [INFO] [stdout] | [INFO] [stdout] 125 | pub fn value(selector: F, when_true: F, when_false: F) -> F { [INFO] [stdout] | ^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: function `value_word` is never used [INFO] [stdout] --> src/util.rs:131:12 [INFO] [stdout] | [INFO] [stdout] 131 | pub fn value_word( [INFO] [stdout] | ^^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: function `expr` is never used [INFO] [stdout] --> src/util.rs:148:12 [INFO] [stdout] | [INFO] [stdout] 148 | pub fn expr>(bytes: &[E]) -> Expression { [INFO] [stdout] | ^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: function `value` is never used [INFO] [stdout] --> src/util.rs:158:12 [INFO] [stdout] | [INFO] [stdout] 158 | pub fn value(bytes: &[u8]) -> F { [INFO] [stdout] | ^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: structure field `person_isLocatedIn_place` should have a snake case name [INFO] [stdout] --> src/circuit/ic_1.rs:108:5 [INFO] [stdout] | [INFO] [stdout] 108 | person_isLocatedIn_place: Vec>, [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^^^^ help: convert the identifier to snake case: `person_is_located_in_place` [INFO] [stdout] | [INFO] [stdout] = note: `#[warn(non_snake_case)]` on by default [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: structure field `person_studyAt_organisation` should have a snake case name [INFO] [stdout] --> src/circuit/ic_1.rs:146:5 [INFO] [stdout] | [INFO] [stdout] 146 | person_studyAt_organisation: Vec>, [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^^^^^^^ help: convert the identifier to snake case: `person_study_at_organisation` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: structure field `ordered_person_studyAt_organisation` should have a snake case name [INFO] [stdout] --> src/circuit/ic_1.rs:148:5 [INFO] [stdout] | [INFO] [stdout] 148 | ordered_person_studyAt_organisation: Vec>, [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ help: convert the identifier to snake case: `ordered_person_study_at_organisation` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: structure field `ordered_person_studyAt_organisation_configure` should have a snake case name [INFO] [stdout] --> src/circuit/ic_1.rs:149:5 [INFO] [stdout] | [INFO] [stdout] 149 | ordered_person_studyAt_organisation_configure: LtEqGenericConfig, [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ help: convert the identifier to snake case: `ordered_person_study_at_organisation_configure` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: structure field `person_workAt_organisation` should have a snake case name [INFO] [stdout] --> src/circuit/ic_1.rs:160:5 [INFO] [stdout] | [INFO] [stdout] 160 | person_workAt_organisation: Vec>, [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^^^^^^ help: convert the identifier to snake case: `person_work_at_organisation` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: structure field `ordered_person_workAt_organisation` should have a snake case name [INFO] [stdout] --> src/circuit/ic_1.rs:162:5 [INFO] [stdout] | [INFO] [stdout] 162 | ordered_person_workAt_organisation: Vec>, [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ help: convert the identifier to snake case: `ordered_person_work_at_organisation` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: structure field `ordered_person_workAt_organisation_configure` should have a snake case name [INFO] [stdout] --> src/circuit/ic_1.rs:163:5 [INFO] [stdout] | [INFO] [stdout] 163 | ordered_person_workAt_organisation_configure: LtEqGenericConfig, [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ help: convert the identifier to snake case: `ordered_person_work_at_organisation_configure` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: structure field `organisation_isLocatedIn_place` should have a snake case name [INFO] [stdout] --> src/circuit/ic_1.rs:185:5 [INFO] [stdout] | [INFO] [stdout] 185 | organisation_isLocatedIn_place: Vec>, [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ help: convert the identifier to snake case: `organisation_is_located_in_place` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: variable `person_isLocatedIn_place` should have a snake case name [INFO] [stdout] --> src/circuit/ic_1.rs:483:17 [INFO] [stdout] | [INFO] [stdout] 483 | let mut person_isLocatedIn_place = Vec::new(); [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^^^^ help: convert the identifier to snake case: `person_is_located_in_place` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: variable `person_studyAt_organisation` should have a snake case name [INFO] [stdout] --> src/circuit/ic_1.rs:517:17 [INFO] [stdout] | [INFO] [stdout] 517 | let mut person_studyAt_organisation = Vec::new(); [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^^^^^^^ help: convert the identifier to snake case: `person_study_at_organisation` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: variable `person_workAt_organisation` should have a snake case name [INFO] [stdout] --> src/circuit/ic_1.rs:523:17 [INFO] [stdout] | [INFO] [stdout] 523 | let mut person_workAt_organisation = Vec::new(); [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^^^^^^ help: convert the identifier to snake case: `person_work_at_organisation` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: variable `ordered_person_studyAt_organisation` should have a snake case name [INFO] [stdout] --> src/circuit/ic_1.rs:813:17 [INFO] [stdout] | [INFO] [stdout] 813 | let mut ordered_person_studyAt_organisation = Vec::new(); [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ help: convert the identifier to snake case: `ordered_person_study_at_organisation` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: variable `ordered_person_studyAt_organisation_configure` should have a snake case name [INFO] [stdout] --> src/circuit/ic_1.rs:831:13 [INFO] [stdout] | [INFO] [stdout] 831 | let ordered_person_studyAt_organisation_configure = LtEqGenericChip::configure( [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ help: convert the identifier to snake case: `ordered_person_study_at_organisation_configure` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: variable `ordered_person_workAt_organisation` should have a snake case name [INFO] [stdout] --> src/circuit/ic_1.rs:949:17 [INFO] [stdout] | [INFO] [stdout] 949 | let mut ordered_person_workAt_organisation = Vec::new(); [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ help: convert the identifier to snake case: `ordered_person_work_at_organisation` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: variable `ordered_person_workAt_organisation_configure` should have a snake case name [INFO] [stdout] --> src/circuit/ic_1.rs:967:13 [INFO] [stdout] | [INFO] [stdout] 967 | let ordered_person_workAt_organisation_configure = LtEqGenericChip::configure( [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ help: convert the identifier to snake case: `ordered_person_work_at_organisation_configure` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: variable `organisation_isLocatedIn_place` should have a snake case name [INFO] [stdout] --> src/circuit/ic_1.rs:1114:17 [INFO] [stdout] | [INFO] [stdout] 1114 | let mut organisation_isLocatedIn_place = Vec::new(); [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ help: convert the identifier to snake case: `organisation_is_located_in_place` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: variable `person_isLocatedIn_place` should have a snake case name [INFO] [stdout] --> src/circuit/ic_1.rs:1420:9 [INFO] [stdout] | [INFO] [stdout] 1420 | person_isLocatedIn_place: Vec>, [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^^^^ help: convert the identifier to snake case: `person_is_located_in_place` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: variable `person_studyAt_organisation` should have a snake case name [INFO] [stdout] --> src/circuit/ic_1.rs:1422:9 [INFO] [stdout] | [INFO] [stdout] 1422 | person_studyAt_organisation: Vec>, [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^^^^^^^ help: convert the identifier to snake case: `person_study_at_organisation` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: variable `person_workAt_organisation` should have a snake case name [INFO] [stdout] --> src/circuit/ic_1.rs:1423:9 [INFO] [stdout] | [INFO] [stdout] 1423 | person_workAt_organisation: Vec>, [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^^^^^^ help: convert the identifier to snake case: `person_work_at_organisation` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: variable `organisation_isLocatedIn_place` should have a snake case name [INFO] [stdout] --> src/circuit/ic_1.rs:1425:9 [INFO] [stdout] | [INFO] [stdout] 1425 | organisation_isLocatedIn_place: Vec>, [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ help: convert the identifier to snake case: `organisation_is_located_in_place` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: variable `ordered_person_studyAt_organisation` should have a snake case name [INFO] [stdout] --> src/circuit/ic_1.rs:1681:17 [INFO] [stdout] | [INFO] [stdout] 1681 | let mut ordered_person_studyAt_organisation = person_studyAt_organisation.to_vec(); [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ help: convert the identifier to snake case: `ordered_person_study_at_organisation` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: variable `ordered_person_workAt_organisation` should have a snake case name [INFO] [stdout] --> src/circuit/ic_1.rs:1722:17 [INFO] [stdout] | [INFO] [stdout] 1722 | let mut ordered_person_workAt_organisation = person_workAt_organisation.to_vec(); [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ help: convert the identifier to snake case: `ordered_person_work_at_organisation` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: structure field `person_isLocatedIn_place` should have a snake case name [INFO] [stdout] --> src/circuit/ic_1.rs:2867:9 [INFO] [stdout] | [INFO] [stdout] 2867 | pub person_isLocatedIn_place: Vec>, [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^^^^ help: convert the identifier to snake case: `person_is_located_in_place` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: structure field `person_studyAt_organisation` should have a snake case name [INFO] [stdout] --> src/circuit/ic_1.rs:2869:9 [INFO] [stdout] | [INFO] [stdout] 2869 | pub person_studyAt_organisation: Vec>, [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^^^^^^^ help: convert the identifier to snake case: `person_study_at_organisation` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: structure field `person_workAt_organisation` should have a snake case name [INFO] [stdout] --> src/circuit/ic_1.rs:2870:9 [INFO] [stdout] | [INFO] [stdout] 2870 | pub person_workAt_organisation: Vec>, [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^^^^^^ help: convert the identifier to snake case: `person_work_at_organisation` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: structure field `organisation_isLocatedIn_place` should have a snake case name [INFO] [stdout] --> src/circuit/ic_1.rs:2872:9 [INFO] [stdout] | [INFO] [stdout] 2872 | pub organisation_isLocatedIn_place: Vec>, [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ help: convert the identifier to snake case: `organisation_is_located_in_place` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: structure field `comment_hasCreator_person` should have a snake case name [INFO] [stdout] --> src/circuit/ic_2.rs:67:5 [INFO] [stdout] | [INFO] [stdout] 67 | comment_hasCreator_person: Vec>, [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^^^^^ help: convert the identifier to snake case: `comment_has_creator_person` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: structure field `post_hasCreator_person` should have a snake case name [INFO] [stdout] --> src/circuit/ic_2.rs:83:5 [INFO] [stdout] | [INFO] [stdout] 83 | post_hasCreator_person: Vec>, [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^^ help: convert the identifier to snake case: `post_has_creator_person` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: variable `M` should have a snake case name [INFO] [stdout] --> src/circuit/ic_2.rs:219:17 [INFO] [stdout] | [INFO] [stdout] 219 | let M = meta.query_advice(pkp_max_id, Rotation::cur()); [INFO] [stdout] | ^ help: convert the identifier to snake case: `m` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: variable `M` should have a snake case name [INFO] [stdout] --> src/circuit/ic_2.rs:254:17 [INFO] [stdout] | [INFO] [stdout] 254 | let M = meta.query_advice(friends_max, Rotation::cur()); [INFO] [stdout] | ^ help: convert the identifier to snake case: `m` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: variable `comment_hasCreator_person` should have a snake case name [INFO] [stdout] --> src/circuit/ic_2.rs:337:17 [INFO] [stdout] | [INFO] [stdout] 337 | let mut comment_hasCreator_person = Vec::new(); [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^^^^^ help: convert the identifier to snake case: `comment_has_creator_person` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: variable `post_hasCreator_person` should have a snake case name [INFO] [stdout] --> src/circuit/ic_2.rs:441:17 [INFO] [stdout] | [INFO] [stdout] 441 | let mut post_hasCreator_person = Vec::new(); [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^^ help: convert the identifier to snake case: `post_has_creator_person` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: variable `comment_hasCreator_person` should have a snake case name [INFO] [stdout] --> src/circuit/ic_2.rs:969:9 [INFO] [stdout] | [INFO] [stdout] 969 | comment_hasCreator_person: Vec>, [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^^^^^ help: convert the identifier to snake case: `comment_has_creator_person` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: variable `post_hasCreator_person` should have a snake case name [INFO] [stdout] --> src/circuit/ic_2.rs:970:9 [INFO] [stdout] | [INFO] [stdout] 970 | post_hasCreator_person: Vec>, [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^^ help: convert the identifier to snake case: `post_has_creator_person` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: structure field `comment_hasCreator_person` should have a snake case name [INFO] [stdout] --> src/circuit/ic_2.rs:1931:9 [INFO] [stdout] | [INFO] [stdout] 1931 | pub comment_hasCreator_person: Vec>, [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^^^^^ help: convert the identifier to snake case: `comment_has_creator_person` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: structure field `post_hasCreator_person` should have a snake case name [INFO] [stdout] --> src/circuit/ic_2.rs:1932:9 [INFO] [stdout] | [INFO] [stdout] 1932 | pub post_hasCreator_person: Vec>, [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^^ help: convert the identifier to snake case: `post_has_creator_person` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: structure field `comment_hasCreator_person` should have a snake case name [INFO] [stdout] --> src/circuit/ic_9.rs:87:5 [INFO] [stdout] | [INFO] [stdout] 87 | comment_hasCreator_person: Vec>, [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^^^^^ help: convert the identifier to snake case: `comment_has_creator_person` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: structure field `post_hasCreator_person` should have a snake case name [INFO] [stdout] --> src/circuit/ic_9.rs:103:5 [INFO] [stdout] | [INFO] [stdout] 103 | post_hasCreator_person: Vec>, [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^^ help: convert the identifier to snake case: `post_has_creator_person` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: variable `comment_hasCreator_person` should have a snake case name [INFO] [stdout] --> src/circuit/ic_9.rs:475:17 [INFO] [stdout] | [INFO] [stdout] 475 | let mut comment_hasCreator_person = Vec::new(); [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^^^^^ help: convert the identifier to snake case: `comment_has_creator_person` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: variable `post_hasCreator_person` should have a snake case name [INFO] [stdout] --> src/circuit/ic_9.rs:579:17 [INFO] [stdout] | [INFO] [stdout] 579 | let mut post_hasCreator_person = Vec::new(); [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^^ help: convert the identifier to snake case: `post_has_creator_person` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: variable `comment_hasCreator_person` should have a snake case name [INFO] [stdout] --> src/circuit/ic_9.rs:1118:9 [INFO] [stdout] | [INFO] [stdout] 1118 | comment_hasCreator_person: Vec>, [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^^^^^ help: convert the identifier to snake case: `comment_has_creator_person` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: variable `post_hasCreator_person` should have a snake case name [INFO] [stdout] --> src/circuit/ic_9.rs:1119:9 [INFO] [stdout] | [INFO] [stdout] 1119 | post_hasCreator_person: Vec>, [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^^ help: convert the identifier to snake case: `post_has_creator_person` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: structure field `comment_hasCreator_person` should have a snake case name [INFO] [stdout] --> src/circuit/ic_9.rs:2218:9 [INFO] [stdout] | [INFO] [stdout] 2218 | pub comment_hasCreator_person: Vec>, [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^^^^^ help: convert the identifier to snake case: `comment_has_creator_person` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: structure field `post_hasCreator_person` should have a snake case name [INFO] [stdout] --> src/circuit/ic_9.rs:2219:9 [INFO] [stdout] | [INFO] [stdout] 2219 | pub post_hasCreator_person: Vec>, [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^^ help: convert the identifier to snake case: `post_has_creator_person` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: structure field `person_isLocatedIn_place` should have a snake case name [INFO] [stdout] --> src/circuit/is_1.rs:30:9 [INFO] [stdout] | [INFO] [stdout] 30 | pub person_isLocatedIn_place: Vec>, [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^^^^ help: convert the identifier to snake case: `person_is_located_in_place` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: variable `person_isLocatedIn_place` should have a snake case name [INFO] [stdout] --> src/circuit/is_1.rs:66:17 [INFO] [stdout] | [INFO] [stdout] 66 | let mut person_isLocatedIn_place = Vec::new(); [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^^^^ help: convert the identifier to snake case: `person_is_located_in_place` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: variable `person_isLocatedIn_place` should have a snake case name [INFO] [stdout] --> src/circuit/is_1.rs:163:9 [INFO] [stdout] | [INFO] [stdout] 163 | person_isLocatedIn_place: Vec>, [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^^^^ help: convert the identifier to snake case: `person_is_located_in_place` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: structure field `person_isLocatedIn_place` should have a snake case name [INFO] [stdout] --> src/circuit/is_1.rs:266:9 [INFO] [stdout] | [INFO] [stdout] 266 | pub person_isLocatedIn_place: Vec>, [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^^^^ help: convert the identifier to snake case: `person_is_located_in_place` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: variable `M` should have a snake case name [INFO] [stdout] --> src/circuit/is_3.rs:121:17 [INFO] [stdout] | [INFO] [stdout] 121 | let M = meta.query_advice(max_id, Rotation::cur()); [INFO] [stdout] | ^ help: convert the identifier to snake case: `m` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: variable `M` should have a snake case name [INFO] [stdout] --> src/circuit/is_3.rs:147:17 [INFO] [stdout] | [INFO] [stdout] 147 | let M = meta.query_advice(result_max_id, Rotation::cur()); [INFO] [stdout] | ^ help: convert the identifier to snake case: `m` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: structure field `comment_hasCreator_person` should have a snake case name [INFO] [stdout] --> src/circuit/is_5.rs:20:9 [INFO] [stdout] | [INFO] [stdout] 20 | pub comment_hasCreator_person: Vec>, [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^^^^^ help: convert the identifier to snake case: `comment_has_creator_person` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: structure field `post_hasCreator_person` should have a snake case name [INFO] [stdout] --> src/circuit/is_5.rs:21:9 [INFO] [stdout] | [INFO] [stdout] 21 | pub post_hasCreator_person: Vec>, [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^^ help: convert the identifier to snake case: `post_has_creator_person` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: variable `comment_hasCreator_person` should have a snake case name [INFO] [stdout] --> src/circuit/is_5.rs:66:17 [INFO] [stdout] | [INFO] [stdout] 66 | let mut comment_hasCreator_person = Vec::new(); [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^^^^^ help: convert the identifier to snake case: `comment_has_creator_person` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: variable `post_hasCreator_person` should have a snake case name [INFO] [stdout] --> src/circuit/is_5.rs:67:17 [INFO] [stdout] | [INFO] [stdout] 67 | let mut post_hasCreator_person = Vec::new(); [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^^ help: convert the identifier to snake case: `post_has_creator_person` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: variable `comment_hasCreator_person` should have a snake case name [INFO] [stdout] --> src/circuit/is_5.rs:205:9 [INFO] [stdout] | [INFO] [stdout] 205 | comment_hasCreator_person: Vec>, [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^^^^^ help: convert the identifier to snake case: `comment_has_creator_person` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: variable `post_hasCreator_person` should have a snake case name [INFO] [stdout] --> src/circuit/is_5.rs:206:9 [INFO] [stdout] | [INFO] [stdout] 206 | post_hasCreator_person: Vec>, [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^^ help: convert the identifier to snake case: `post_has_creator_person` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: structure field `comment_hasCreator_person` should have a snake case name [INFO] [stdout] --> src/circuit/is_5.rs:369:9 [INFO] [stdout] | [INFO] [stdout] 369 | pub comment_hasCreator_person: Vec>, [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^^^^^ help: convert the identifier to snake case: `comment_has_creator_person` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: structure field `post_hasCreator_person` should have a snake case name [INFO] [stdout] --> src/circuit/is_5.rs:370:9 [INFO] [stdout] | [INFO] [stdout] 370 | pub post_hasCreator_person: Vec>, [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^^ help: convert the identifier to snake case: `post_has_creator_person` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: variable `M` should have a snake case name [INFO] [stdout] --> src/circuit/knows_bi_from_is3.rs:115:17 [INFO] [stdout] | [INFO] [stdout] 115 | let M = meta.query_advice(max_id, Rotation::cur()); [INFO] [stdout] | ^ help: convert the identifier to snake case: `m` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: variable `M` should have a snake case name [INFO] [stdout] --> src/circuit/knows_bi_from_is3.rs:138:17 [INFO] [stdout] | [INFO] [stdout] 138 | let M = meta.query_advice(result_max_id, Rotation::cur()); [INFO] [stdout] | ^ help: convert the identifier to snake case: `m` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: structure field `comment_hasCreator_person` should have a snake case name [INFO] [stdout] --> src/circuit/set_expand.rs:37:5 [INFO] [stdout] | [INFO] [stdout] 37 | comment_hasCreator_person: Vec>, [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^^^^^ help: convert the identifier to snake case: `comment_has_creator_person` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: structure field `post_hasCreator_person` should have a snake case name [INFO] [stdout] --> src/circuit/set_expand.rs:52:5 [INFO] [stdout] | [INFO] [stdout] 52 | post_hasCreator_person: Vec>, [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^^ help: convert the identifier to snake case: `post_has_creator_person` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: variable `comment_hasCreator_person` should have a snake case name [INFO] [stdout] --> src/circuit/set_expand.rs:143:17 [INFO] [stdout] | [INFO] [stdout] 143 | let mut comment_hasCreator_person = Vec::new(); [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^^^^^ help: convert the identifier to snake case: `comment_has_creator_person` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: variable `post_hasCreator_person` should have a snake case name [INFO] [stdout] --> src/circuit/set_expand.rs:247:17 [INFO] [stdout] | [INFO] [stdout] 247 | let mut post_hasCreator_person = Vec::new(); [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^^ help: convert the identifier to snake case: `post_has_creator_person` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: variable `comment_hasCreator_person` should have a snake case name [INFO] [stdout] --> src/circuit/set_expand.rs:391:9 [INFO] [stdout] | [INFO] [stdout] 391 | comment_hasCreator_person: Vec>, [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^^^^^ help: convert the identifier to snake case: `comment_has_creator_person` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: variable `post_hasCreator_person` should have a snake case name [INFO] [stdout] --> src/circuit/set_expand.rs:392:9 [INFO] [stdout] | [INFO] [stdout] 392 | post_hasCreator_person: Vec>, [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^^ help: convert the identifier to snake case: `post_has_creator_person` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: structure field `comment_hasCreator_person` should have a snake case name [INFO] [stdout] --> src/circuit/set_expand.rs:801:9 [INFO] [stdout] | [INFO] [stdout] 801 | pub comment_hasCreator_person: Vec>, [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^^^^^ help: convert the identifier to snake case: `comment_has_creator_person` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: structure field `post_hasCreator_person` should have a snake case name [INFO] [stdout] --> src/circuit/set_expand.rs:802:9 [INFO] [stdout] | [INFO] [stdout] 802 | pub post_hasCreator_person: Vec>, [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^^ help: convert the identifier to snake case: `post_has_creator_person` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: structure field `comment_hasCreator_person` should have a snake case name [INFO] [stdout] --> src/circuit/multi_sssp.rs:27:5 [INFO] [stdout] | [INFO] [stdout] 27 | comment_hasCreator_person: Vec>, [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^^^^^ help: convert the identifier to snake case: `comment_has_creator_person` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: structure field `post_hasCreator_person` should have a snake case name [INFO] [stdout] --> src/circuit/multi_sssp.rs:33:5 [INFO] [stdout] | [INFO] [stdout] 33 | post_hasCreator_person: Vec>, [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^^ help: convert the identifier to snake case: `post_has_creator_person` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: variable `comment_hasCreator_person` should have a snake case name [INFO] [stdout] --> src/circuit/multi_sssp.rs:75:17 [INFO] [stdout] | [INFO] [stdout] 75 | let mut comment_hasCreator_person = Vec::new(); [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^^^^^ help: convert the identifier to snake case: `comment_has_creator_person` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: variable `post_hasCreator_person` should have a snake case name [INFO] [stdout] --> src/circuit/multi_sssp.rs:95:17 [INFO] [stdout] | [INFO] [stdout] 95 | let mut post_hasCreator_person = Vec::new(); [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^^ help: convert the identifier to snake case: `post_has_creator_person` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: variable `comment_hasCreator_person` should have a snake case name [INFO] [stdout] --> src/circuit/multi_sssp.rs:133:9 [INFO] [stdout] | [INFO] [stdout] 133 | comment_hasCreator_person: Vec>, [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^^^^^ help: convert the identifier to snake case: `comment_has_creator_person` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: variable `post_hasCreator_person` should have a snake case name [INFO] [stdout] --> src/circuit/multi_sssp.rs:134:9 [INFO] [stdout] | [INFO] [stdout] 134 | post_hasCreator_person: Vec>, [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^^ help: convert the identifier to snake case: `post_has_creator_person` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: structure field `comment_hasCreator_person` should have a snake case name [INFO] [stdout] --> src/circuit/multi_sssp.rs:253:9 [INFO] [stdout] | [INFO] [stdout] 253 | pub comment_hasCreator_person: Vec>, [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^^^^^ help: convert the identifier to snake case: `comment_has_creator_person` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: structure field `post_hasCreator_person` should have a snake case name [INFO] [stdout] --> src/circuit/multi_sssp.rs:254:9 [INFO] [stdout] | [INFO] [stdout] 254 | pub post_hasCreator_person: Vec>, [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^^ help: convert the identifier to snake case: `post_has_creator_person` [INFO] [stdout] [INFO] [stdout] [INFO] [stderr] Finished `dev` profile [unoptimized + debuginfo] target(s) in 45.03s [INFO] [stderr] Generated /opt/rustwide/target/doc/zkgraph/index.html and 15 other files [INFO] running `Command { std: "docker" "inspect" "966832eed2aac14715cfefd754a48f6c5b2ec75a66d9a9f5a264b4ac2cbf9f85", kill_on_drop: false }` [INFO] running `Command { std: "docker" "rm" "-f" "966832eed2aac14715cfefd754a48f6c5b2ec75a66d9a9f5a264b4ac2cbf9f85", kill_on_drop: false }` [INFO] [stdout] 966832eed2aac14715cfefd754a48f6c5b2ec75a66d9a9f5a264b4ac2cbf9f85 [INFO] running `Command { std: "docker" "create" "-v" "/var/lib/crater-agent-workspace/builds/worker-6-tc1/target:/opt/rustwide/target:rw,Z" "-v" "/var/lib/crater-agent-workspace/builds/worker-6-tc1/source:/opt/rustwide/workdir:ro,Z" "-v" "/var/lib/crater-agent-workspace/cargo-home:/opt/rustwide/cargo-home:ro,Z" "-v" "/var/lib/crater-agent-workspace/rustup-home:/opt/rustwide/rustup-home:ro,Z" "-e" "SOURCE_DIR=/opt/rustwide/workdir" "-e" "CARGO_TARGET_DIR=/opt/rustwide/target" "-e" "CARGO_INCREMENTAL=0" "-e" "RUST_BACKTRACE=full" "-e" "RUSTFLAGS=--cap-lints=warn" "-e" "RUSTDOCFLAGS=--cap-lints=warn" "-e" "RUSTC_BOOTSTRAP=1" "-e" "DOCS_RS=1" "-e" "CARGO_HOME=/opt/rustwide/cargo-home" "-e" "RUSTUP_HOME=/opt/rustwide/rustup-home" "-w" "/opt/rustwide/workdir" "-m" "1610612736" "--user" "0:0" "--network" "none" "ghcr.io/rust-lang/crates-build-env/linux@sha256:e90291280db7d1fac5b66fc6dad9f9662629e7365a55743daf9bdf73ebc4ea79" "/opt/rustwide/cargo-home/bin/cargo" "+1.90.0" "rustdoc" "--lib" "-Zrustdoc-map" "--config" "build.rustdocflags=[\"--cfg\", \"docsrs\", \"-Z\", \"unstable-options\", \"--document-private-items\"]" "--frozen" "--message-format=json", kill_on_drop: false }` [INFO] [stdout] f75bff055f772ed56aa6f9df3f04256bd4e4e4cb9e48901cfc1d7e343427fa5d [INFO] running `Command { std: "docker" "start" "-a" "f75bff055f772ed56aa6f9df3f04256bd4e4e4cb9e48901cfc1d7e343427fa5d", kill_on_drop: false }` [INFO] [stderr] Compiling proc-macro2 v1.0.95 [INFO] [stderr] Compiling quote v1.0.40 [INFO] [stderr] Compiling syn v2.0.103 [INFO] [stderr] Compiling syn v1.0.109 [INFO] [stderr] Compiling halo2derive v0.1.0 [INFO] [stderr] Compiling unroll v0.1.5 [INFO] [stderr] Checking halo2curves v0.7.0 [INFO] [stderr] Compiling serde_derive v1.0.219 [INFO] [stderr] Compiling tracing-attributes v0.1.29 [INFO] [stderr] Compiling clap_derive v4.5.40 [INFO] [stderr] Checking tracing v0.1.41 [INFO] [stderr] Checking clap v4.5.40 [INFO] [stderr] Checking serde v1.0.219 [INFO] [stderr] Checking halo2_middleware v0.4.0 (https://github.com/privacy-scaling-explorations/halo2.git#016c08ca) [INFO] [stderr] Checking halo2_frontend v0.4.0 (https://github.com/privacy-scaling-explorations/halo2.git#016c08ca) [INFO] [stderr] Checking halo2_backend v0.4.0 (https://github.com/privacy-scaling-explorations/halo2.git#016c08ca) [INFO] [stderr] Checking csv v1.3.1 [INFO] [stderr] Checking serde_json v1.0.140 [INFO] [stderr] Checking bincode v1.3.3 [INFO] [stderr] Checking halo2_proofs v0.4.0 (https://github.com/privacy-scaling-explorations/halo2.git#016c08ca) [INFO] [stderr] Documenting zkgraph v0.1.0 (/opt/rustwide/workdir) [INFO] [stdout] warning: type `ic1CircuitConfig` should have an upper camel case name [INFO] [stdout] --> src/circuit/bi_sssp_from_ic1.rs:23:12 [INFO] [stdout] | [INFO] [stdout] 23 | pub struct ic1CircuitConfig { [INFO] [stdout] | ^^^^^^^^^^^^^^^^ help: convert the identifier to upper camel case (notice the capitalization): `Ic1circuitConfig` [INFO] [stdout] | [INFO] [stdout] = note: `#[warn(non_camel_case_types)]` on by default [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: type `ic1Chip` should have an upper camel case name [INFO] [stdout] --> src/circuit/bi_sssp_from_ic1.rs:58:12 [INFO] [stdout] | [INFO] [stdout] 58 | pub struct ic1Chip { [INFO] [stdout] | ^^^^^^^ help: convert the identifier to upper camel case (notice the capitalization): `Ic1chip` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: type `ic1CircuitConfig` should have an upper camel case name [INFO] [stdout] --> src/circuit/ic_1.rs:70:12 [INFO] [stdout] | [INFO] [stdout] 70 | pub struct ic1CircuitConfig { [INFO] [stdout] | ^^^^^^^^^^^^^^^^ help: convert the identifier to upper camel case (notice the capitalization): `Ic1circuitConfig` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: type `ic1Chip` should have an upper camel case name [INFO] [stdout] --> src/circuit/ic_1.rs:212:12 [INFO] [stdout] | [INFO] [stdout] 212 | pub struct ic1Chip { [INFO] [stdout] | ^^^^^^^ help: convert the identifier to upper camel case (notice the capitalization): `Ic1chip` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: type `ic13CircuitConfig` should have an upper camel case name [INFO] [stdout] --> src/circuit/ic_13.rs:30:12 [INFO] [stdout] | [INFO] [stdout] 30 | pub struct ic13CircuitConfig { [INFO] [stdout] | ^^^^^^^^^^^^^^^^^ help: convert the identifier to upper camel case (notice the capitalization): `Ic13circuitConfig` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: type `ic13Chip` should have an upper camel case name [INFO] [stdout] --> src/circuit/ic_13.rs:67:12 [INFO] [stdout] | [INFO] [stdout] 67 | pub struct ic13Chip { [INFO] [stdout] | ^^^^^^^^ help: convert the identifier to upper camel case (notice the capitalization): `Ic13chip` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: type `ic2CircuitConfig` should have an upper camel case name [INFO] [stdout] --> src/circuit/ic_2.rs:36:12 [INFO] [stdout] | [INFO] [stdout] 36 | pub struct ic2CircuitConfig { [INFO] [stdout] | ^^^^^^^^^^^^^^^^ help: convert the identifier to upper camel case (notice the capitalization): `Ic2circuitConfig` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: type `ic2Chip` should have an upper camel case name [INFO] [stdout] --> src/circuit/ic_2.rs:146:12 [INFO] [stdout] | [INFO] [stdout] 146 | pub struct ic2Chip { [INFO] [stdout] | ^^^^^^^ help: convert the identifier to upper camel case (notice the capitalization): `Ic2chip` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: type `ic9CircuitConfig` should have an upper camel case name [INFO] [stdout] --> src/circuit/ic_9.rs:39:12 [INFO] [stdout] | [INFO] [stdout] 39 | pub struct ic9CircuitConfig { [INFO] [stdout] | ^^^^^^^^^^^^^^^^ help: convert the identifier to upper camel case (notice the capitalization): `Ic9circuitConfig` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: type `ic9Chip` should have an upper camel case name [INFO] [stdout] --> src/circuit/ic_9.rs:166:12 [INFO] [stdout] | [INFO] [stdout] 166 | pub struct ic9Chip { [INFO] [stdout] | ^^^^^^^ help: convert the identifier to upper camel case (notice the capitalization): `Ic9chip` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: type `is3CircuitConfig` should have an upper camel case name [INFO] [stdout] --> src/circuit/is_3.rs:27:12 [INFO] [stdout] | [INFO] [stdout] 27 | pub struct is3CircuitConfig { [INFO] [stdout] | ^^^^^^^^^^^^^^^^ help: convert the identifier to upper camel case (notice the capitalization): `Is3circuitConfig` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: type `is3Chip` should have an upper camel case name [INFO] [stdout] --> src/circuit/is_3.rs:62:12 [INFO] [stdout] | [INFO] [stdout] 62 | pub struct is3Chip { [INFO] [stdout] | ^^^^^^^ help: convert the identifier to upper camel case (notice the capitalization): `Is3chip` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: type `is4CircuitConfig` should have an upper camel case name [INFO] [stdout] --> src/circuit/is_4.rs:19:12 [INFO] [stdout] | [INFO] [stdout] 19 | pub struct is4CircuitConfig { [INFO] [stdout] | ^^^^^^^^^^^^^^^^ help: convert the identifier to upper camel case (notice the capitalization): `Is4circuitConfig` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: type `is4Chip` should have an upper camel case name [INFO] [stdout] --> src/circuit/is_4.rs:45:12 [INFO] [stdout] | [INFO] [stdout] 45 | pub struct is4Chip { [INFO] [stdout] | ^^^^^^^ help: convert the identifier to upper camel case (notice the capitalization): `Is4chip` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: type `is3CircuitConfig` should have an upper camel case name [INFO] [stdout] --> src/circuit/knows_bi_from_is3.rs:27:12 [INFO] [stdout] | [INFO] [stdout] 27 | pub struct is3CircuitConfig { [INFO] [stdout] | ^^^^^^^^^^^^^^^^ help: convert the identifier to upper camel case (notice the capitalization): `Is3circuitConfig` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: type `is3Chip` should have an upper camel case name [INFO] [stdout] --> src/circuit/knows_bi_from_is3.rs:56:12 [INFO] [stdout] | [INFO] [stdout] 56 | pub struct is3Chip { [INFO] [stdout] | ^^^^^^^ help: convert the identifier to upper camel case (notice the capitalization): `Is3chip` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: type `is3CircuitConfig` should have an upper camel case name [INFO] [stdout] --> src/circuit/knows_single_from_is3.rs:22:12 [INFO] [stdout] | [INFO] [stdout] 22 | pub struct is3CircuitConfig { [INFO] [stdout] | ^^^^^^^^^^^^^^^^ help: convert the identifier to upper camel case (notice the capitalization): `Is3circuitConfig` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: type `is3Chip` should have an upper camel case name [INFO] [stdout] --> src/circuit/knows_single_from_is3.rs:43:12 [INFO] [stdout] | [INFO] [stdout] 43 | pub struct is3Chip { [INFO] [stdout] | ^^^^^^^ help: convert the identifier to upper camel case (notice the capitalization): `Is3chip` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: type `set_expandCircuitConfig` should have an upper camel case name [INFO] [stdout] --> src/circuit/set_expand.rs:24:12 [INFO] [stdout] | [INFO] [stdout] 24 | pub struct set_expandCircuitConfig { [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^^^ help: convert the identifier to upper camel case: `SetExpandCircuitConfig` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: type `set_expandChip` should have an upper camel case name [INFO] [stdout] --> src/circuit/set_expand.rs:71:12 [INFO] [stdout] | [INFO] [stdout] 71 | pub struct set_expandChip { [INFO] [stdout] | ^^^^^^^^^^^^^^ help: convert the identifier to upper camel case: `SetExpandChip` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unnecessary trailing semicolon [INFO] [stdout] --> src/circuit/set_expand.rs:511:24 [INFO] [stdout] | [INFO] [stdout] 511 | )?;; [INFO] [stdout] | ^ help: remove this semicolon [INFO] [stdout] | [INFO] [stdout] = note: `#[warn(redundant_semicolons)]` on by default [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: type `set_expandCircuitConfig` should have an upper camel case name [INFO] [stdout] --> src/circuit/multi_sssp.rs:23:12 [INFO] [stdout] | [INFO] [stdout] 23 | pub struct set_expandCircuitConfig { [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^^^ help: convert the identifier to upper camel case: `SetExpandCircuitConfig` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: type `set_expandChip` should have an upper camel case name [INFO] [stdout] --> src/circuit/multi_sssp.rs:43:12 [INFO] [stdout] | [INFO] [stdout] 43 | pub struct set_expandChip { [INFO] [stdout] | ^^^^^^^^^^^^^^ help: convert the identifier to upper camel case: `SetExpandChip` [INFO] [stdout] [INFO] [stdout] [INFO] [stderr] Finished `dev` profile [unoptimized + debuginfo] target(s) in 18.61s [INFO] [stderr] Generated /opt/rustwide/target/doc/zkgraph/index.html [INFO] running `Command { std: "docker" "inspect" "f75bff055f772ed56aa6f9df3f04256bd4e4e4cb9e48901cfc1d7e343427fa5d", kill_on_drop: false }` [INFO] running `Command { std: "docker" "rm" "-f" "f75bff055f772ed56aa6f9df3f04256bd4e4e4cb9e48901cfc1d7e343427fa5d", kill_on_drop: false }` [INFO] [stdout] f75bff055f772ed56aa6f9df3f04256bd4e4e4cb9e48901cfc1d7e343427fa5d