ada

ada

MCDC coverage is not generating in "GNAT AUNIT" framework

alire cannot run hello programm error code 35

How to retrieve the identifier of a Label?

Test harness file is not creating for generic "when trying to test with generic instance"

Is there a way to quickly initialize an array with a sequence of values in Ada?

Possible to declare generic function for both constrained and unconstrained arrays?

Regarding Unchecked_Conversion in ada

Accessing locally created subprogram inside package in Ada

Ada.Containers.Formal_Indefinite_Vectors memory leak

How do I update an element in a this vector?

Ada SPARK read binary file

How is Ada and GPR supposed to handle conditional compilation? [duplicate]

Alire mandates use of GitHub account?

Return the greatest of 3 float values in Ada

Meaning of the numbers on the side of paragraphs in the Ada Reference Manual

How to locate input file on Run?

Range check and Length check in Ada (SPARK Mode)

Actual for "item" must be a variable - Ada

Type conversions and if expressions

How do I rectify this switch case error in Ada?

Mecanum car with 4 motors

Solving sudoku in Ada

Order in generic

Self dependency in Spark 2014

gnatmake linked failed on MacOS

How to create an Ada DKM project in Workbench for VxWorks with the command line?

Can you cheat contracts / asserts in SPARK?

Ada: Null exclusion in arrays holding pointers

Cannot Run GNATStudio - WSL

Is there some "standard" "elementary functions" support for fixed point data types in Ada?

How can I install the ZFP (Zero Foot Print) RTS (Run Time System) for AVR with the Alire package manager for Ada?

How to link an application written in Ada language?

Using Ada, using instance of Ada.Numerics.Generic_Elementary_Functions(Real), calculating Nth root and output same

How to use different fix point types in mathematical operations in Ada?

No language defined for the project: Ada GNAT GPS

Starting Gnat Studio with Alire fails

How can I serialize and deserialize a private type?

Get output from array in Ada

An array of records containing variable-length strings

Where is the actual character set for Ada program text defined?

Cannot run Gnat Studio

SPARK Ada: Overlays Without Copying

How can I start a process and convert its PID to/from an integer?

ranlib Error using Alire and GNAT with ASFML

Ada Gnat project which includes differently-named files for different build configurations

Expected private type

obtaining a list of prime numbers in Ada

Explicit Register Variables in Ada

How to make GPR accept multiple sources in the same project having the same file name?

how i can to align a widget with Gtk_Grid

How to connect a callback function to its signal

Ada Print Port_Type

Static Comparison of Record Layouts

Add radio button in a callback with GtkAda

Ada Extension for Visual Studio 2019

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

Thick binding dynamic library: Undefined references

Ada use of aspect Default_Component_Value on an array, with Pragma Pack

Compile unreferenced package with exported functions

Ada - Column Matrix from 2D array type

page:1 of 11 next page main page

Categories

typescript-compiler-api

openapi-generator

google-chat-api

semantic-release

recurrent-neural-network

gaps-and-islands

angular-promise

neo4j-javascript

c++-actor-framework

diamond-problem

amazon-dynamodb-dax

castle-dynamicproxy

angular-flex-layout

silent-installer

invalid-characters

javafx-webengine

nsmutableattributedstring

motion-detection

amazon-clouddrive

android-gpuimageview

syndicationfeed

ios-provisioning

jquery-mobile-dialog

sencha-touch-2.2

android-cursorloader

entity-framework-ctp5

Resources