Adacl

Website:

https://adacl.sourceforge.net/

Author:
  • Martin Krischik <krischik@users.sourceforge.net>
Maintainer:
  • Martin Krischik <krischik@users.sourceforge.net>
License:

GPL-3.0-or-later

Version:

8.0.0

Alire CI:

Dependencies:

No dependency.

Dependents: Badge:

AdaCL: SPARK gold core shared by desktop, embedded and bare-metal

#library #embedded #spark #ada2022

Ada Class Library core crate for Ada 2022.

adacl is the shared root of the AdaCL family. It is suitable for both embedded and desktop targets and is proven to SPARK gold. The former desktop utilities no longer live here; they were moved to adacl_desktop in 8.0.0.

Sister crates:

  • adacl_aunit - AUnit-compatible assertions and parameterised tests
  • adacl_desktop - Getopt, strings, calendar, tracing, queues, and smart pointers
  • adacl_eastrings - encoding-aware string utilities
  • adacl_embedded - lightweight tracing and text I/O for embedded targets
  • adacl_regexp - regular expressions and SPITBOL patterns
  • adacl_sar - search and replace for String, Wide_String, and Wide_Wide_String
  • adacl_serial - SPARK-friendly serial I/O helpers over GNAT.Serial_Communications

Source: SourceForge Documentation: GNATdoc