Add libm musl float OMs used in svcomp24#1601

Merged

lucasccordeiro merged 10 commits intomasterfrom fb/libm-musl-float

Jan 19, 2024

+2,360-2

Commits on Jan 17, 2024

Commits on Jan 19, 2024

[regression] add hopefully not too slow cases from SV-COMP neural-networks
fbrausse
committed
Merge branch 'master' into fb/libm-musl-float
lucasccordeiro
authored