Sentry kernel proof with Frama-C

proof: demonstrate that regions do not overlap and are disjoint #375

Sign in to view logs

Triggered via pull request February 6, 2026 14:26

PThierry

synchronize #89

PThierry:proof-disjoint-app-regions-mapping

Status Success

Total duration 12m 19s

Artifacts –

proof.yml

on: pull_request