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
Nov 19, 2007
Gem #18: Warnings in GNAT
Nov 12, 2007
Gem #17: Pragma No_Return, Part 2 (functions)
Nov 05, 2007
Gem #16: Pragma No_Return
Oct 29, 2007
Gem #15: Timers
Oct 22, 2007
Gem #14: Interrupt Handling Idioms (Part 2)
Oct 15, 2007
Gem #13: Interrupt Handling Idioms (Part 1)
Oct 08, 2007
Gem #12: Limited Types in Ada 2005 — <> Notation Part 2
Oct 01, 2007
Gem #11: Limited Types in Ada 2005 — Constructor Functions Part 2
Sep 24, 2007
Gem #10: Limited Types in Ada 2005 — Extended Return Statements
Sep 17, 2007
Gem #9: Classwide Operations, Iterators, and Generic Algorithms
Sep 10, 2007
Gem #8: Factory Functions
Jun 25, 2007