Skip to content
Label PR based on Comment

feat: make BitVec.getElem the simp normal form and use it in ext #10063

Sign in to view logs

feat: make BitVec.getElem the simp normal form and use it in ext

feat: make BitVec.getElem the simp normal form and use it in ext #10063

Triggered via issue February 14, 2025 15:45
@alexkeizeralexkeizer
commented on #5498 dd1a418
Status Skipped
Total duration 2s
Artifacts –

labels-from-comments.yml

on: issue_comment
update-label
0s
update-label
Fit to window
Zoom out
Zoom in