d-flex flex-column width-full">

verify(falcon): v1.128 → P04 verified — machine-checked f32 sin appro…

d36dce3

Select commit

Loading

Failed to load commit list.

Uh oh!

There was an error while loading. Please reload this page.

Verification Gate on: pull_request 1

Verification gate (rivet-driven)

Coverage on: pull_request

llvm-cov

Rocq on: pull_request 2

Rocq + Gappa proofs

Lean on: pull_request 2

Lean proofs

Bazel on: pull_request 2

Component Model cascade

Spar on: pull_request

Spar AADL gate

Kani on: pull_request

Kani (relay-lc)

Kani (relay-sc)

Kani (relay-hs)

Kani (relay-sch)

Kani (relay-cfdp)

Kani (relay-sca)

Kani (relay-ci)

Kani (relay-cs)

Kani (relay-ccsds)

Kani (relay-hk)

Kani (relay-ds)

Kani (relay-fm)

Kani (relay-mm)

Kani (relay-md)

Kani (relay-to)

Kani (relay-tbl)

Kani (relay-sec)

Kani (relay-bus)

Kani (relay-hal)

Kani (relay-rc)

Kani (relay-dronecan)

Kani (relay-param)

Kani (relay-fsm)

Kani (relay-preflight)

Kani (relay-calib)

Kani (relay-fsafe)

Kani (relay-mix-quad)

Kani (relay-mavlink)

Kani (relay-batt)

Kani (relay-notch)

Kani (relay-arm)

Kani (relay-adrc)

Kani (relay-geo)

Kani (relay-iekf)

Kani (relay-avoid)

Kani (relay-flowrange)

Kani (relay-mix-multi)

Kani (relay-nid)

Kani (relay-offboard)

Kani (relay-sensvote)

Kani (falcon-baromag)

Kani (falcon-esc-dshot)

Kani (falcon-gnss-ubx)

Kani (relay-log)

Kani (relay-modextra)

Kani gate

CI on: pull_request 1

Format

Clippy

Test (linux)

Test (macos)

Test (windows)

falcon-hello end-to-end demo

Closed-loop simulation + Monte-Carlo campaigns

Select a check to view from the sidebar