Pelago is the toolchain used by the DIAS Lab at EPFL for C++ projects, primarily Proteus. - View it on GitHub