Logo Questions Linux Laravel Mysql Ubuntu Git Menu
 

New posts in ada

Ada out parameter

parameters ada out

Overloading operator "=" for anonymous access types?

ada

Calling a C-Function which takes a structure as argument

c ada

How to make Pre and Post conditions for recursive functions in SPARK?

recursion ada dafny spark-2014

Ada and assembly

assembly x86 ada

How to reset Ada.Real_Time.Clock?

real-time reset ada clock

How do I use “separate" keyword

ada

non-local pointer cannot point to local object

ada

How to check for potential overflow in Ada when dealing with expression?

ada codepeer

How can I access a specific position of a JSON array in ada?

arrays json ada

How can I return a string allocated in C to Ada and free it in Ada?

c ada

Dynamic linking a library in Ada introduces extra dependencies

dll ada gnat gnat-gps

What should I do to solve the GNAT GPS "library not found" problem and build my first "Hello World" program on my Mac?

ada gnat gnat-gps

Passing a C-styled integer array to an Ada function to retrieve the first element in the array

c googletest ada

Ada : index check failed

compiler-errors ada

list of unique random numbers in an Interval in Ada

algorithm random ada

Porting Windows/Mac application, written in Ada, to iOS

iphone ios ada

What type has a variable containing a range to be?

Debugging in GPS IDE

ada gnat-gps

Error 0x800706F7 "The stub received bad data" on Windows XP SP3