Dansk forening for programming i Ada

Potential aliasing violation in swap array indexes SPARK-Ada November 30, 2020 Daniel Ricketts
Handling long running, blocking functions November 29, 2020 Marcello90
Compiler detection of race conditions between Tasks November 26, 2020 Chris Hobbs
Ada95 Calling C_Mkstemp() November 24, 2020 Kingsley
How can I do an unchecked_deallocation of abstract classes in Ada? November 22, 2020 Hartmut Braun
Cannot set key shortcut on GNAT Studio November 20, 2020 jhoran
Why does Ada DLL get stuck at adainit when called from Rust over FFI interface? November 20, 2020 Kaarel Allemann

Pages

thomas