Port all remaining library functions #1447

Merged

sim642 merged 13 commits intomasterfrom libfuns-final

May 23, 2024

+102-71

Commits on May 7, 2024

Commits on May 8, 2024

Fix va_arg and va_start libfun defs according to CIL special cases
karoliineh
committed

Commits on May 16, 2024

Make arguments of function pointer type spawn
karoliineh
committed
Merge branch 'libfuns-final' of github.com:goblint/analyzer into libfuns-final
karoliineh
committed

Commits on May 21, 2024