Logo Questions Linux Laravel Mysql Ubuntu Git Menu
 

New posts in ada

SPARK instantiation error w.r.t. volatile type

Constrain or subtype an Unbounded_String in Ada with rules?

string constraints ada

How to get a line-numbered stack trace for a memory leak on Mac OS X?

xcode memory-leaks ada

Ada GPS IDE can't seem to find GtkAda

ide path dependencies ada gnat

Ada String to Enumeration Conversion

string enums ada

How to stop execution in my program

ada ada2012

Ada "Compilation Unit Expected" error

compilation ada

Path issues with Ada and GNATStudio

ada

Tasking with AVR-Ada

ada avr avr-gcc winavr

Converting Ada closures to C callbacks (function + void*)

c closures ada

Freeing a string (allocated in Ada) in a C function using free()

c string ada

Char to String conversion Ada

type-conversion ada

Strange compilation error with gnat on fixed point declaration

ada fixed-point gnat

Enum in C++ like Enum in Ada?

c++ ada

Ada: Array length modification when adding anew element

arrays dynamic ada allocation

How to stop console window from closing immediately | GNAT - GPS

ada gnat-gps

Equivalent to accessors in Ada

ada accessor

Ada overlaps tag field

record ada

The type of a Loop Parameter

ada

How do I compile and link using gnatmake with an Ada shared library?

ada gnat