Issue 469: Semantically invalid IR statements due to bad Subregister Substitution#470

Merged

vobst merged 7 commits intofkie-cad:masterfrom vobst:issue_469

Jun 18, 2024

+336-48

Commits on Jun 14, 2024

lib/pcode: fix zero-sized subpiece due to bad subregister substitution
Valentin Obst
committed
lib/abstract_domain/data: add debug assertions to prevent zero-sized values
Valentin Obst
committed
lib: explicitly opt-in to overflowing arithmetic
Valentin Obst
committed
lib/utils/debug: introduce infrastructure for per-stage debugging
Valentin Obst
committed
lib/utils/debug: add option to read output of Ghidra plugin from file
Valentin Obst
committed
clippy: Rust 1.79 fixes
Valentin Obst
committed

Commits on Jun 18, 2024

CHANGES: fix Subregister Substitution
Valentin Obst
committed