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

New posts in ada

"Missing full declaration for private type.." in Ada

ada

How to use nvcc with gprbuild?

cuda ada nvcc gprbuild

Why Ada attribute 'value in this snippet doesn't raise Data_Error but Constraint_Error instead?

ada

SPARK Ada: Overlays Without Copying

ada spark-ada

Does anyone know of an Ada plugin for protocol buffers?

protocol-buffers ada

Ada.Real_Time.Clock returning different values for different versions of GNATPro Ada compiler

ada

ada split() method

string parameters split 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
Older Entries »