d-flex flex-column width-full">

vcl-ut: machine-verified L4 model + brutally honest proof-backed stance

81f8e33

Select commit

Loading

Failed to load commit list.

Uh oh!

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

.github/workflows/cargo-audit.yml on: push 1

.github/workflows/dogfood-gate.yml on: push 1

.github/workflows/rust-ci.yml on: push 1

E2E, Property and Aspect Tests on: pull_request 6

E2E structural validation

Property and integration tests

Aspect tests

Hypatia Security Scan on: pull_request 3

Hypatia Neurosymbolic Analysis

Dependabot Auto-Merge on: pull_request

automerge

CodeQL Security Analysis on: pull_request 3

analyze (javascript-typescript, none)

OpenSSF Compliance on: pull_request 3

openssf-compliance

Governance on: pull_request 2

governance / Language / package anti-pattern policy

governance / Guix primary / Nix fallback policy

governance / Security policy checks

governance / Code quality + docs

governance / Well-Known (RFC 9116 + RSR)

governance / Workflow security linter

Backend Matrix on: pull_request 226

Derive matrix from echidna provers.a2ml

Smoke (abc)

Smoke (abella)

Smoke (acl2)

Smoke (acl2s)

Smoke (affine_type_checker)

Smoke (agda)

Smoke (alloy)

Smoke (alt_ergo)

Smoke (arend)

Smoke (athena)

Smoke (boogie)

Smoke (bunched_type_checker)

Smoke (ca_di_ca_l)

Smoke (cameleer)

Smoke (capability_type_checker)

Smoke (cbmc)

Smoke (choreographic_type_checker)

Smoke (chuffed)

Smoke (coeffect_type_checker)

Smoke (coq)

Smoke (cubical_agda)

Smoke (cubical_type_checker)

Smoke (cvc5)

Smoke (dafny)

Smoke (dedukti)

Smoke (dependent_type_checker)

Smoke (d_real)

Smoke (dyadic_type_checker)

Smoke (echo_type_checker)

Smoke (effect_row_type_checker)

Smoke (epistemic_type_checker)

Smoke (e_prover)

Smoke (existential_type_checker)

Smoke (frama_c)

Smoke (f_star)

Smoke (glpk)

Smoke (gradual_type_checker)

Smoke (higher_kinded_type_checker)

Smoke (hoare_type_checker)

Smoke (hol4)

Smoke (hol_light)

Smoke (homotopy_type_checker)

Smoke (idris2)

Smoke (imandra)

Smoke (immutable_type_checker)

Smoke (impure_type_checker)

Smoke (indexed_type_checker)

Smoke (intersection_type_checker)

Smoke (isabelle)

Smoke (isabelle_zf)

Smoke (katagoria_verifier)

Smoke (ke_y)

Smoke (kissat)

Smoke (lambda_prolog)

Smoke (lean)

Smoke (lean3)

Smoke (linear_type_checker)

Smoke (matita)

Smoke (mercury)

Smoke (metamath)

Smoke (mini_sat)

Smoke (mini_zinc)

Smoke (minlog)

Smoke (mizar)

Smoke (miz_ar)

Smoke (modal_type_checker)

Smoke (naproche)

Smoke (nitpick)

Smoke (nominal_type_checker)

Smoke (nunchaku)

Smoke (nuprl)

Smoke (nu_smv)

Smoke (open_smt)

Smoke (ordered_type_checker)

Smoke (ordinary_type_checker)

Smoke (or_tools)

Smoke (phantom_type_checker)

Smoke (polymorphic_type_checker)

Smoke (prism)

Smoke (probabilistic_type_checker)

Smoke (provability_type_checker)

Smoke (prover9)

Smoke (pro_verif)

Smoke (pvs)

Smoke (qtt_type_checker)

Smoke (refinement_type_checker)

Smoke (relevant_type_checker)

Smoke (rocq)

Smoke (row_type_checker)

Smoke (scip)

Smoke (sea_horn)

Smoke (session_type_checker)

Smoke (smt_rat)

Smoke (spass)

Smoke (spin)

Smoke (subtyping_type_checker)

Smoke (tamarin)

Smoke (temporal_type_checker)

Smoke (tlaps)

Smoke (tlc)

Smoke (tropical_type_checker)

Smoke (twelf)

Smoke (typed_wasm)

Smoke (type_ll)

Smoke (union_type_checker)

Smoke (uniqueness_type_checker)

Smoke (uppaal)

Smoke (uppaal_stratego)

Smoke (vampire)

Smoke (viper)

Smoke (why3)

Smoke (z3)

Smoke (zipperposition)

Secret Scanner on: pull_request 1

trufflehog

gitleaks

rust-secrets

Static Analysis Gate on: pull_request 4

panic-attack assail

Hypatia neurosymbolic scan

Deposit findings for gitbot-fleet

Code scanning results

Hypatia

CodeQL

Select a check to view from the sidebar