Skip to content
CI Checks

feat(verify): Enhance soundness of heap model with quantifiers and pointer arithmetic #38

Sign in to view logs

feat(verify): Enhance soundness of heap model with quantifiers and pointer arithmetic

feat(verify): Enhance soundness of heap model with quantifiers and pointer arithmetic #38

Triggered via pull request June 4, 2026 13:39
@SwayamInSyncSwayamInSync
opened #13
feat/heap-pointer-model
Status Skipped
Total duration 2s
Artifacts –

premerge.yaml

on: pull_request
Build and Test Windows
0s
Build and Test Windows
MacOS Premerge Checks
MacOS Premerge Checks
Matrix: premerge-checks-linux
Fit to window
Zoom out
Zoom in