Pelago is the toolchain used by the DIAS Lab at EPFL for C++ projects, primarily Proteus.
Primary LanguageC