fix(#382): materialize large static load/store offset (> imm12) — nev… #672
avrabeci.yml
on: push
Test
16m 58s
Clippy
16m 41s
Format
53s
Version Pin Sweep
7s
Z3 Verification
14m 38s
Kani Verification
48s
Rivet Validation
3m 9s
Bazel Build & Proofs
2m 18s
Code Coverage
2m 7s
Annotations
1 warning
|
Rivet Validation
Cross-repo link errors present (expected — external projects need rivet init)
|