Repository navigation

Cmdlineargs - #227

Merged

sipma merged 21 commits into

static-analysis-engineering:masterfrom

sipma:cmdlineargs

Feb 26, 2026

Merged

Cmdlineargs#227
sipma merged 21 commits into
static-analysis-engineering:masterfrom
sipma:cmdlineargs

Commits on Feb 11, 2026
- CHC: remove syntactic check of command-line arguments
  sipma
  committed
  b0fc219
- CHC: add base proof obligations for pointer arithmetic
  sipma
  committed
  5663b02
- CHC: remove memory address for basevar memory references
  sipma
  committed
  dfc4cb8
Commits on Feb 12, 2026
- CHC: add some memory address utilities
  sipma
  committed
  112a466
- CHC: resolve memory reference type issue
  sipma
  committed
  013202b
Commits on Feb 13, 2026
- CHC: remove discharge of initialized-po based on symbolic expression
  sipma
  committed
  933eaec
- CHC: remove obsolete code
  sipma
  committed
  997a650
Commits on Feb 15, 2026
- CHC: adapt pointer basevar to include ref attributes
  sipma
  committed
  44b439e
Commits on Feb 16, 2026
- CHC: ensure a single memory variable for stack-variable array members
  sipma
  committed
  d703572
- CHC: add better handling of lhs in symbolic domain
  sipma
  committed
  f880ad8
Commits on Feb 17, 2026
- CHC: incorporate memory reference attributes
  sipma
  committed
  ed0b474
Commits on Feb 22, 2026
- XPR: add conversion utility function
  sipma
  committed
  47afeb9
- CHC: move ref attribute to MemoryAddress
  sipma
  committed
  0f309e9
Commits on Feb 23, 2026
- CHC:CMD: add iteration index to logfile names
  sipma
  committed
  c889860
- CHT:CHC: disable some po-check tests
  sipma
  committed
  a79e891
- CHC: support for discharge of command-line arguments
  sipma
  committed
  41966b4
- CHC: discharge of command-line arguments
  sipma
  committed
  c182a84
- CHC: change in MemoryAddress representation
  sipma
  committed
  aada3a5
- CHC: limit interception of main assumption to api assumptions
  sipma
  committed
  a0bac48
- CHC: add diagnostics for memory variables
  sipma
  committed
  cebce0e
Commits on Feb 24, 2026
- CHC: fix regression tests by switching to another memref representation
  sipma
  committed
  624e50b

Commits

Commits on Feb 11, 2026

Commits on Feb 12, 2026

Commits on Feb 13, 2026

Commits on Feb 15, 2026

Commits on Feb 16, 2026

Commits on Feb 17, 2026

Commits on Feb 22, 2026

Commits on Feb 23, 2026

Commits on Feb 24, 2026