feat: add optional IfLifting simplification pass
#924
Triggered via pull request
December 13, 2024 12:53
AayushSabharwal
Status
Cancelled
Total duration
4m 14s
Artifacts
–
Annotations
24 errors
|
Tests (1, Extended) / Tests - Extended
Canceling since a higher priority waiting request for 'Tests-refs/pull/3272/merge' exists
|
|
Tests (1, InterfaceII) / Tests - InterfaceII
Canceling since a higher priority waiting request for 'Tests-refs/pull/3272/merge' exists
|
|
Tests (1, SymbolicIndexingInterface) / Tests - SymbolicIndexingInterface
Canceling since a higher priority waiting request for 'Tests-refs/pull/3272/merge' exists
|
|
Tests (1, InterfaceI) / Tests - InterfaceI
Canceling since a higher priority waiting request for 'Tests-refs/pull/3272/merge' exists
|
|
Tests (1, Initialization) / Tests - Initialization
Canceling since a higher priority waiting request for 'Tests-refs/pull/3272/merge' exists
|
|
Tests (1, Downstream) / Tests - Downstream
Canceling since a higher priority waiting request for 'Tests-refs/pull/3272/merge' exists
|
|
Tests (1, Extensions) / Tests - Extensions
Canceling since a higher priority waiting request for 'Tests-refs/pull/3272/merge' exists
|
|
Tests (lts, Initialization) / Tests - Initialization
Canceling since a higher priority waiting request for 'Tests-refs/pull/3272/merge' exists
|
|
Tests (lts, Extended) / Tests - Extended
Canceling since a higher priority waiting request for 'Tests-refs/pull/3272/merge' exists
|
|
Tests (1, RegressionI) / Tests - RegressionI
Canceling since a higher priority waiting request for 'Tests-refs/pull/3272/merge' exists
|
|
Tests (lts, InterfaceI) / Tests - InterfaceI
Canceling since a higher priority waiting request for 'Tests-refs/pull/3272/merge' exists
|
|
Tests (lts, InterfaceII) / Tests - InterfaceII
Canceling since a higher priority waiting request for 'Tests-refs/pull/3272/merge' exists
|
|
Tests (lts, Downstream) / Tests - Downstream
Canceling since a higher priority waiting request for 'Tests-refs/pull/3272/merge' exists
|
|
Tests (lts, Extensions) / Tests - Extensions
Canceling since a higher priority waiting request for 'Tests-refs/pull/3272/merge' exists
|
|
Tests (lts, SymbolicIndexingInterface) / Tests - SymbolicIndexingInterface
Canceling since a higher priority waiting request for 'Tests-refs/pull/3272/merge' exists
|
|
Tests (lts, RegressionI) / Tests - RegressionI
Canceling since a higher priority waiting request for 'Tests-refs/pull/3272/merge' exists
|
|
Tests (pre, Extended) / Tests - Extended
Canceling since a higher priority waiting request for 'Tests-refs/pull/3272/merge' exists
|
|
Tests (pre, Extensions) / Tests - Extensions
Canceling since a higher priority waiting request for 'Tests-refs/pull/3272/merge' exists
|
|
Tests (pre, Initialization) / Tests - Initialization
Canceling since a higher priority waiting request for 'Tests-refs/pull/3272/merge' exists
|
|
Tests (pre, Downstream) / Tests - Downstream
Canceling since a higher priority waiting request for 'Tests-refs/pull/3272/merge' exists
|
|
Tests (pre, InterfaceI) / Tests - InterfaceI
Canceling since a higher priority waiting request for 'Tests-refs/pull/3272/merge' exists
|
|
Tests (pre, InterfaceII) / Tests - InterfaceII
Canceling since a higher priority waiting request for 'Tests-refs/pull/3272/merge' exists
|
|
Tests (pre, SymbolicIndexingInterface) / Tests - SymbolicIndexingInterface
Canceling since a higher priority waiting request for 'Tests-refs/pull/3272/merge' exists
|
|
Tests (pre, RegressionI) / Tests - RegressionI
Canceling since a higher priority waiting request for 'Tests-refs/pull/3272/merge' exists
|