Repository navigation

Performance - #226

Merged

sipma merged 49 commits into

masterfrom

performance

Feb 3, 2026

Merged

Performance#226
sipma merged 49 commits into
masterfrom
performance

Commits on Oct 25, 2025
- CHC: add command-line option to control the status of system includes
  sipma
  committed
  83bc815
Commits on Oct 28, 2025
- CHC: add diagnostics log
  sipma
  committed
  f12f9af
Commits on Oct 29, 2025
- CHC: add output parameter predicates
  sipma
  committed
  f6cb7b6
- CHC: add outputparameter proof obligations insertion and checking
  sipma
  committed
  ab826a0
Commits on Oct 30, 2025
- CHC: update Makefiles
  sipma
  committed
  e603b94
- CHC: add primary proofobligation creation for output parameters
  sipma
  committed
  499cc76
Commits on Nov 8, 2025
- CHC: set type of analysis
  sipma
  committed
  b3246d8
- CHC: introduce concept of scalar struct
  sipma
  committed
  6f6104d
- CHC: add analysis-info to saved ppo file
  sipma
  committed
  d2fb398
- CHC: add offset to output-parameter predicates
  sipma
  committed
  90dc841
- CHC: add checker implementations for proof-obligation predicates
  sipma
  committed
  48ca571
Commits on Nov 10, 2025
- CHC: add locations to diagnostic messages
  sipma
  committed
  25658ef
- CHC: add locations to diagnostic messages
  sipma
  committed
  c9e1cd2
- CHC:Check Initialized: add locations to diagnoatic messages
  sipma
  committed
  42bcc06
Commits on Nov 12, 2025
- CH:add option to disable timing messages
  sipma
  committed
  4d77e14
- CHC: add function to prioritize invariants
  sipma
  committed
  9b893c6
- CHT:CHC: add unit test infrastructure for PO checkers
  sipma
  committed
  dc96c4c
- CHC:POCHECK: add diagnoatic messages
  sipma
  committed
  953c96f
Commits on Nov 13, 2025
- CHT:CHC: add unit tests for PLocallyInitialized
  sipma
  committed
  c140bee
- CHC: add invariant prioritization to the PLocallyInitialized checker
  sipma
  committed
  1e2f9c3
Commits on Nov 14, 2025
- CHT:CHC: unit tests for POutputParameterInitialized
  sipma
  committed
  480db3c
- CHC:PLocallyInitialized: handle more cases
  sipma
  committed
  279fbb4
- CHC: move cCHVersion to cchlib
  sipma
  committed
  2c12363
- CHC: add version info to results files
  sipma
  committed
  e8df760
Commits on Nov 18, 2025
- CHC:add diagnostics to translators
  sipma
  committed
  1ee29ac
- CHC: assert no aliasing with errno variable
  sipma
  committed
  ba59bda
- CHT:CHC: add more testcases
  sipma
  committed
  a5a596f
- CHC:POCHECK: add proof obligation discharge rules
  sipma
  committed
  36494d8
- CHC:add proof obligations to calls
  sipma
  committed
  11e6e19
Commits on Nov 27, 2025
- CHUTIL: add logging function with default
  sipma
  committed
  5c5f886
- CHC: add C type utilities
  sipma
  committed
  28cc0f7
- redirect logging to diagnostics
  sipma
  committed
  7714035
Commits on Dec 6, 2025
- CHUTIL: move result out of List.iter
  sipma
  committed
  82bdc97
- CHC: replace exceptions by Result
  sipma
  committed
  2b25c87
- CHC: update checker for locally initialized
  sipma
  committed
  8e96d57
- CHC: extend const check with pconst and deref type
  sipma
  committed
  514b147
- CHC: add exp list to dictionary
  sipma
  committed
  1d5c00a
- CHC: add check for error result
  sipma
  committed
  0227fa6
- CHC: add analysis digests
  sipma
  committed
  a7d9917
- CHT:CHC: update tests
  sipma
  committed
  d9105b2
Commits on Dec 8, 2025
- CHC: add some Stmt validity rules
  sipma
  committed
  66ecadb
Commits on Dec 18, 2025
- CHC:add representation for output parameter rejection reasons
  sipma
  committed
  bc25988
Commits on Jan 31, 2026
- CHC: add offset to po checker
  sipma
  committed
  2178848
- CHC: expand types before matching field types
  sipma
  committed
  dc4226b
- CHC: add rules for output-parameter pos
  sipma
  committed
  b0cfec4
- CHC: add index and offset return status to candidate output parameter
  sipma
  committed
  6529ef1
- CHC: add status to outputparameter callsite arguments
  sipma
  committed
  d36ab8d
- CHC: add index to output parameters
  sipma
  committed
  959f36a
Commits on Feb 1, 2026
- CHC: add check on returnsites written
  sipma
  committed
  5793efd

Commits

Commits on Oct 25, 2025

Commits on Oct 28, 2025

Commits on Oct 29, 2025

Commits on Oct 30, 2025

Commits on Nov 8, 2025

Commits on Nov 10, 2025

Commits on Nov 12, 2025

Commits on Nov 13, 2025

Commits on Nov 14, 2025

Commits on Nov 18, 2025

Commits on Nov 27, 2025

Commits on Dec 6, 2025

Commits on Dec 8, 2025

Commits on Dec 18, 2025

Commits on Jan 31, 2026

Commits on Feb 1, 2026