Latest News

Including comprehensive correctness-testing of optimizing compilers and the ability to run SuperTest on highly resource-constrained ‘bare-metal’ systems.

See the Press Release

Our 1st Light paper – The Day that GNU-C++ -Os Broke.

We encounter a lot of compiler problems that require deeper research. Recently we hit on an interesting optimization error.

SuperTest – helping Graphcore accelerate the future of AI

Machine intelligence processor maker Graphcore (Bristol, UK) develops massively-parallel computing platforms that let innovators create next-generation AI products. As part of its compiler development tool chain, the company is using SuperTest to test and validate compilers for its unique Intelligence Processing Unit architecture.

The world’s first compiler test and validation suite to offer direct traceability of results back to specific C and C++ language constructs, helping users identify compiler bugs and mitigate their impact.

Read the Press Release

UPMEM will use SuperTest to test and validate the LLVM compiler it is developing for its unique embedded processor architecture.

Read the Press Release

Solid Sands and AbsInt, today announce their collaboration to develop and integrate the SuperTest qualification suite into the CompCert C qualification support kit.

Read the Press Release

SuperTest, the industry-leading and most extensive test and validation suite for C and C++ compilers and libraries has been updated and enhanced with new features.

Read the Press Release

Meteonic Innovation the new distributor for SuperTest to the India Territory

Read the Press Release

SuperTest acknowledged as a unique and valuable test suite for compilers

See the Press release

SuperTest improves accuracy of C Code compilers and decreases time to market

See the Press release