Add _Float128 spelling for 128-bit float type#1529

tautschnig merged 1 commit intodiffblue:developdiffblue/cbmc:developfrom

smowton:smowton/fix/float128smowton/cbmc:smowton/fix/float128Copy head branch name to clipboard