Repository navigation

feat(parser): support signed and unsigned integer types - #1414

Merged

tobiasgrosser merged 9 commits into

opencompl:mainfrom

sueszli:issue/1352-signedness

Sep 27, 2026

Merged

feat(parser): support signed and unsigned integer types#1414
tobiasgrosser merged 9 commits into
opencompl:mainfrom
sueszli:issue/1352-signedness

Commits on Sep 27, 2026
- feat(parser): support signed and unsigned integer types
  
  sueszli
  authored and
  tobiasgrosser
  committed
  55552c6
- refactor: add IntegerType.signless/signed/unsigned constructors
  
  sueszli
  authored and
  tobiasgrosser
  committed
  6692dd4
- refactor(LLVM): use IntegerType.signless 8 in string constant verifier
  
  sueszli
  authored and
  tobiasgrosser
  committed
  821632e
- refactor(parser): compare integer type prefixes as ByteArrays
  
  sueszli
  authored and
  tobiasgrosser
  committed
  5289832
- fix(verifier): reject signed and unsigned integers in checkIsNonNullIntegerType
  
  sueszli
  authored and
  tobiasgrosser
  committed
  6f1181e
- fix: update new upstream IntegerType uses for the signedness field
  
  sueszli
  authored and
  tobiasgrosser
  committed
  6e2f337
- fix(GMIR): update IntegerType uses for the signedness field
  
  sueszli
  authored and
  tobiasgrosser
  committed
  edb94c9
- fix(tests): adapt puddle proofs to integer signedness
  
  sueszli
  authored and
  tobiasgrosser
  committed
  ffc6a73
- fix: adapt new upstream code to integer signedness
  
  tobiasgrosser
  and
  claude
  committed
  7102aa8