Skip to content
Semgrep SAST

feat(formal): real-lift R2-loops — backward jumps (Loop/Br/BrIf) + wh… #1280

Sign in to view logs

feat(formal): real-lift R2-loops — backward jumps (Loop/Br/BrIf) + wh…

feat(formal): real-lift R2-loops — backward jumps (Loop/Br/BrIf) + wh… #1280

Run time

Learn about OS pricing on GitHub Actions
Job Run time
semgrep
50s
50s