Latest News

Calling convention testing is now integrated into standard SuperTest runtime configurations. It allows users to invoke it by simply adding the -c option to the test driver.

See the Press Release

California-based Ambarella Inc., an AI vision silicon company, implements deep neural network Artificial Intelligence (AI) in its autonomous driving and automotive vision system chips.

Leading one-stop-shop developer of Ada and SPARK tool sets uses SuperTest to validate its C compiler for mixed-language programming environments.

Introduction of Solid Sands’ new Compiler Qualification Service is a direct response to the growing number of quality-related questions from functional safety and security conscious users, many of them in highly innovative SMEs that drive technological change.

See the Press Release

The Renault Co-Innovation Days are organized by AutomotiveNL, Renault and the Dutch Embassy at the Renault Technocentre and the Dutch Residency in Paris. Solid Sands will exhibit here on the 25th and 26th of June 2019.

If you think advanced compiler optimizations are robust and well-tested, you are wrong. Our recent experiments with optimization testing have uncovered errors in every compiler technology that we got our hands on.

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