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 do you write a program where you can enter a maximum of 5 characters in a string, but also less than 5(in Ada)?

string max ada ada95

Issue with freezing points in (Ada) SPARK

ada gnat

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