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

New posts in ada

Ada: Convert float to decimal

floating-point decimal ada

List of target architectures supported by GNAT?

embedded ada gnat target-platform

Spark-Ada postcondition for array total

ada formal-methods spark-ada spark-2014

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