Add support on machines where long double and float128 do not have the same size#119

michael-schwarz merged 5 commits intodevelopgoblint/cil:developfrom

issue_118goblint/cil:issue_118Copy head branch name to clipboard