Blog
An Insight Into the AdaCore Ecosystem
Apr 16, 2026
Claire Dross
Formally Verified Hashed Sets in Ada SPARK
This blog explores the formal verification of an implementation of bounded hashed sets in Ada SPARK.
Read More
Jun 01, 2009
Gem #66: GPS's Key Shortcuts Editor
May 18, 2009
Gem #65: gprbuild
May 04, 2009
Gem #64: Handling Multiple-Unit Source Files
Apr 21, 2009
Gem #63: The Effect of Pragma Suppress
Apr 06, 2009
Gem #62: C++ constructors and Ada 2005
Mar 23, 2009
Gem #61: Interfacing with C++ constructors
Mar 09, 2009
Gem #60: Generating Ada bindings for C++ headers
Feb 23, 2009
Gem #59: Generating Ada bindings for C headers
Feb 09, 2009
Gem #58: Ada / Java exception handling
Jan 26, 2009
Gem #57: Ada / Java cross dispatching
Jan 12, 2009
Gem #56: Creating Ada to Java calls using GNAT-AJIS
Dec 08, 2008