Logo Questions Linux Laravel Mysql Ubuntu Git Menu
 

New posts in ada

Ada program doesn't print any runtime errors

Fundamentals of Ada's T'Class

ada

Empty structs in C

c struct ada is-empty

Passing multiple link libraries in GPR file

linux ada gnat

Is it possible to define a numeric range for a field in Protocol Buffer?

types protocol-buffers ada

Ada: flexible Text_IO File_Type for redirecting output with SET_OUTPUT?

ada

How do i prevent this loop from reading if the input ends on a space?

ada

Can't prove seemingly trivial equality in Ada Spark

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