How to Set Up Unit Tests and SPARK Proofs 14 July 2026 Learn how to structure an Ada/Alire project with multiple test and proof configurations, integrate them with Alire actions, and set up a convenient Visual Studio Code workspace.
Search-and-replace Library 9 August 2025 Powerful search-and-replace library for Ada 2022, developed by Martin Krischik, with wide and wide-wide character support.
Regular expression and SPITBOL pattern 9 August 2025 Regular expression and SPITBOL pattern matching for Ada 2022, with wide character support.
Encoding-Aware String Utilities 9 August 2025 Encoding-aware string utilities for Ada 2022, developed by Björn Persson for robust internationalization (i18n).
GNU GetOpt 6 December 2024·Updated: 13 September 2026 Object-oriented, re-entrant GetOpt parser with Wide_Wide_String options and file names.
Regular Expressions 5 December 2024·Updated: 6 December 2024 Regular Expressions for Strings, Wide_Strings and Wide_Wide_Strings.
Fluent AUnit Asserts 5 December 2024·Updated: 6 December 2024 Assets for AUnit with additional information on failure.
AUnit tests with Parameters 4 December 2024·Updated: 5 December 2024 Calling AUnit test with parameters.
Ada Class Library 27 August 2023·Updated: 13 September 2026 AdaCL: Strings, Regex, Search/Replace, and more with i18n support.