# Latest **URL:** https://forum.ada-lang.io/latest.md?page=4 [Latest](https://forum.ada-lang.io/latest.md) · [Categories](https://forum.ada-lang.io/categories.md) · [Tags](https://forum.ada-lang.io/tags.md) **Page:** 5 --- ## [Ada SPARK Office Hours - 2026-07-17](https://forum.ada-lang.io/t/ada-spark-office-hours-2026-07-17/4578)
**Author:** [@markhermeling](https://forum.ada-lang.io/u/markhermeling)\ **Replies:** 3\ **Last updated:** [July 23, 2026, 3:05pm UTC](https://forum.ada-lang.io/t/ada-spark-office-hours-2026-07-17/4578 "2026-07-23T15:05:03Z")
All, Ada SPARK Office Hours will be LIVE again this Friday July 17th at 10.00-11.00am EDT. William had some great SPARK related questions last session and we plan to go into them in greater detail in this session with g… --- ## [Specialized unconstrained array type wherein first index MUST be ZERO?](https://forum.ada-lang.io/t/specialized-unconstrained-array-type-wherein-first-index-must-be-zero/4576)
**Author:** [@BlueAlmost](https://forum.ada-lang.io/u/BlueAlmost)\ **Replies:** 25\ **Last updated:** [July 22, 2026, 7:23pm UTC](https://forum.ada-lang.io/t/specialized-unconstrained-array-type-wherein-first-index-must-be-zero/4576 "2026-07-22T19:23:26Z")
I am writing some numerical library functions wherein the unconstrained arrays (vectors) that functions receive must be zero-index based. Passing a non-zero-based vector would sadly give a run-time error. However, there… --- ## [Gnat Studio missing project properties](https://forum.ada-lang.io/t/gnat-studio-missing-project-properties/4585)
**Author:** [@dgayler](https://forum.ada-lang.io/u/dgayler)\ **Replies:** 2\ **Last updated:** [July 21, 2026, 3:48pm UTC](https://forum.ada-lang.io/t/gnat-studio-missing-project-properties/4585 "2026-07-21T15:48:07Z")
I recently installed the newest linux version of gnatstudio and the project properties option seems to be missing. --- ## [Weirdness when building Gprbuild 25.0.0](https://forum.ada-lang.io/t/weirdness-when-building-gprbuild-25-0-0/4294)
**Author:** [@BlueAlmost](https://forum.ada-lang.io/u/BlueAlmost)\ **Replies:** 4\ **Last updated:** [July 21, 2026, 2:37pm UTC](https://forum.ada-lang.io/t/weirdness-when-building-gprbuild-25-0-0/4294 "2026-07-21T14:37:03Z")
Trying to build gprbuild via bootstrapping process. Background: On Linux, I have typically compiled gcc with ada from source. Grpbuild (25.0.0) is then built from source via the “bootstrap.sh” ( GitHub - AdaCore/gprbu… --- ## [Creating a Compiler-Independent Socket Library](https://forum.ada-lang.io/t/creating-a-compiler-independent-socket-library/4525)
**Author:** [@Irvise](https://forum.ada-lang.io/u/Irvise)\ **Replies:** 5\ **Last updated:** [July 21, 2026, 8:16am UTC](https://forum.ada-lang.io/t/creating-a-compiler-independent-socket-library/4525 "2026-07-21T08:16:33Z")
Creating a Compiler-Independent Socket Library The Ada Awards Committee has nominated for an award the task of creating a compiler-independent socket library named Sockets. Motivation Portability is an important aspect … --- ## [Dispatching case statement extension](https://forum.ada-lang.io/t/dispatching-case-statement-extension/4580)
**Author:** [@dmitry-kazakov](https://forum.ada-lang.io/u/dmitry-kazakov)\ **Replies:** 5\ **Last updated:** [July 19, 2026, 9:59pm UTC](https://forum.ada-lang.io/t/dispatching-case-statement-extension/4580 "2026-07-19T21:59:40Z")
I have been writing a lot of very tedious and unsafe code recently. The code is related to serialization and input-output. The problem is inability to dispatch to lately, when the type is frozen. I cannot go back and red… --- ## [Meadowsweet, a simple MVC web framework](https://forum.ada-lang.io/t/meadowsweet-a-simple-mvc-web-framework/4512)
**Author:** [@rehartmann](https://forum.ada-lang.io/u/rehartmann)\ **Replies:** 4\ **Last updated:** [July 18, 2026, 9:16pm UTC](https://forum.ada-lang.io/t/meadowsweet-a-simple-mvc-web-framework/4512 "2026-07-18T21:16:53Z")
A simple MVC web framework implemented on top of Ada Servlet. https://github.com/rehartmann/meadowsweet https://github.com/rehartmann/meadowsweet\_jintp --- ## [Alire issue with directories causing exception](https://forum.ada-lang.io/t/alire-issue-with-directories-causing-exception/4540)
**Author:** [@Lucretia](https://forum.ada-lang.io/u/Lucretia)\ **Replies:** 35\ **Last updated:** [July 17, 2026, 4:05pm UTC](https://forum.ada-lang.io/t/alire-issue-with-directories-causing-exception/4540 "2026-07-17T16:05:16Z")
Has anyone seen this? $ alr index --reset-community Cloning into '/home/laguest/.config//alire/indexes/community/repo'... remote: Enumerating objects: 15702, done. remote: Counting objects: 100% (90/90), done. remote: C… --- ## [GNAT 14.3 is unable to query record's \`'Object\_Size\` at compile time](https://forum.ada-lang.io/t/gnat-14-3-is-unable-to-query-records-object-size-at-compile-time/4574)
**Author:** [@jlombera](https://forum.ada-lang.io/u/jlombera)\ **Replies:** 6\ **Last updated:** [July 15, 2026, 8:22pm UTC](https://forum.ada-lang.io/t/gnat-14-3-is-unable-to-query-records-object-size-at-compile-time/4574 "2026-07-15T20:22:01Z")
I found following bug in GNAT 14.3 when trying to query a record’s 'Object\_Size at compile time. Using this example: procedure Test is type Rec is record A : Integer; end record; pragma Compile\_Time\_Err… --- ## [\[HOWTO\] Easily add unit tests to an Alire crate](https://forum.ada-lang.io/t/howto-easily-add-unit-tests-to-an-alire-crate/4564)
**Author:** [@Seirios](https://forum.ada-lang.io/u/Seirios)\ **Replies:** 12\ **Last updated:** [July 15, 2026, 5:09pm UTC](https://forum.ada-lang.io/t/howto-easily-add-unit-tests-to-an-alire-crate/4564 "2026-07-15T17:09:58Z")
Hi! I recently found myself finding out how to do this once again, so I decided to write it down and share it here :slight\_smile: \*Replace \ below with the name of your main crate. Set up testing in a sub-c… --- ## [Use GCC builtin intrinsic that requires immediate value as argument](https://forum.ada-lang.io/t/use-gcc-builtin-intrinsic-that-requires-immediate-value-as-argument/4568)
**Author:** [@ssor](https://forum.ada-lang.io/u/ssor)\ **Replies:** 7\ **Last updated:** [July 14, 2026, 7:11pm UTC](https://forum.ada-lang.io/t/use-gcc-builtin-intrinsic-that-requires-immediate-value-as-argument/4568 "2026-07-14T19:11:09Z")
Hi, firstly I wanted to thank those who started and participate on this website and forum as I was debating whether to ask this on Stackoverflow or here, but at least from briefly checking, this forum possibly seems to b… --- ## [Visibility rules. Variables against procedures (functions, literals, packages)](https://forum.ada-lang.io/t/visibility-rules-variables-against-procedures-functions-literals-packages/4573)
**Author:** [@dmitry-kazakov](https://forum.ada-lang.io/u/dmitry-kazakov)\ **Replies:** 8\ **Last updated:** [July 14, 2026, 3:08pm UTC](https://forum.ada-lang.io/t/visibility-rules-variables-against-procedures-functions-literals-packages/4573 "2026-07-14T15:08:20Z")
Consider the following: procedure Test is package P1 is procedure F; end P1; package body P1 is procedure F is begin null; end F; end P1; package P2 is F : Boolean :… --- ## [New Tutorial: How to Set Up Unit Tests and SPARK Proofs](https://forum.ada-lang.io/t/new-tutorial-how-to-set-up-unit-tests-and-spark-proofs/4575)
**Author:** [@krischik](https://forum.ada-lang.io/u/krischik)\ **Replies:** 0\ **Last updated:** [July 14, 2026, 2:48pm UTC](https://forum.ada-lang.io/t/new-tutorial-how-to-set-up-unit-tests-and-spark-proofs/4575 "2026-07-14T14:48:47Z")
Hello everyone, I have just published a new guide on the AdaCL website that shows how I organise an Ada/Alire project so you can comfortably switch between normal builds, AUnit tests and full SPARK proofs — including va… --- ## [Ada SPARK Office Hours - 2026-07-03](https://forum.ada-lang.io/t/ada-spark-office-hours-2026-07-03/4551)
**Author:** [@markhermeling](https://forum.ada-lang.io/u/markhermeling)\ **Replies:** 1\ **Last updated:** [July 14, 2026, 11:20am UTC](https://forum.ada-lang.io/t/ada-spark-office-hours-2026-07-03/4551 "2026-07-14T11:20:38Z")
Very interesting set of topics that flew by, summary below and video will be attached shortly. Thanks for everybody that joined! I am going to try and see if I can arrange for a SPARK hands-on-walkthrough in one of the n… --- ## [GNAT 16.1.0-rc1 - Call for testing](https://forum.ada-lang.io/t/gnat-16-1-0-rc1-call-for-testing/4474)
**Author:** [@csagaert](https://forum.ada-lang.io/u/csagaert)\ **Replies:** 22\ **Last updated:** [July 14, 2026, 8:36am UTC](https://forum.ada-lang.io/t/gnat-16-1-0-rc1-call-for-testing/4474 "2026-07-14T08:36:43Z")
Hi everyone, I published a (pre)release candidate build of GNAT FSF 16.1.0 in the GNAT FSF builds repo. I also added a branch in my fork of the Alire index on GitHub, with the release candidate in it. We invite you to … --- ## [Pleased with improvements to VSCode plugin and/or adalang server](https://forum.ada-lang.io/t/pleased-with-improvements-to-vscode-plugin-and-or-adalang-server/4572)
**Author:** [@cantanima](https://forum.ada-lang.io/u/cantanima)\ **Replies:** 0\ **Last updated:** [July 13, 2026, 2:37pm UTC](https://forum.ada-lang.io/t/pleased-with-improvements-to-vscode-plugin-and-or-adalang-server/4572 "2026-07-13T14:37:41Z")
I wanted to express appreciation for recent improvements made to the VSCode plugin for Ada, which probably include improvements to the adalang server as well. For example, typing an undefined symbol (e.g., undeclared va… --- ## [Successfully created gcc16.1.0 cross compiler for aarch64 from source](https://forum.ada-lang.io/t/successfully-created-gcc16-1-0-cross-compiler-for-aarch64-from-source/4565)
**Author:** [@BlueAlmost](https://forum.ada-lang.io/u/BlueAlmost)\ **Replies:** 3\ **Last updated:** [July 11, 2026, 11:32am UTC](https://forum.ada-lang.io/t/successfully-created-gcc16-1-0-cross-compiler-for-aarch64-from-source/4565 "2026-07-11T11:32:08Z")
Hello All, Recently I have been struggling with trying to create from source a working gnat compiler for aarch64 using gcc 16.1.0. By digging through a variety of web/forum postings I created 9 simple (but perhaps ugly… --- ## [Issue on gnat compiler](https://forum.ada-lang.io/t/issue-on-gnat-compiler/4544)
**Author:** [@kgenz](https://forum.ada-lang.io/u/kgenz)\ **Replies:** 9\ **Last updated:** [July 11, 2026, 7:00am UTC](https://forum.ada-lang.io/t/issue-on-gnat-compiler/4544 "2026-07-11T07:00:40Z")
Hi, according to Barnes’ Ada 2022 book and http://www.ada-auth.org/standards/22rm\_w\_amd1/html/RM-3-8.html the syntax type A is record … end record A; is allowed since Ada 2022, but setting Pragma Ada\_2022 on my pac… --- ## [Alire + AUnit + VSCode workflow](https://forum.ada-lang.io/t/alire-aunit-vscode-workflow/4556)
**Author:** [@ptihanyi](https://forum.ada-lang.io/u/ptihanyi)\ **Replies:** 7\ **Last updated:** [July 10, 2026, 6:59am UTC](https://forum.ada-lang.io/t/alire-aunit-vscode-workflow/4556 "2026-07-10T06:59:36Z")
Hello! I would like to ask for your help on how to use the “tests” project generated by Alire? Or how to use it RIGHT? I am a beginner in Ada programming but I am already quite good at creating simpler programs. I woul… --- ## [\[ANN\] ZanyBlue available on Alire](https://forum.ada-lang.io/t/ann-zanyblue-available-on-alire/4557)
**Author:** [@Blady](https://forum.ada-lang.io/u/Blady)\ **Replies:** 0\ **Last updated:** [July 8, 2026, 7:22pm UTC](https://forum.ada-lang.io/t/ann-zanyblue-available-on-alire/4557 "2026-07-08T19:22:52Z")
ZanyBlue is a wonderful framework for internationalization natively in Ada. It includes a library you can use for your translations and a translation compiler from properties files to Ada source files. That is the big t… --- ## [\[ANN\] Release of UXStrings 0.9.3](https://forum.ada-lang.io/t/ann-release-of-uxstrings-0-9-3/4546)
**Author:** [@Blady](https://forum.ada-lang.io/u/Blady)\ **Replies:** 2\ **Last updated:** [July 8, 2026, 6:58pm UTC](https://forum.ada-lang.io/t/ann-release-of-uxstrings-0-9-3/4546 "2026-07-08T18:58:20Z")
This Ada library provides utilities for Unicode character strings of dynamic length. It is now available on Alire in version 0.9.3. Changes: Add a fifth implementation: Unicode\_Character\_Array (i.e.Wide\_Wide\_String) … --- ## [Scope of a use clause in the package spec](https://forum.ada-lang.io/t/scope-of-a-use-clause-in-the-package-spec/4555)
**Author:** [@RREE](https://forum.ada-lang.io/u/RREE)\ **Replies:** 4\ **Last updated:** [July 8, 2026, 3:47pm UTC](https://forum.ada-lang.io/t/scope-of-a-use-clause-in-the-package-spec/4555 "2026-07-08T15:47:42Z")
I have a (with and) use clause in a package spec of requests.ads. There is only a with clause in the package body. I know that it is redundant but I like to see the dependencies of the body without opening the spec file.… --- ## [\[ANN\] ipDSA 1.2.0 — same-host Annex E (DSA) runtime over shared memory — now on Windows and FreeBSD](https://forum.ada-lang.io/t/ann-ipdsa-1-2-0-same-host-annex-e-dsa-runtime-over-shared-memory-now-on-windows-and-freebsd/4549)
**Author:** [@charlie5](https://forum.ada-lang.io/u/charlie5)\ **Replies:** 4\ **Last updated:** [July 8, 2026, 3:30pm UTC](https://forum.ada-lang.io/t/ann-ipdsa-1-2-0-same-host-annex-e-dsa-runtime-over-shared-memory-now-on-windows-and-freebsd/4549 "2026-07-08T15:30:29Z")
ipDSA is a free (GPLv3 + GCC Runtime Library Exception) Partition Communication Subsystem for Ada’s Distributed Systems Annex (Annex E), for same-host deployments: the partitions of a distributed program run as separa… --- ## [My package level task never ends](https://forum.ada-lang.io/t/my-package-level-task-never-ends/4552)
**Author:** [@krischik](https://forum.ada-lang.io/u/krischik)\ **Replies:** 16\ **Last updated:** [July 8, 2026, 10:07am UTC](https://forum.ada-lang.io/t/my-package-level-task-never-ends/4552 "2026-07-08T10:07:06Z")
I have a unit test for the Jorvik profile which is quite challenging. The aim is to test a ring buffer reading and writing from two different tasks. The tests run through, AUnit posts the final results but the test progr… --- ## [Updated list of Ada compilers](https://forum.ada-lang.io/t/updated-list-of-ada-compilers/1099)
**Author:** [@RDR](https://forum.ada-lang.io/u/RDR)\ **Replies:** 19\ **Last updated:** [July 8, 2026, 6:12am UTC](https://forum.ada-lang.io/t/updated-list-of-ada-compilers/1099 "2026-07-08T06:12:19Z")
We need an updated list of sources for Ada compilers. I know we have AdaCore and PLT. One of my clients uses Green Hills for embedded avionics. I am pretty sure Randy still supports Janus Ada. Dan Eiler’s seems to … --- ## [Libadalang python bindings from Alire](https://forum.ada-lang.io/t/libadalang-python-bindings-from-alire/4550)
**Author:** [@ThyMYthOS](https://forum.ada-lang.io/u/ThyMYthOS)\ **Replies:** 2\ **Last updated:** [July 7, 2026, 9:04pm UTC](https://forum.ada-lang.io/t/libadalang-python-bindings-from-alire/4550 "2026-07-07T21:04:37Z")
@Fabien.C do you know if it’s possible to use the python bindings with the version of libadalang in Alire? It seems that Alire only builds a static library that cannot be used by Python. Also: Would it be possible to pu… --- ## [Ada on FreeBSD - new community](https://forum.ada-lang.io/t/ada-on-freebsd-new-community/4547)
**Author:** [@saper](https://forum.ada-lang.io/u/saper)\ **Replies:** 1\ **Last updated:** [July 5, 2026, 10:07am UTC](https://forum.ada-lang.io/t/ada-on-freebsd-new-community/4547 "2026-07-05T10:07:40Z")
A group of people interested in porting Ada software to FreeBSD has now a mailing list: We also have a wiki page and a preliminary list of tasks: If you are interested in FreeBSD support and/or would like to improv… --- ## [Why do you keep using Ada?](https://forum.ada-lang.io/t/why-do-you-keep-using-ada/3799)
**Author:** [@SabeDoesThings](https://forum.ada-lang.io/u/SabeDoesThings)\ **Replies:** 37\ **Last updated:** [July 3, 2026, 7:26pm UTC](https://forum.ada-lang.io/t/why-do-you-keep-using-ada/3799 "2026-07-03T19:26:45Z")
Hey everyone! I’ve been using Ada for over a month now and I’ve been really enjoying and I wanted to connect more with the Ada community so I wanted to ask. How long have YOU been using Ada and what do you like about? I’… --- ## [Gnat Studio on Linux "Go To Declaration" doesn't always navigate to the right line](https://forum.ada-lang.io/t/gnat-studio-on-linux-go-to-declaration-doesnt-always-navigate-to-the-right-line/4543)
**Author:** [@kevlar700](https://forum.ada-lang.io/u/kevlar700)\ **Replies:** 2\ **Last updated:** [July 3, 2026, 1:51pm UTC](https://forum.ada-lang.io/t/gnat-studio-on-linux-go-to-declaration-doesnt-always-navigate-to-the-right-line/4543 "2026-07-03T13:51:29Z")
A percentage of the time “Go To Declaration” doesn’t actually land on the type but somewhere else in the file. A quick back and try again seems to work. Can anyone confirm that it’s the same for them? --- ## [ANN: Simple Components v4.81](https://forum.ada-lang.io/t/ann-simple-components-v4-81/4541)
**Author:** [@dmitry-kazakov](https://forum.ada-lang.io/u/dmitry-kazakov)\ **Replies:** 0\ **Last updated:** [July 2, 2026, 6:10pm UTC](https://forum.ada-lang.io/t/ann-simple-components-v4-81/4541 "2026-07-02T18:10:27Z")
The current version provides implementations of smart pointers, directed graphs, sets, maps, B-trees, stacks, tables, string editing, unbounded arrays, expression analyzers, lock-free data structures, synchronization pri… [Previous page](https://forum.ada-lang.io/latest.md?page=3) [Next page](https://forum.ada-lang.io/latest.md?page=5)