Skip to content
CI

Add machine-checked proofs for critical arithmetic paths #903

Sign in to view logs

Add machine-checked proofs for critical arithmetic paths

Add machine-checked proofs for critical arithmetic paths #903

Re-run triggered August 7, 2026 20:32
@jservjserv
#277
formal
Status Success
Total duration 53s
Artifacts 18

main.yml

on: pull_request
Build (macOS Apple Silicon)
27s
Build (macOS Apple Silicon)
Frama-C WP proofs (make verify)
2m 38s
Frama-C WP proofs (make verify)
Lint (Linux)
1m 19s
Lint (Linux)
clang-tidy (macOS Apple Silicon)
2m 54s
clang-tidy (macOS Apple Silicon)
scan-build (macOS Apple Silicon)
3m 6s
scan-build (macOS Apple Silicon)
Infer (macOS Apple Silicon)
1m 33s
Infer (macOS Apple Silicon)
Matrix: runtime-macos
Matrix: verify-mutants
Fit to window
Zoom out
Zoom in

Artifacts

Produced during runtime
Name Size Digest
elfuse-runtime-asan-macOS-ARM64
652 KB
sha256:0d1adbc71ecf027cb971dbdd7deefe66f0963fd1f39e32c3c1ce903e52f70f28