Implement and improve simplification logic #90
Annotations
7 errors and 10 warnings
|
Build:
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
|
|
Build:
crates/clarirs_py/src/ast/args.rs#L131
no method named `as_f64` found for reference `&clarirs_core::prelude::Float` in the current scope
|
|
Build:
crates/clarirs_py/src/ast/bv.rs#L115
no method named `shl` found for struct `LazyLock<clarirs_core::context::Context<'static>>` in the current scope
|
|
Build:
crates/clarirs_py/src/ast/bv.rs#L403
no method named `shl` found for struct `LazyLock<clarirs_core::context::Context<'static>>` in the current scope
|
|
Build:
crates/clarirs_py/src/ast/bv.rs#L675
no method named `shl` found for struct `LazyLock<clarirs_core::context::Context<'static>>` in the current scope
|
|
Build:
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
|
|
Build
Process completed with exit code 101.
|
|
Build:
crates/clarirs_core/src/algorithms/simplify.rs#L1
unused import: `std::sync::Arc`
|
|
Build:
crates/clarirs_core/src/algorithms/simplify.rs#L11
unused import: `std::ops::Shl`
|
|
Build:
crates/clarirs_core/src/algorithms/simplify.rs#L8
unused import: `num_traits::Signed`
|
|
Build:
crates/clarirs_core/src/algorithms/simplify.rs#L5
unused import: `ToBigUint`
|
|
Build:
crates/clarirs_core/src/algorithms/simplify.rs#L284
unused variable: `arc`
|
|
Build:
crates/clarirs_core/src/algorithms/simplify.rs#L284
unused variable: `arc1`
|
|
Build:
crates/clarirs_core/src/algorithms/simplify.rs#L284
unused variable: `arc2`
|
|
Build:
crates/clarirs_core/src/algorithms/simplify.rs#L285
unused variable: `arc`
|
|
Build:
crates/clarirs_core/src/algorithms/simplify.rs#L285
unused variable: `annotation`
|
|
Build:
crates/clarirs_core/src/algorithms/simplify.rs#L819
unused variable: `arc`
|
Loading