Improve int domain bitwise operators, support struct bitfields#1739

Merged

sim642 merged 37 commits intogoblint:masterfrom

H-Innos:bit-operation-additions

Sep 18, 2025

Commits on Jan 22, 2025

first
H-Innos
committed

Commits on Sep 18, 2025

logand changes

H-Innos
authored and
sim642
committed
improved domains + tests

H-Innos
authored and
sim642
committed
kommentaarid kohtumisest

H-Innos
authored and
sim642
committed
access bitfield info in goblint + interval domain improvement

H-Innos
authored and
sim642
committed
bitfield related additions

H-Innos
authored and
sim642
committed
improved tests + domain improvements

H-Innos
authored and
sim642
committed
fixes for sv-comp benchmarks

H-Innos
authored and
sim642
committed
DefExc improvements

H-Innos
authored and
sim642
committed
intervals AND, OR, XOR ok + refactoring

H-Innos
authored and
sim642
committed
intervals all OK + full test coverage

H-Innos
authored and
sim642
committed
NOT in intervalsets + intervals and sets fully tested

H-Innos
authored and
sim642
committed
enums done

H-Innos
authored and
sim642
committed
Merge branch 'master' into pr/H-Innos/1739
sim642
committed
Add unit test test_interval_logand
sim642
committed
added unit tests

H-Innos
authored and
sim642
committed
added case to enums + corrected logand

H-Innos
authored and
sim642
committed
Merge branch 'bit-operation-additions' of https://github.com/H-Innos/analyzer-thesis into bit-operation-additions

H-Innos
authored and
sim642
committed
removed comment

H-Innos
authored and
sim642
committed
improved intervals, unit tests now pass

H-Innos
authored and
sim642
committed
defined min/max_val_bit_constrained using Z.numbits

H-Innos
authored and
sim642
committed
updated defexc and enums ops, all tested for correctness

H-Innos
authored and
sim642
committed
corrected intervals, now correctness proven for all

H-Innos
authored and
sim642
committed
added logxor tests

H-Innos
authored and
sim642
committed
added annotation to test

H-Innos
authored and
sim642
committed
fixed logxor precision issue + simplified lognot and logor

H-Innos
authored and
sim642
committed
improved tests

H-Innos
authored and
sim642
committed
made defexc logand more precise + some refactoring

H-Innos
authored and
sim642
committed
improved bit-field warning message

H-Innos
authored and
sim642
committed
fixed test

H-Innos
authored and
sim642
committed
added test

H-Innos
authored and
sim642
committed
Merge remote-tracking branch 'upstream/master' into bit-operation-additions

H-Innos
authored and
sim642
committed
refactor

H-Innos
authored and
sim642
committed
Merge branch 'master' into bit-operation-additions
sim642
committed
Fix semgrep warnings about Z.pred in bitwise operations
sim642
committed
Reformat IntDomain bitwise operators
sim642
committed
Trim trailing whitespace in int domains (PR #1739)
sim642
committed