Skip to content
dune CI

CHB:ARM: limited support for rotate operand #188

Sign in to view logs

CHB:ARM: limited support for rotate operand

CHB:ARM: limited support for rotate operand #188

Triggered via pull request August 12, 2025 07:04
@sipmasipma
opened #208
sipma:patchedlifting
Status Success
Total duration 6m 0s
Artifacts 5

dune.yaml

on: pull_request
Matrix: Compile and test CodeHawk
Matrix: Run CodeHawk-Binary tests
Matrix: Run CodeHawk-C tests
Fit to window
Zoom out
Zoom in

Artifacts

Produced during runtime
Name Size Digest
artifacts-4.12.1 Expired
73 MB
sha256:b33b94480afc4f49bd485e82bfafa982f70cff37c7885440a7945be4cc269be1
artifacts-4.13.1 Expired
74.5 MB
sha256:1b986d6bf5b3931b95a1f0e44bfe9ff21a40f2d1e7a4405e60251eb54f54425a
artifacts-4.14.1 Expired
75.2 MB
sha256:228fe8109bd3dddec44a4905b5a2b8462e2a4da4df6b552b459328770151597f
artifacts-5.0.0 Expired
80.8 MB
sha256:7aacd5dea778b8f56ecefa8546cbeff5046b797309f4dd6a456623c617ede9f1
artifacts-5.1.1 Expired
81.8 MB
sha256:cf528cb3cdc07b0d67ffb0e955799898635e71caf5494c64a2867ed8655678dc