Repository navigation

Performance - #64

Merged

sipma merged 23 commits into

Feb 3, 2026

Commits on Oct 25, 2025
- CMD: add command-line option to control status of system includes
  sipma
  committed
  cba47b2
Commits on Nov 9, 2025
- PROOF: add support for output-parameter predicates
  sipma
  committed
  6f97471
- APP: add analysis info to function
  sipma
  committed
  32fa1c8
- CMD: add cmdline options to choose analysis
  sipma
  committed
  c6f5e62
Commits on Nov 13, 2025
- PROOF: add checker for output parameters
  sipma
  committed
  4d8a418
Commits on Nov 15, 2025
- PROOF: add unique-pointer predicate
  sipma
  committed
  aee66d3
Commits on Nov 18, 2025
- extend cil-source pretty printer
  sipma
  committed
  366a572
Commits on Nov 20, 2025
- PROOF: add return values to output parameter results
  sipma
  committed
  5ccf5a8
Commits on Dec 6, 2025
- CMD: delegate to analysis digests
  sipma
  committed
  0b1fb21
- CHC:INSTR: ignore vardecl for now
  sipma
  committed
  b8040a0
- DECL: replace exception on unrecognized InitInfo by printed msg
  sipma
  committed
  d07415d
- replace analysis-info with analysis-digest
  sipma
  committed
  bf450d3
- UF: add file utility for analysis-digest file
  sipma
  committed
  5d24d1f
- PROOF: output-parameter analysis digest support
  sipma
  committed
  16ec171
Commits on Dec 8, 2025
- APP: allow for possibility of missing ppo's and invariants
  sipma
  committed
  bad32a4
- CMD: add investigate command for projects
  sipma
  committed
  5d9f0f2
Commits on Dec 18, 2025
- PROOF: change representation for rejection reason
  sipma
  committed
  728c20d
- CMD: add cmd to show cil-based source code for project file
  sipma
  committed
  c7c7f36
Commits on Feb 2, 2026
- APP: add offset-info
  sipma
  committed
  47a2aad
- APP: add offset-info
  sipma
  committed
  1c41aa9
- CMD:top-level integration of output-parameter results
  sipma
  committed
  31ebfdf
- PROOF:supply results for integration of output-parameter analysis
  sipma
  committed
  53331ef
- Merge branch 'master' into performance
  sipma
  authored
  98d0df3