Repository navigation

Outputparameters - #237

Merged

sipma merged 14 commits into

outputparameters

Apr 15, 2026

Merged

Outputparameters#237
sipma merged 14 commits into
masterfrom
outputparameters

Commits on Mar 4, 2026
- CHC: adapt type_of_offset for memory variables
  sipma
  committed
  023db3d
Commits on Mar 12, 2026
- CHC:(tmp) add diagnostics and result handling
  sipma
  committed
  3ccbcaf
Commits on Mar 16, 2026
- CHC:(temp) add diagnostics and result handling
  sipma
  committed
  10ea94d
- CHC:(tmp) add diagnostics and result handling
  sipma
  committed
  77db725
- CHC:(tmp) add diagnostics and result handling
  sipma
  committed
  9d195ae
- CHC:(tmp) add diagnostics and result handling
  sipma
  committed
  6e8266d
- CHC:(tmp) add diagnostics and result handling
  sipma
  committed
  fd9a6b4
- CHC:(tmp) add diagnostics and result handling
  sipma
  committed
  5982720
Commits on Apr 9, 2026
- CHC:(tmp) add diagnostics and result handling
  sipma
  committed
  883dfcd
Commits on Apr 11, 2026
- CHC: fix int-overflow proof-obligation discharge
  sipma
  committed
  12f1ffe
- CHC: remove scaling factor for index expressions
  sipma
  committed
  b3f6e44
- CHUTIL: add result-value function
  sipma
  committed
  b012ef6
- Merge branch 'master' into outputparameters
  sipma
  committed
  715a562
Commits on Apr 12, 2026
- CHC: merge result-value migration with Errno changes
  sipma
  committed
  c25aab3