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

New posts in ada

Does it ever make sense to specify 'Small and 'Delta separately?

ada fixed-point

Ada/SPARK: should I be using GNATprove? Where can I find it?

ada gnat spark-ada

How to fix: 'Argument of Type Conversion Must Be Single Expression' in Ada 95

procedure ada

What is the Python counterpart to an Ada record / C++ struct type?

c++ python record ada

I²C returning Busy or Error on memory reading

stm32 ada gnat

Calling an overridden method from the base class in Ada

oop polymorphism ada

In Ada how do I initialise an array constant with a repeated number?

arrays constants ada

Ada: Null exclusion in arrays holding pointers

ada

How would I define the __m256i data type in Ada?

simd ada intrinsics avx2 gnat

How does Oberon's object oriented model differ from standard OOP? [closed]

oop pascal ada modula-2 oberon

Defining a generic scalar-type package in Ada

ada

Do Ada 83 exceptions include resource cleanup?

exception destructor ada try-finally language-implementation

Type conversions and if expressions

ada ada2012

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