Changes for SV-COMP 2024#23

Merged

vmihalko merged 6 commits intomasterfrom

Apr 5, 2025

Commits on Apr 2, 2025

Provide unsupported stubs of _setjmp/longjmp also for libc.
Martin Jonáš
committed
Mark more floating point functions as external
Martin Jonáš
committed
Provide an implementation of imaxabs in our libc.
Martin Jonáš
committed
generate waypoint file for YAML witness generation

ayazip
authored and
Martin Jonáš
committed
Fix issues with target locations

ayazip
authored and
Martin Jonáš
committed
Mark log1p* as external.
Martin Jonáš
committed