Logo Questions Linux Laravel Mysql Ubuntu Git Menu
 

New posts in ada

Suppress warnings for unchecked conversion

ada unchecked-conversion

Multi-Tasking on Embedded Devices with Ravenscar

ada spark-ada

Detect anonymous allocations in GNAT predefined libraries

Compile unreferenced package with exported functions

ada

How to make GPR accept multiple sources in the same project having the same file name?

ada gnat

Ada: Using a private variable in a precondition of a public function

ada

In Ada, what does it mean when you assign Object.All?

ada

How to access a parameter of a procedure in Pre/Post contracts of a procedure/funtion that has the the procedure as access parameter?

ada spark-ada

Ada: cmake and PLplot installation on Windows

Compile error when implementing interface

ada

Ada Generic Package Extension

generics ada

Tracing execution of an Ada program

ada gnat

Unchecked_Conversion in Ada

ada unchecked-conversion

File IO in ada, how to write Strings to file?

string io ada

How to make executables made with GNAT smaller?

ada gnat

Ada with Visual studio

visual-studio editor ada

How can I increment an access type as if it were a C pointer?

ada

How to get access to a record field

sqlite pointers ada

Why am I getting "storage error" on my Ada shared library when running under a JVM