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

New posts in ada

How to mark unreachable code in Ada/SPARK

ada formal-verification spark-formal-verification

How to use for loop in a multiple dimensional array?

ada

Having a hard time indexing an array

arrays generics indexing ada

Is this a bug with UTF conversion in GNAT Ada

ada gnat

Ada: Gnat Gprbuild Add a binary library with no .adb to a project

ada gprbuild

HowTo & multidimensional matrix in Ada

matrix multidimensional-array ada

Passing a C++ array to Ada95

c++ arrays pointers ada

Build static library from Ada code to be linked without GNAT

ada

Passing Strings from Ada function to C function

c string ada

How can I access a symbol from the linker script in my Ada code?

ada linker-scripts gnat spark-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

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
Older Entries »