Skip to content
Spell Check

feat: add optional IfLifting simplification pass #1774

Sign in to view logs

feat: add optional IfLifting simplification pass

feat: add optional IfLifting simplification pass #1774

Triggered via pull request December 13, 2024 13:01
@AayushSabharwalAayushSabharwal
synchronize #3272
AayushSabharwal:as/if-rewriting
Status Failure
Total duration 5m 31s
Artifacts –

SpellCheck.yml

on: pull_request
Spell Check with Typos
6s
Spell Check with Typos
Fit to window
Zoom out
Zoom in

Annotations

1 error and 4 warnings
Spell Check with Typos
Process completed with exit code 2.
Spell Check with Typos: src/systems/if_lifting.jl#L95
"statments" should be "statements".
Spell Check with Typos: src/systems/if_lifting.jl#L307
"continous" should be "continuous".
Spell Check with Typos: test/scc_nonlinear_problem.jl#L96
"Ue" should be "Use" or "Due".
Spell Check with Typos: test/scc_nonlinear_problem.jl#L101
"Ue" should be "Use" or "Due".