# \#gnat **URL:** https://forum.ada-lang.io/tag/gnat/19.md [Latest](https://forum.ada-lang.io/latest.md) · [Categories](https://forum.ada-lang.io/categories.md) · [Tags](https://forum.ada-lang.io/tags.md) --- ## [Exception behavior with errno](https://forum.ada-lang.io/t/exception-behavior-with-errno/4658)
**Author:** [@sbenitezb](https://forum.ada-lang.io/u/sbenitezb)\ **Replies:** 24\ **Last updated:** [October 25, 2026, 2:08am UTC](https://forum.ada-lang.io/t/exception-behavior-with-errno/4658 "2026-10-25T02:08:24Z")
Hello. Does anybody know the GNAT behavior during exception raise or catch with respect to errno global variable? I assume that it might call some C function that might set it and trash previous C function errno state? --- ## [Ada Talk at Carolina Code Conference](https://forum.ada-lang.io/t/ada-talk-at-carolina-code-conference/4820)
**Author:** [@pyj](https://forum.ada-lang.io/u/pyj)\ **Replies:** 7\ **Last updated:** [October 19, 2026, 5:23pm UTC](https://forum.ada-lang.io/t/ada-talk-at-carolina-code-conference/4820 "2026-10-19T17:23:38Z")
I gave my first live talk about Ada at the Carolina Code Conference, “Writing Open Source Ada in 2026.” --- ## [Calculator Scripts 1.8.12 released](https://forum.ada-lang.io/t/calculator-scripts-1-8-12-released/4813)
**Author:** [@krischik](https://forum.ada-lang.io/u/krischik)\ **Replies:** 0\ **Last updated:** [October 8, 2026, 6:46pm UTC](https://forum.ada-lang.io/t/calculator-scripts-1-8-12-released/4813 "2026-10-08T18:46:39Z")
Calculator Scripts 1.8.12 is released. One release for macOS, Linux and Windows — Ada 2022, AdaCL.Serial with fixed macOS support underneath. Three things are new: macOS communication is fixed. The console can be esta… --- ## [\[adacl-serial 8.0.1\] I pointed GNAT.Serial\_Communications at the wrong termios](https://forum.ada-lang.io/t/adacl-serial-8-0-1-i-pointed-gnat-serial-communications-at-the-wrong-termios/4799)
**Author:** [@krischik](https://forum.ada-lang.io/u/krischik)\ **Replies:** 2\ **Last updated:** [October 5, 2026, 2:59pm UTC](https://forum.ada-lang.io/t/adacl-serial-8-0-1-i-pointed-gnat-serial-communications-at-the-wrong-termios/4799 "2026-10-05T14:59:04Z")
I wanted a serial port on macOS, so I did the obvious thing and reached for GNAT.Serial\_Communications. The manual does say GNU/Linux and Windows only. I tried anyway. The simple case worked. Open the calculator first,… --- ## [Building gnatlib](https://forum.ada-lang.io/t/building-gnatlib/4751)
**Author:** [@PeterBB](https://forum.ada-lang.io/u/PeterBB)\ **Replies:** 4\ **Last updated:** [September 18, 2026, 7:26pm UTC](https://forum.ada-lang.io/t/building-gnatlib/4751 "2026-09-18T19:26:51Z")
Is there any way to do a stand alone build of lingnarl and libgnat without building the whole of gcc? I’ve tried the following, mkdir build && cd build ../gcc/configure --enable-languages=ada cd ada make gnatlib b… --- ## [Y2038 compliance broken on 32bit](https://forum.ada-lang.io/t/y2038-compliance-broken-on-32bit/4731)
**Author:** [@PeterBB](https://forum.ada-lang.io/u/PeterBB)\ **Replies:** 9\ **Last updated:** [September 18, 2026, 2:15pm UTC](https://forum.ada-lang.io/t/y2038-compliance-broken-on-32bit/4731 "2026-09-18T14:15:10Z")
Hi, regarding Bug report Wondering if there is any chance of this being fixed in 16.3? Leads to another question. What is the future, for gnat on 32bit? Regards, Peter --- ## [Using Timing\_Event in SPARK to detect missed task deadlines](https://forum.ada-lang.io/t/using-timing-event-in-spark-to-detect-missed-task-deadlines/4749)
**Author:** [@lorislibralato](https://forum.ada-lang.io/u/lorislibralato)\ **Replies:** 2\ **Last updated:** [September 17, 2026, 12:04pm UTC](https://forum.ada-lang.io/t/using-timing-event-in-spark-to-detect-missed-task-deadlines/4749 "2026-09-17T12:04:39Z")
I am trying to use Timing\_Event to detect missed task deadlines. At the Stone SPARK proof level, I get the following error when calling the Set\_Handler procedure from Ada.Real\_Time.Timing\_Events: "Timing\_Event\_Handler"… --- ## [Can you directly implement stackful coroutines in GNAT Ada? (And can they be proven with SPARK?)](https://forum.ada-lang.io/t/can-you-directly-implement-stackful-coroutines-in-gnat-ada-and-can-they-be-proven-with-spark/4719)
**Author:** [@ValorZard](https://forum.ada-lang.io/u/ValorZard)\ **Replies:** 5\ **Last updated:** [September 11, 2026, 9:32pm UTC](https://forum.ada-lang.io/t/can-you-directly-implement-stackful-coroutines-in-gnat-ada-and-can-they-be-proven-with-spark/4719 "2026-09-11T21:32:37Z")
I’ve been looking into stackful coroutines lately for my “formally proven async runtime” stuff, and I found out about this little library called minicoro GitHub - edubart/minicoro: Single header stackful cross-platform c… --- ## [Migrating ARM cross toolchains to the latest version](https://forum.ada-lang.io/t/migrating-arm-cross-toolchains-to-the-latest-version/4727)
**Author:** [@kevlar700](https://forum.ada-lang.io/u/kevlar700)\ **Replies:** 5\ **Last updated:** [September 9, 2026, 1:56pm UTC](https://forum.ada-lang.io/t/migrating-arm-cross-toolchains-to-the-latest-version/4727 "2026-09-09T13:56:21Z")
So native toolchains seem to upgrade to the latest but how do you do that for arm-eabi. I checked dependencies and removed any toolchain specifications. Previously I think I was setting a dependencies version that would … --- ## [Source code for early GNAT versions](https://forum.ada-lang.io/t/source-code-for-early-gnat-versions/4693)
**Author:** [@csb6](https://forum.ada-lang.io/u/csb6)\ **Replies:** 14\ **Last updated:** [September 8, 2026, 6:11pm UTC](https://forum.ada-lang.io/t/source-code-for-early-gnat-versions/4693 "2026-09-08T18:11:16Z")
Does anyone happen to have copies of the source code for very early GNAT releases? The earliest I can find is GNAT 1.67 from 1993. This version is mostly written in Ada 83, but its source code contains a few uses of Ada … --- ## [ANN: Configurable bareboard runtimes v16.0.0](https://forum.ada-lang.io/t/ann-configurable-bareboard-runtimes-v16-0-0/4707)
**Author:** [@damaki](https://forum.ada-lang.io/u/damaki)\ **Replies:** 0\ **Last updated:** [September 1, 2026, 11:13am UTC](https://forum.ada-lang.io/t/ann-configurable-bareboard-runtimes-v16-0-0/4707 "2026-09-01T11:13:11Z")
Version 16.0.0 of my configurable bareboard GNAT runtime crates is now available. Highlights in v16.0.0: Updated the runtimes to GNAT FSF 16 Fixed an issue when building on Windows where the compiler could sometimes… --- ## [\[Announce\] GNAT Runtime for ESP-IDF 0.1.0](https://forum.ada-lang.io/t/announce-gnat-runtime-for-esp-idf-0-1-0/4419)
**Author:** [@godunko](https://forum.ada-lang.io/u/godunko)\ **Replies:** 5\ **Last updated:** [August 27, 2026, 6:41pm UTC](https://forum.ada-lang.io/t/announce-gnat-runtime-for-esp-idf-0-1-0/4419 "2026-08-27T18:41:00Z")
:rocket: Announcing: GNAT Runtime for Ada & SPARK on ESP32 I’m excited to share the latest updates for the espidf\_gnat\_runtime project! This runtime allows you to run embedded applications by leveraging the core feature… --- ## [Formally verified, bias-free entropy conversion engine in Ada/SPARK](https://forum.ada-lang.io/t/formally-verified-bias-free-entropy-conversion-engine-in-ada-spark/4608)
**Author:** [@Avila](https://forum.ada-lang.io/u/Avila)\ **Replies:** 9\ **Last updated:** [August 7, 2026, 2:30am UTC](https://forum.ada-lang.io/t/formally-verified-bias-free-entropy-conversion-engine-in-ada-spark/4608 "2026-08-07T02:30:10Z")
Hi everyone, Quick note: English is my second language, so I am using an AI to help translate this into proper technical English, as Spanish is my native tongue. I wanted to share a complete architecture designed in Ad… --- ## [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. --- ## [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 … --- ## [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… --- ## [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… --- ## [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 … --- ## [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… --- ## [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… --- ## [GNAT FSF 16 and GNATprove FSF 16 release](https://forum.ada-lang.io/t/gnat-fsf-16-and-gnatprove-fsf-16-release/4539)
**Author:** [@csagaert](https://forum.ada-lang.io/u/csagaert)\ **Replies:** 1\ **Last updated:** [July 2, 2026, 3:24pm UTC](https://forum.ada-lang.io/t/gnat-fsf-16-and-gnatprove-fsf-16-release/4539 "2026-07-02T15:24:55Z")
Hello, me again! I’ve released GNAT and GNATprove FSF 16 builds in the GNAT-FSF-builds repo. PRs for these new versions are being reviewed in the Alire index. These are based on the 16.1.0 release of GCC. For GNAT, thi… --- ## [HAC running in the browser via GNAT-LLVM (WebAssembly)](https://forum.ada-lang.io/t/hac-running-in-the-browser-via-gnat-llvm-webassembly/4536)
**Author:** [@ovenpasta](https://forum.ada-lang.io/u/ovenpasta)\ **Replies:** 3\ **Last updated:** [July 1, 2026, 7:29am UTC](https://forum.ada-lang.io/t/hac-running-in-the-browser-via-gnat-llvm-webassembly/4536 "2026-07-01T07:29:01Z")
I’ve ported HAC ( GitHub - zertovitch/hac: HAC Ada Compiler - a small, quick Ada compiler fully in Ada · GitHub ) (by Gautier de Montmollin) to the web - it runs as WebAssembly, live, here: Type an Ada (subset) progra… --- ## [Debugging methodology](https://forum.ada-lang.io/t/debugging-methodology/4528)
**Author:** [@ZenitDS](https://forum.ada-lang.io/u/ZenitDS)\ **Replies:** 12\ **Last updated:** [June 29, 2026, 4:12pm UTC](https://forum.ada-lang.io/t/debugging-methodology/4528 "2026-06-29T16:12:17Z")
Hi, When faced with an error which causes an exception, what is your approach for debugging the issue? I have tried using -Es in Binder accompanied with -g in Compiler and Binder. However, this just gives me a stack tr… --- ## [Packaging and Examples for the Ada 2022 Parallel features implementation](https://forum.ada-lang.io/t/packaging-and-examples-for-the-ada-2022-parallel-features-implementation/4526)
**Author:** [@Irvise](https://forum.ada-lang.io/u/Irvise)\ **Replies:** 0\ **Last updated:** [June 28, 2026, 10:15am UTC](https://forum.ada-lang.io/t/packaging-and-examples-for-the-ada-2022-parallel-features-implementation/4526 "2026-06-28T10:15:34Z")
Packaging and Examples for the Ada 2022 Parallel features implementation The Ada User Awards committee has nominated for an award the task of making the new implementation of the Ada 2022 parallel features (parallel loop… --- ## [GNAT bug maybe?](https://forum.ada-lang.io/t/gnat-bug-maybe/4440)
**Author:** [@sbenitezb](https://forum.ada-lang.io/u/sbenitezb)\ **Replies:** 6\ **Last updated:** [May 21, 2026, 9:19pm UTC](https://forum.ada-lang.io/t/gnat-bug-maybe/4440 "2026-05-21T21:19:56Z")
This is the minimum I could do to reproduce it, but I’m not sure it’s a bug in the compiler or my code is doing something that shouldn’t. pragma Ada\_2022; with Interfaces; package Core.Bug with SPARK\_Mode =\> On is … --- ## [Porting the GNAT RTS](https://forum.ada-lang.io/t/porting-the-gnat-rts/4397)
**Author:** [@Lucretia](https://forum.ada-lang.io/u/Lucretia)\ **Replies:** 8\ **Last updated:** [May 11, 2026, 2:14pm UTC](https://forum.ada-lang.io/t/porting-the-gnat-rts/4397 "2026-05-11T14:14:57Z")
I decided to split this into it’s own thread. I’ve just taken a look, it’s changed a lot since I last looked, around gcc-4.x The Makefile.rtl is back and is now where the target-name\ **Author:** [@damaki](https://forum.ada-lang.io/u/damaki)\ **Replies:** 0\ **Last updated:** [May 11, 2026, 11:43am UTC](https://forum.ada-lang.io/t/ann-configurable-bareboard-runtimes-v15-4-0/4414 "2026-05-11T11:43:10Z") Version 15.4.0 of my configurable bareboard runtime crates is now available. There have been a few fixes and improvements since my previous announcement for v15.2.0: Highlights in v15.3.0: Added runtime crates for … --- ## [My tutorial about distributed programming](https://forum.ada-lang.io/t/my-tutorial-about-distributed-programming/4401)
**Author:** [@tankf33der](https://forum.ada-lang.io/u/tankf33der)\ **Replies:** 4\ **Last updated:** [May 9, 2026, 7:05pm UTC](https://forum.ada-lang.io/t/my-tutorial-about-distributed-programming/4401 "2026-05-09T19:05:58Z")
hi all, I managed to describe and then reproduce on another server distributed programming steps, a simple example. Maybe it will be useful to someone to play around with and create more complex programs. (mike) --- ## [RP2040 embedded runtime: adainit hangs in tasking when with Ada.Exceptions; is present (debugger only)](https://forum.ada-lang.io/t/rp2040-embedded-runtime-adainit-hangs-in-tasking-when-with-ada-exceptions-is-present-debugger-only/4406)
**Author:** [@krischik](https://forum.ada-lang.io/u/krischik)\ **Replies:** 1\ **Last updated:** [May 9, 2026, 6:28pm UTC](https://forum.ada-lang.io/t/rp2040-embedded-runtime-adainit-hangs-in-tasking-when-with-ada-exceptions-is-present-debugger-only/4406 "2026-05-09T18:28:26Z")
Hello everyone, I’m seeing a strange debugger-dependent hang on the Raspberry Pi Pico (RP2040) with the embedded runtime. Observed behaviour Works perfectly when: Loaded via simple cp and hardware reset, or Debugged a… --- ## [Binary releases of GNAT tools](https://forum.ada-lang.io/t/binary-releases-of-gnat-tools/4398)
**Author:** [@csagaert](https://forum.ada-lang.io/u/csagaert)\ **Replies:** 2\ **Last updated:** [May 7, 2026, 6:37pm UTC](https://forum.ada-lang.io/t/binary-releases-of-gnat-tools/4398 "2026-05-07T18:37:18Z")
Hello all! I’ve published (in the GNAT-FSF-builds repo) a few binary releases of several AdaCore tools: GPRbuild, GNATcoverage, GNATformat, GNATtest and GNATdoc. These releases will be published in the Alire index with … [Next page](https://forum.ada-lang.io/tag/gnat/19.md?match_all_tags=true&page=1&tags%5B%5D=gnat)