Blog
An Insight Into the AdaCore Ecosystem
Dec 15, 2025
Andrea Bristol
Year in Review 2025: A Transformative Year for High-Integrity Software at AdaCore
As 2025 comes to a close, it’s clear that this has been one of the most significant years in AdaCore’s history. Our work to help organisations build…
Read More
Sep 10, 2012
Gem #132 : Erroneous Execution - Part 1
Aug 07, 2012
Gem #131 : Type-Safe Database API - Part 3
Jul 23, 2012
Gem #130 : Type-Safe Database API - Part 2
Jul 09, 2012
Gem #129 : Type-Safe Database API - Part 1
Jun 25, 2012
Gem #128 : Iterators in Ada 2012 - Part 2
Jun 11, 2012
Gem #127: Iterators in Ada 2012 - Part 1
May 28, 2012
Gem #126 : Aggregate Library Projects
May 14, 2012
Gem #125: Detecting infinite recursion with GDB's Python API
Apr 30, 2012
Gem #124 : Scripting GPS for Static Analysis
Apr 17, 2012
Gem #123: Implicit Dereferencing in Ada 2012
Apr 10, 2012
Gem #122: Breakpoint Commands — Part 2
Mar 12, 2012