CBMC: Add and prove x86_64 backend contracts #693
Triggered via pull request
December 31, 2025 07:38
willieyz
Status
Success
Total duration
1h 57m 24s
Artifacts
–
hol_light.yml
on: pull_request
AArch64 HOL-Light bytecode check
8m 9s
x86_64 HOL-Light bytecode check
7m 3s
AArch64 HOL-Light interactive shell test
8m 42s
Matrix: hol_light_proofs
x86_64 HOL-Light interactive shell test
26m 11s
Matrix: hol_light_proofs_x86_64