diff --git a/Cargo.toml b/Cargo.toml index 385b4b74b..fa798ea26 100644 --- a/Cargo.toml +++ b/Cargo.toml @@ -81,3 +81,7 @@ codegen-units = 256 [profile.release-with-debug] inherits = "release" debug = true + +[workspace.lints.clippy] +print_stdout = "deny" +uninlined_format_args = "deny" \ No newline at end of file diff --git a/airgen/Cargo.toml b/airgen/Cargo.toml index af13ed370..993c1f67c 100644 --- a/airgen/Cargo.toml +++ b/airgen/Cargo.toml @@ -16,5 +16,5 @@ log = "0.4.17" itertools = "0.13" -[lints.clippy] -uninlined_format_args = "deny" +[lints] +workspace = true diff --git a/airgen/src/lib.rs b/airgen/src/lib.rs index f4216d24a..cbe261a80 100644 --- a/airgen/src/lib.rs +++ b/airgen/src/lib.rs @@ -1,7 +1,5 @@ //! Compilation from powdr machines to AIRs -#![deny(clippy::print_stdout)] - use std::collections::BTreeMap; use powdr_ast::{ diff --git a/analysis/Cargo.toml b/analysis/Cargo.toml index 56e745fa1..97f2ee7f2 100644 --- a/analysis/Cargo.toml +++ b/analysis/Cargo.toml @@ -26,5 +26,5 @@ env_logger = "0.10.0" [package.metadata.cargo-udeps.ignore] development = ["env_logger"] -[lints.clippy] -uninlined_format_args = "deny" +[lints] +workspace = true diff --git a/analysis/src/lib.rs b/analysis/src/lib.rs index 1202a64d0..1fa1b08af 100644 --- a/analysis/src/lib.rs +++ b/analysis/src/lib.rs @@ -1,5 +1,3 @@ -#![deny(clippy::print_stdout)] - pub mod machine_check; mod vm; diff --git a/analysis/src/machine_check.rs b/analysis/src/machine_check.rs index 023033896..7c0739ab7 100644 --- a/analysis/src/machine_check.rs +++ b/analysis/src/machine_check.rs @@ -1,5 +1,3 @@ -#![deny(clippy::print_stdout)] - use std::collections::BTreeMap; use powdr_ast::{ diff --git a/asm-to-pil/Cargo.toml b/asm-to-pil/Cargo.toml index 2472551f0..176bed5f5 100644 --- a/asm-to-pil/Cargo.toml +++ b/asm-to-pil/Cargo.toml @@ -21,5 +21,5 @@ pretty_assertions = "1.4.0" powdr-analysis = { path = "../analysis" } powdr-importer = { path = "../importer" } -[lints.clippy] -uninlined_format_args = "deny" +[lints] +workspace = true \ No newline at end of file diff --git a/asm-to-pil/src/lib.rs b/asm-to-pil/src/lib.rs index e87ee30c5..25be3ef11 100644 --- a/asm-to-pil/src/lib.rs +++ b/asm-to-pil/src/lib.rs @@ -1,5 +1,3 @@ -#![deny(clippy::print_stdout)] - use std::collections::BTreeMap; use powdr_ast::asm_analysis::{AnalysisASMFile, Module, StatementReference, SubmachineDeclaration}; diff --git a/ast/Cargo.toml b/ast/Cargo.toml index 28740ad9e..8d752edce 100644 --- a/ast/Cargo.toml +++ b/ast/Cargo.toml @@ -26,5 +26,5 @@ powdr-pil-analyzer.workspace = true powdr-parser.workspace = true -[lints.clippy] -uninlined_format_args = "deny" +[lints] +workspace = true diff --git a/ast/src/lib.rs b/ast/src/lib.rs index f5a219942..850d105e9 100644 --- a/ast/src/lib.rs +++ b/ast/src/lib.rs @@ -1,5 +1,3 @@ -#![deny(clippy::print_stdout)] - use itertools::Itertools; use std::fmt::{Display, Result, Write}; diff --git a/backend/Cargo.toml b/backend/Cargo.toml index ebac38e74..2133610e4 100644 --- a/backend/Cargo.toml +++ b/backend/Cargo.toml @@ -87,5 +87,5 @@ powdr-pipeline.workspace = true [package.metadata.cargo-udeps.ignore] development = ["env_logger"] -[lints.clippy] -uninlined_format_args = "deny" +[lints] +workspace = true diff --git a/backend/src/halo2/mod.rs b/backend/src/halo2/mod.rs index 131cfecd2..4417534ae 100644 --- a/backend/src/halo2/mod.rs +++ b/backend/src/halo2/mod.rs @@ -1,5 +1,3 @@ -#![deny(clippy::print_stdout)] - use std::io; use std::path::PathBuf; use std::sync::Arc; diff --git a/backend/src/lib.rs b/backend/src/lib.rs index db1f89822..b233adaeb 100644 --- a/backend/src/lib.rs +++ b/backend/src/lib.rs @@ -1,5 +1,3 @@ -#![deny(clippy::print_stdout)] - #[cfg(any(feature = "estark-polygon", feature = "estark-starky"))] mod estark; #[cfg(feature = "halo2")] diff --git a/executor/Cargo.toml b/executor/Cargo.toml index 33efd934e..e585a2ce2 100644 --- a/executor/Cargo.toml +++ b/executor/Cargo.toml @@ -33,5 +33,5 @@ pretty_assertions = "1.4.0" [package.metadata.cargo-udeps.ignore] development = ["env_logger"] -[lints.clippy] -uninlined_format_args = "deny" +[lints] +workspace = true diff --git a/executor/src/lib.rs b/executor/src/lib.rs index e50c0d641..237dabf0e 100644 --- a/executor/src/lib.rs +++ b/executor/src/lib.rs @@ -1,7 +1,5 @@ //! Tooling used for execution of compiled programs -#![deny(clippy::print_stdout)] - use powdr_ast::analyzed::Identity; pub mod constant_evaluator; diff --git a/importer/Cargo.toml b/importer/Cargo.toml index 37be82818..b13651aad 100644 --- a/importer/Cargo.toml +++ b/importer/Cargo.toml @@ -15,5 +15,5 @@ powdr-parser-util.workspace = true pretty_assertions = "1.4.0" -[lints.clippy] -uninlined_format_args = "deny" +[lints] +workspace = true diff --git a/importer/src/lib.rs b/importer/src/lib.rs index 7d183b942..b40b2cf2f 100644 --- a/importer/src/lib.rs +++ b/importer/src/lib.rs @@ -1,5 +1,3 @@ -#![deny(clippy::print_stdout)] - mod module_loader; mod path_canonicalizer; mod powdr_std; diff --git a/jit-compiler/Cargo.toml b/jit-compiler/Cargo.toml index 26d3d8211..5537543ce 100644 --- a/jit-compiler/Cargo.toml +++ b/jit-compiler/Cargo.toml @@ -23,5 +23,5 @@ powdr-pil-analyzer.workspace = true pretty_assertions = "1.4.0" test-log = "0.2.12" -[lints.clippy] -uninlined_format_args = "deny" +[lints] +workspace = true diff --git a/jit-compiler/tests/execution.rs b/jit-compiler/tests/execution.rs index 795f03ae0..c5bd73aa8 100644 --- a/jit-compiler/tests/execution.rs +++ b/jit-compiler/tests/execution.rs @@ -140,7 +140,6 @@ fn degree_builtin() { let a: int -> int = |i| std::prover::degree(); "#; let compiled_pil = compile(input, &["main::a"]); - println!("Calling set degree outside"); compiled_pil.set_degree(128); let a = compiled_pil.get_fixed_column("main::a").unwrap(); diff --git a/linker/Cargo.toml b/linker/Cargo.toml index a44b2dd5e..c191bbbc4 100644 --- a/linker/Cargo.toml +++ b/linker/Cargo.toml @@ -24,5 +24,5 @@ powdr-airgen.workspace = true powdr-importer.workspace = true powdr-parser.workspace = true -[lints.clippy] -uninlined_format_args = "deny" +[lints] +workspace = true diff --git a/linker/src/lib.rs b/linker/src/lib.rs index 9697e326a..44e6cafdd 100644 --- a/linker/src/lib.rs +++ b/linker/src/lib.rs @@ -1,5 +1,3 @@ -#![deny(clippy::print_stdout)] - use powdr_analysis::utils::parse_pil_statement; use powdr_ast::{ asm_analysis::{combine_flags, MachineDegree}, diff --git a/number/Cargo.toml b/number/Cargo.toml index af3dac014..ef6a4f6f4 100644 --- a/number/Cargo.toml +++ b/number/Cargo.toml @@ -38,5 +38,5 @@ env_logger = "0.10.0" [package.metadata.cargo-udeps.ignore] development = ["env_logger"] -[lints.clippy] -uninlined_format_args = "deny" +[lints] +workspace = true diff --git a/number/src/lib.rs b/number/src/lib.rs index 5f009af73..3abec7b53 100644 --- a/number/src/lib.rs +++ b/number/src/lib.rs @@ -1,7 +1,5 @@ //! Numerical types used across powdr -#![deny(clippy::print_stdout)] - #[macro_use] mod macros; mod baby_bear; diff --git a/parser-util/Cargo.toml b/parser-util/Cargo.toml index e968cf6ec..644145365 100644 --- a/parser-util/Cargo.toml +++ b/parser-util/Cargo.toml @@ -23,5 +23,5 @@ env_logger = "0.10.0" [package.metadata.cargo-udeps.ignore] development = ["env_logger"] -[lints.clippy] -uninlined_format_args = "deny" +[lints] +workspace = true diff --git a/parser-util/src/lib.rs b/parser-util/src/lib.rs index 3e1cb979e..094f67107 100644 --- a/parser-util/src/lib.rs +++ b/parser-util/src/lib.rs @@ -1,7 +1,5 @@ //! Utils used with different lalrpop parsers -#![deny(clippy::print_stdout)] - use std::{ fmt::{self, Debug, Formatter}, hash::Hash, diff --git a/parser/Cargo.toml b/parser/Cargo.toml index d80ac183d..6c282c48f 100644 --- a/parser/Cargo.toml +++ b/parser/Cargo.toml @@ -31,5 +31,5 @@ lalrpop = "^0.19" [package.metadata.cargo-udeps.ignore] development = ["env_logger"] -[lints.clippy] -uninlined_format_args = "deny" +[lints] +workspace = true diff --git a/parser/src/lib.rs b/parser/src/lib.rs index 4135c33b4..ac7981493 100644 --- a/parser/src/lib.rs +++ b/parser/src/lib.rs @@ -1,7 +1,5 @@ //! Parser for powdr assembly and PIL -#![deny(clippy::print_stdout)] - use lalrpop_util::*; use powdr_ast::parsed::{ asm::ASMProgram, diff --git a/pil-analyzer/Cargo.toml b/pil-analyzer/Cargo.toml index 2510236c2..a1d2f39f8 100644 --- a/pil-analyzer/Cargo.toml +++ b/pil-analyzer/Cargo.toml @@ -25,5 +25,5 @@ pretty_assertions = "1.4.0" [package.metadata.cargo-udeps.ignore] development = ["env_logger"] -[lints.clippy] -uninlined_format_args = "deny" +[lints] +workspace = true diff --git a/pil-analyzer/src/lib.rs b/pil-analyzer/src/lib.rs index 1b7cae09a..9e0479928 100644 --- a/pil-analyzer/src/lib.rs +++ b/pil-analyzer/src/lib.rs @@ -1,5 +1,3 @@ -#![deny(clippy::print_stdout)] - mod call_graph; mod condenser; pub mod evaluator; diff --git a/pilopt/Cargo.toml b/pilopt/Cargo.toml index ffe628c4b..85c55c7ba 100644 --- a/pilopt/Cargo.toml +++ b/pilopt/Cargo.toml @@ -18,5 +18,5 @@ itertools = "0.13.0" [dev-dependencies] powdr-pil-analyzer.workspace = true -[lints.clippy] -uninlined_format_args = "deny" +[lints] +workspace = true diff --git a/pilopt/src/lib.rs b/pilopt/src/lib.rs index bacf4be8f..28224aa75 100644 --- a/pilopt/src/lib.rs +++ b/pilopt/src/lib.rs @@ -1,5 +1,4 @@ //! PIL-based optimizer -#![deny(clippy::print_stdout)] use std::cmp::Ordering; use std::collections::{BTreeMap, BTreeSet, HashMap, HashSet}; diff --git a/pipeline/Cargo.toml b/pipeline/Cargo.toml index d745fd126..e1c0e4160 100644 --- a/pipeline/Cargo.toml +++ b/pipeline/Cargo.toml @@ -61,5 +61,5 @@ walkdir = "2.4.0" name = "evaluator_benchmark" harness = false -[lints.clippy] -uninlined_format_args = "deny" +[lints] +workspace = true diff --git a/pipeline/src/lib.rs b/pipeline/src/lib.rs index 30ecbcbb8..7b8543fc5 100644 --- a/pipeline/src/lib.rs +++ b/pipeline/src/lib.rs @@ -1,7 +1,5 @@ //! The main powdr lib, used to compile from assembly to PIL -#![deny(clippy::print_stdout)] - pub mod pipeline; pub mod test_runner; pub mod test_util; diff --git a/powdr-test/Cargo.toml b/powdr-test/Cargo.toml index 6360ce225..3a8fc49fa 100644 --- a/powdr-test/Cargo.toml +++ b/powdr-test/Cargo.toml @@ -13,5 +13,5 @@ powdr.workspace = true [dev-dependencies] env_logger = "0.10.2" -[lints.clippy] -uninlined_format_args = "deny" +[lints] +workspace = true diff --git a/riscv-syscalls/Cargo.toml b/riscv-syscalls/Cargo.toml index bbe0e5fcb..bf6325f45 100644 --- a/riscv-syscalls/Cargo.toml +++ b/riscv-syscalls/Cargo.toml @@ -9,5 +9,5 @@ repository = { workspace = true } [dependencies] -[lints.clippy] -uninlined_format_args = "deny" +[lints] +workspace = true diff --git a/riscv/Cargo.toml b/riscv/Cargo.toml index 0d1c6f931..595f8a300 100644 --- a/riscv/Cargo.toml +++ b/riscv/Cargo.toml @@ -65,5 +65,5 @@ development = ["env_logger"] name = "executor_benchmark" harness = false -[lints.clippy] -uninlined_format_args = "deny" +[lints] +workspace = true diff --git a/riscv/src/lib.rs b/riscv/src/lib.rs index b00bf6cfa..75f4bfa6f 100644 --- a/riscv/src/lib.rs +++ b/riscv/src/lib.rs @@ -1,5 +1,4 @@ //! A RISC-V frontend for powdr -#![deny(clippy::print_stdout)] use std::{ borrow::Cow,