Logo Questions Linux Laravel Mysql Ubuntu Git Menu
HTML CSS JAVASCRIPT SQL PYTHON PHP BOOTSTRAP JAVA JQUERY R React Kotlin
 

New posts in ada

What are the semantics of Ada task priorities on Linux?

linux scheduled-tasks scheduling ada

What is the best way for initializing a fixed-length string in Ada?

string ada bounded-types

How is it possible, in Ada, to have a code failure from assigning a 64bit floating point number to a 16bit integer?

type-conversion ada

Ada - how to explicitly pack a bit-field record type?

stream record ada bit-fields

How to generate a unique id in Ada?

uuid ada uniqueidentifier

What's the difference between a normal Integer and an aliased Integer in Ada?

types ada

Ada program doesn't print any runtime errors

runtime-error ada code-contracts assertions gnat

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

data-structures types ada spark-ada

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

Changing GNAT runtime name

runtime ada

Where is this Ada character literal format defined and what was changed in Ada 2005?

character-encoding ada gnat ada95

Translating C flexible array members with length fields to Ada

ada
« Newer Entries Older Entries »