Use `CBasicType.FLOAT128` to handle 128bit floats in the LLVM frontend (!48) · Merge requests · SoSy-Lab / Software / CPAchecker · GitLab

Thomas Lemberger requested to merge 874-llvm-frontend-float128 into trunk May 21, 2021

git-svn-id: https://svn.sosy-lab.org/software/cpachecker/branches/874-llvm-frontend-float128@37069 4712c6d2-40bb-43ae-aa4b-fec3f1bdfe4c

Closes #874 (closed)

Edited May 21, 2021 by Thomas Lemberger