Blog

Andry Ogorodnik

New features for string literals and comments in GNAT Studio

We have added several new convenience features that help work with comments and string literals in Ada code.

Paul Butcher

Fuzzing Out Bugs in Safety-Critical Embedded Software

Fuzzing Out Bugs in Safety-Critical Embedded Software: Paul Butcher from AdaCore talks to Brandon Lewis from Embedded Toolbox

Fabien Chouteau

Embedded Ada/SPARK, There's a Shortcut

For years in this blog my colleagues and I have published examples, demos, and how-to’s on Ada/SPARK embedded (as in bare-metal) development. Most of…

Paul Butcher

Join us at the High Integrity Software (HIS) Conference 2022!

Quentin Ochem

Announcing Publication of the Draft Ferrocene Language Specification

We are pleased to announce the publication of the initial draft of the Ferrocene Language Specification (FLS) - a qualification-oriented document…

Fabien Chouteau

Announcing The 2022 Ada/SPARK Crate Of The Year Award

We're happy to announce our the second edition of our programming competition, the Ada/SPARK Crate Of The Year Award! We believe the Alire package…

Yannick Moy, Lionel Matias

I can’t believe that I can prove that it can sort

When an enthusiastic Ada programmer and a SPARK expert pair up to prove the most "stupid" sorting algorithm, lessons are learned! Join us in this…

Fabien Chouteau

A New Era For Ada/SPARK Open Source Community

Today we have two exciting announcements for the future of the Ada/SPARK ecosystem.

Gustavo A. Hoffmann

Announcing Updates to learn.adacore.com

Paul Jarrett

Ada Crate of the Year: Interactive code search

A retrospective on learning Ada and developing a tool with it in 2021 from 2021 Ada Crate of the Year Winner Paul Jarrett.

Claire Dross

Handling Aliasing through Pointers in SPARK

Fabien Chouteau, Joffrey Huguet

Quite Proved Image Format

A few weeks ago a piece of code went viral in the online dev community. The “Quite OK Image Format” (QOI) is a fast, lossless image compression…