Skip to content
CI

Implement and improve simplification logic #89

Sign in to view logs

Implement and improve simplification logic

Implement and improve simplification logic #89

Triggered via pull request November 12, 2024 21:23
@spshah1701spshah1701
synchronize #33
spshah1701:update-simplifications
Status Failure
Total duration 1m 48s
Artifacts –

ci.yml

on: pull_request
cargo fmt
9s
cargo fmt
cargo clippy
7s
cargo clippy
Matrix: test
Fit to window
Zoom out
Zoom in

Annotations

21 errors and 50 warnings
cargo clippy: crates/clarirs_core/src/solver/concrete.rs#L9
lifetime may not live long enough
cargo clippy: crates/clarirs_core/src/solver/concrete.rs#L13
lifetime may not live long enough
cargo clippy: crates/clarirs_core/src/solver/concrete.rs#L17
lifetime may not live long enough
cargo clippy: crates/clarirs_core/src/solver/concrete.rs#L21
lifetime may not live long enough
cargo clippy
Process completed with exit code 101.
cargo fmt
Process completed with exit code 1.
Test on ubuntu-latest: crates/clarirs_core/src/solver/concrete.rs#L9
lifetime may not live long enough
Test on ubuntu-latest: crates/clarirs_core/src/solver/concrete.rs#L13
lifetime may not live long enough
Test on ubuntu-latest: crates/clarirs_core/src/solver/concrete.rs#L17
lifetime may not live long enough
Test on ubuntu-latest: crates/clarirs_core/src/solver/concrete.rs#L21
lifetime may not live long enough
Test on ubuntu-latest
Process completed with exit code 101.
Test on macos-latest: crates/clarirs_core/src/solver/concrete.rs#L9
lifetime may not live long enough
Test on macos-latest: crates/clarirs_core/src/solver/concrete.rs#L13
lifetime may not live long enough
Test on macos-latest: crates/clarirs_core/src/solver/concrete.rs#L17
lifetime may not live long enough
Test on macos-latest: crates/clarirs_core/src/solver/concrete.rs#L21
lifetime may not live long enough
Test on macos-latest
Process completed with exit code 101.
Test on windows-latest: crates/clarirs_core/src/solver/concrete.rs#L9
lifetime may not live long enough
Test on windows-latest: crates/clarirs_core/src/solver/concrete.rs#L13
lifetime may not live long enough
Test on windows-latest: crates/clarirs_core/src/solver/concrete.rs#L17
lifetime may not live long enough
Test on windows-latest: crates/clarirs_core/src/solver/concrete.rs#L21
lifetime may not live long enough
Test on windows-latest
Process completed with exit code 1.
cargo clippy: crates/clarirs_num/src/float.rs#L268
casting to the same type is unnecessary (`u64` -> `u64`)
cargo clippy: crates/clarirs_num/src/float.rs#L314
casting to the same type is unnecessary (`usize` -> `usize`)
cargo clippy: crates/clarirs_num/src/float.rs#L314
casting to the same type is unnecessary (`usize` -> `usize`)
cargo clippy: crates/clarirs_num/src/float.rs#L410
casting to the same type is unnecessary (`usize` -> `usize`)
cargo clippy: crates/clarirs_core/src/algorithms/simplify.rs#L1
unused import: `std::sync::Arc`
cargo clippy: crates/clarirs_core/src/algorithms/simplify.rs#L11
unused import: `std::ops::Shl`
cargo clippy: crates/clarirs_core/src/algorithms/simplify.rs#L8
unused import: `num_traits::Signed`
cargo clippy: crates/clarirs_core/src/algorithms/simplify.rs#L5
unused import: `ToBigUint`
cargo clippy: crates/clarirs_core/src/algorithms/simplify.rs#L284
unused variable: `arc`
cargo clippy: crates/clarirs_core/src/algorithms/simplify.rs#L284
unused variable: `arc1`
cargo fmt: crates/clarirs_core/src/algorithms/simplify.rs#L24
Diff in /home/runner/work/clarirs/clarirs/crates/clarirs_core/src/algorithms/simplify.rs
cargo fmt: crates/clarirs_core/src/algorithms/simplify.rs#L283
Diff in /home/runner/work/clarirs/clarirs/crates/clarirs_core/src/algorithms/simplify.rs
cargo fmt: crates/clarirs_core/src/algorithms/simplify.rs#L344
Diff in /home/runner/work/clarirs/clarirs/crates/clarirs_core/src/algorithms/simplify.rs
cargo fmt: crates/clarirs_core/src/algorithms/tests/test_bv.rs#L22
Diff in /home/runner/work/clarirs/clarirs/crates/clarirs_core/src/algorithms/tests/test_bv.rs
cargo fmt: crates/clarirs_core/src/ast/astcache.rs#L72
Diff in /home/runner/work/clarirs/clarirs/crates/clarirs_core/src/ast/astcache.rs
cargo fmt: crates/clarirs_core/src/ast/astcache.rs#L94
Diff in /home/runner/work/clarirs/clarirs/crates/clarirs_core/src/ast/astcache.rs
cargo fmt: crates/clarirs_core/src/ast/astcache.rs#L139
Diff in /home/runner/work/clarirs/clarirs/crates/clarirs_core/src/ast/astcache.rs
cargo fmt: crates/clarirs_core/src/context.rs#L36
Diff in /home/runner/work/clarirs/clarirs/crates/clarirs_core/src/context.rs
cargo fmt: crates/clarirs_core/src/context.rs#L46
Diff in /home/runner/work/clarirs/clarirs/crates/clarirs_core/src/context.rs
cargo fmt: crates/clarirs_core/src/context.rs#L56
Diff in /home/runner/work/clarirs/clarirs/crates/clarirs_core/src/context.rs
Test on ubuntu-latest: crates/clarirs_core/src/algorithms/simplify.rs#L1
unused import: `std::sync::Arc`
Test on ubuntu-latest: crates/clarirs_core/src/algorithms/simplify.rs#L11
unused import: `std::ops::Shl`
Test on ubuntu-latest: crates/clarirs_core/src/algorithms/simplify.rs#L8
unused import: `num_traits::Signed`
Test on ubuntu-latest: crates/clarirs_core/src/algorithms/simplify.rs#L5
unused import: `ToBigUint`
Test on ubuntu-latest: crates/clarirs_core/src/algorithms/simplify.rs#L284
unused variable: `arc`
Test on ubuntu-latest: crates/clarirs_core/src/algorithms/simplify.rs#L284
unused variable: `arc1`
Test on ubuntu-latest: crates/clarirs_core/src/algorithms/simplify.rs#L284
unused variable: `arc2`
Test on ubuntu-latest: crates/clarirs_core/src/algorithms/simplify.rs#L285
unused variable: `arc`
Test on ubuntu-latest: crates/clarirs_core/src/algorithms/simplify.rs#L285
unused variable: `annotation`
Test on ubuntu-latest: crates/clarirs_core/src/algorithms/simplify.rs#L819
unused variable: `arc`
Test on macos-latest: crates/clarirs_core/src/algorithms/simplify.rs#L1
unused import: `std::sync::Arc`
Test on macos-latest: crates/clarirs_core/src/algorithms/simplify.rs#L11
unused import: `std::ops::Shl`
Test on macos-latest: crates/clarirs_core/src/algorithms/simplify.rs#L8
unused import: `num_traits::Signed`
Test on macos-latest: crates/clarirs_core/src/algorithms/simplify.rs#L5
unused import: `ToBigUint`
Test on macos-latest: crates/clarirs_core/src/algorithms/simplify.rs#L284
unused variable: `arc`
Test on macos-latest: crates/clarirs_core/src/algorithms/simplify.rs#L284
unused variable: `arc1`
Test on macos-latest: crates/clarirs_core/src/algorithms/simplify.rs#L284
unused variable: `arc2`
Test on macos-latest: crates/clarirs_core/src/algorithms/simplify.rs#L285
unused variable: `arc`
Test on macos-latest: crates/clarirs_core/src/algorithms/simplify.rs#L285
unused variable: `annotation`
Test on macos-latest: crates/clarirs_core/src/algorithms/simplify.rs#L819
unused variable: `arc`
Test on windows-latest: crates/clarirs_core/src/algorithms/simplify.rs#L1
unused import: `std::sync::Arc`
Test on windows-latest: crates/clarirs_core/src/algorithms/simplify.rs#L11
unused import: `std::ops::Shl`
Test on windows-latest: crates/clarirs_core/src/algorithms/simplify.rs#L8
unused import: `num_traits::Signed`
Test on windows-latest: crates/clarirs_core/src/algorithms/simplify.rs#L5
unused import: `ToBigUint`
Test on windows-latest: crates/clarirs_core/src/algorithms/simplify.rs#L284
unused variable: `arc`
Test on windows-latest: crates/clarirs_core/src/algorithms/simplify.rs#L284
unused variable: `arc1`
Test on windows-latest: crates/clarirs_core/src/algorithms/simplify.rs#L284
unused variable: `arc2`
Test on windows-latest: crates/clarirs_core/src/algorithms/simplify.rs#L285
unused variable: `arc`
Test on windows-latest: crates/clarirs_core/src/algorithms/simplify.rs#L285
unused variable: `annotation`
Test on windows-latest: crates/clarirs_core/src/algorithms/simplify.rs#L819
unused variable: `arc`