Performance#64

Merged

sipma merged 23 commits intomasterfrom

Feb 3, 2026

Commits on Oct 25, 2025

CMD: add command-line option to control status of system includes
sipma
committed

Commits on Nov 9, 2025

Commits on Nov 13, 2025

PROOF: add checker for output parameters
sipma
committed

Commits on Nov 15, 2025

PROOF: add unique-pointer predicate
sipma
committed

Commits on Nov 18, 2025

extend cil-source pretty printer
sipma
committed

Commits on Nov 20, 2025

PROOF: add return values to output parameter results
sipma
committed

Commits on Dec 8, 2025

Commits on Dec 18, 2025