Latest News
SuperTest – elevating AdaCore’s C compiler to Ada/SPARK safety
Leading one-stop-shop developer of Ada and SPARK tool sets uses SuperTest to validate its C compiler for mixed-language programming environments.
Solid Sands introduces license-free service to ease compiler qualification
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
Solid Sands @ Renault Co-Innovation Days
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.
Verification of Optimization Correctness with SuperTest
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.
Solid Sands announces next-generation release of its world-beating SuperTest compiler test and validation suite
Including comprehensive correctness-testing of optimizing compilers and the ability to run SuperTest on highly resource-constrained ‘bare-metal’ systems.
See the Press Release
We now introduce light papers!
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
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.
New SuperTest update features native Windows support and requirements traceability for C and C++ language specifications
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
SuperTest compiler test and validation suite helps UPMEM launch breakthrough in big-data analytics
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 combine tools strengths
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