Skip to content
Build matrix

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

Sign in to view logs

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

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

build (4.08.1, ubuntu-latest)

build (4.08.1, ubuntu-latest)
succeeded Feb 14, 2025 in 5m 50s