Use Type Deduction Analysis to enhance consistency check creations#28

Merged

EmilioCorigliano merged 11 commits into

May 18, 2026

Commits on May 18, 2026

feat(TDA): add TypeDeductionAnalysis library and bump to c++20
EmilioCorigliano
committed
feat(EDDI): enhance creation of consistency checks
EmilioCorigliano
committed
feat(EDDI): use TDA for generating consistency checks
EmilioCorigliano
committed
upd(EDDI): enhance usage of TDA
EmilioCorigliano
committed
feat(EDDI): enhance temporary argument duplication in case of pointers
EmilioCorigliano
committed
feat(EDDI): enhance temporary argument duplication of arrays
EmilioCorigliano
committed
upd(EDDI): restored consistency checks on function pointers
EmilioCorigliano
committed
fix(EDDI): avoid duplication of consistency checks
EmilioCorigliano
committed
fix(EDDI): correctly check to exclude or to duplicate names in case of _ret functions
EmilioCorigliano
committed
upd(EDDI): avoid creating the _ret version of std:: functions and avoid dereferencing ::end() iterator
EmilioCorigliano
committed
upd(EDDI): temporary argument duplication best effort in case the type contains an opaque pointer
EmilioCorigliano
committed