Implement and improve simplification logic #89
Annotations
1 error and 10 warnings
Rustfmt Check
Process completed with exit code 1.
|
Rustfmt Check:
crates/clarirs_core/src/algorithms/simplify.rs#L24
Diff in /home/runner/work/clarirs/clarirs/crates/clarirs_core/src/algorithms/simplify.rs
|
Rustfmt Check:
crates/clarirs_core/src/algorithms/simplify.rs#L283
Diff in /home/runner/work/clarirs/clarirs/crates/clarirs_core/src/algorithms/simplify.rs
|
Rustfmt Check:
crates/clarirs_core/src/algorithms/simplify.rs#L344
Diff in /home/runner/work/clarirs/clarirs/crates/clarirs_core/src/algorithms/simplify.rs
|
Rustfmt Check:
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
|
Rustfmt Check:
crates/clarirs_core/src/ast/astcache.rs#L72
Diff in /home/runner/work/clarirs/clarirs/crates/clarirs_core/src/ast/astcache.rs
|
Rustfmt Check:
crates/clarirs_core/src/ast/astcache.rs#L94
Diff in /home/runner/work/clarirs/clarirs/crates/clarirs_core/src/ast/astcache.rs
|
Rustfmt Check:
crates/clarirs_core/src/ast/astcache.rs#L139
Diff in /home/runner/work/clarirs/clarirs/crates/clarirs_core/src/ast/astcache.rs
|
Rustfmt Check:
crates/clarirs_core/src/context.rs#L36
Diff in /home/runner/work/clarirs/clarirs/crates/clarirs_core/src/context.rs
|
Rustfmt Check:
crates/clarirs_core/src/context.rs#L46
Diff in /home/runner/work/clarirs/clarirs/crates/clarirs_core/src/context.rs
|
Rustfmt Check:
crates/clarirs_core/src/context.rs#L56
Diff in /home/runner/work/clarirs/clarirs/crates/clarirs_core/src/context.rs
|
Loading