Skip to content

CHB: preserve address expression of global variable #202

CHB: preserve address expression of global variable

CHB: preserve address expression of global variable #202

Triggered via pull request August 23, 2025 06:37
Status Success
Total duration 5m 11s
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:256fd8b2716d9673cc125d17c42e50d306f7463b512f4325cbec9e104af5ec38
artifacts-4.13.1 Expired
74.5 MB
sha256:c8a470d4b9e94e24f146013ca057b0fc7a406f7e5e655c0777e159c87d9b2277
artifacts-4.14.1 Expired
75.2 MB
sha256:3f4679f03d08a802f70a0fa3bf0370d232eaf2702bdb89d7a5df535799270ee0
artifacts-5.0.0 Expired
80.8 MB
sha256:fb036ed9652b84c425bc6cb5f5ad89152261a6827f75a8c52b3a5b6a61983918
artifacts-5.1.1 Expired
81.8 MB
sha256:c0d5a3b2cb6773f1c7212059c3fd95274eee4c9165c45ef5f8925489e08d0332