feat(REDDI): Added Recursive EDDI technique and improved CPP support#21

Open

EmilioCorigliano wants to merge 13 commits intomasterfrom

Commits on Apr 19, 2026

fix(tests): Now fault tolerance handlers in cpp tests are extern "C"
EmilioCorigliano
committed
fix(tests): updated the annotations to match what ASPIS wants
EmilioCorigliano
committed

Commits on Apr 20, 2026

feat(testing): now all the technique combinations are tested for each test
EmilioCorigliano
committed

Commits on Apr 21, 2026

fix(pipeline): update CI/CD to cache llvm build
EmilioCorigliano
committed
test(pipeline): temporarely removed some tests that fail the pipeline
EmilioCorigliano
committed
fix(pipeline): updated llvm-build path
EmilioCorigliano
committed
feat(REDDI): port REDDI in ASPIS mainline
EmilioCorigliano
committed
feat(REDDI): Duplicate entrypoint in-place and bugfix
EmilioCorigliano
committed
fix(build_system): Now also FDSC and SEDDI have the DUPLICATE_ALL flag
EmilioCorigliano
committed
feat(EDDI): Restored possibility to use private error blocks for each different consistency check
EmilioCorigliano
committed
fix(debug_locations): Fixed findNearestDebugLoc
EmilioCorigliano
committed
feat(EDDI): Supporting indirect function calls
EmilioCorigliano
committed
fix(EDDI): Handle std::thread class and methods as to exclude from duplication
EmilioCorigliano
committed