Skip to content

SV: Add a rule to simplify (x >> n)[m] --> x[n + m] #1078

SV: Add a rule to simplify (x >> n)[m] --> x[n + m]

SV: Add a rule to simplify (x >> n)[m] --> x[n + m] #1078

Triggered via push February 14, 2025 11:10
Status Success
Total duration 7m 22s
Artifacts

build.yml

on: push
Matrix: build
Fit to window
Zoom out
Zoom in

Annotations

2 warnings and 2 notices
build (5.2.1, macos-latest)
gmp 6.3.0 is already installed and up-to-date. To reinstall 6.3.0, run: brew reinstall gmp
build (5.2.1, macos-latest)
pkgconf 2.3.0_1 is already installed and up-to-date. To reinstall 2.3.0_1, run: brew reinstall pkgconf
768 tests found
There are 768 tests, see "Raw output" for the full list of tests.
768 tests found
There are 768 tests, see "Raw output" for the full list of tests.