Implement and improve simplification logic #33
Annotations
7 errors and 10 warnings
|
Clippy Check:
crates/clarirs_py/src/ast/args.rs#L86
no variant or associated item named `ShL` found for enum `clarirs_core::prelude::BitVecOp` in the current scope
|
|
Clippy Check:
crates/clarirs_py/src/ast/args.rs#L131
no method named `as_f64` found for reference `&clarirs_core::prelude::Float` in the current scope
|
|
Clippy Check:
crates/clarirs_py/src/ast/bv.rs#L115
no method named `shl` found for struct `std::sync::LazyLock<clarirs_core::context::Context<'static>>` in the current scope
|
|
Clippy Check:
crates/clarirs_py/src/ast/bv.rs#L403
no method named `shl` found for struct `std::sync::LazyLock<clarirs_core::context::Context<'static>>` in the current scope
|
|
Clippy Check:
crates/clarirs_py/src/ast/bv.rs#L675
no method named `shl` found for struct `std::sync::LazyLock<clarirs_core::context::Context<'static>>` in the current scope
|
|
Clippy Check:
crates/clarirs_py/src/ast/opstring.rs#L67
no variant or associated item named `ShL` found for enum `clarirs_core::prelude::BitVecOp` in the current scope
|
|
Clippy Check
Process completed with exit code 101.
|
|
Clippy Check:
crates/clarirs_num/src/float.rs#L268
casting to the same type is unnecessary (`u64` -> `u64`)
|
|
Clippy Check:
crates/clarirs_num/src/float.rs#L314
casting to the same type is unnecessary (`usize` -> `usize`)
|
|
Clippy Check:
crates/clarirs_num/src/float.rs#L314
casting to the same type is unnecessary (`usize` -> `usize`)
|
|
Clippy Check:
crates/clarirs_num/src/float.rs#L410
casting to the same type is unnecessary (`usize` -> `usize`)
|
|
Clippy Check:
crates/clarirs_core/src/algorithms/simplify.rs#L1
unused import: `std::sync::Arc`
|
|
Clippy Check:
crates/clarirs_core/src/algorithms/simplify.rs#L11
unused import: `std::ops::Shl`
|
|
Clippy Check:
crates/clarirs_core/src/algorithms/simplify.rs#L8
unused import: `num_traits::Signed`
|
|
Clippy Check:
crates/clarirs_core/src/algorithms/simplify.rs#L5
unused import: `ToBigUint`
|
|
Clippy Check:
crates/clarirs_core/src/algorithms/simplify.rs#L284
unused variable: `arc`
|
|
Clippy Check:
crates/clarirs_core/src/algorithms/simplify.rs#L284
unused variable: `arc1`
|
Loading