Convert library functions to new specifications#1079

Merged

sim642 merged 23 commits intomasterfrom libfuns-spec

Aug 3, 2023

+380-359

Commits on Jun 7, 2023

Add fopencookie to libraryFunctions
karoliineh
committed
Remove functions already defined in libraries from invalidate_actions
karoliineh
committed
Add failwith to prevent goblint devs from adding functions already in libraries to invalidate_actions
karoliineh
committed

Commits on Jun 8, 2023

Commits on Jun 9, 2023

Commits on Jun 16, 2023

Convert some more lib-funs to new specifications
karoliineh
committed

Commits on Jul 28, 2023

Convert memmove library functions. fixes #1121
karoliineh
committed

Commits on Aug 1, 2023

Add missing argument to __builtin___memmove_chk
karoliineh
committed

Commits on Aug 3, 2023