ada

ada

External configuration of Project_Version in gpr file

Custom condition failure messages in Ada 2012

No GNATtest in GNAT Community Edition?

Ada program to detect an end of line

Is this a bug with UTF conversion in GNAT Ada

Does Ada have a standard stack implementation?

Last breaking changes to Ada [closed]

Constraint_Error raised when using modular types not divisble by 8

Drawing a flag with diagonal crosses in a V-Shape (ADA)

How to use a generic type?

Ada - aspect identifier expected

How do you exit from the main procedure with an errorcode in Ada?

Ada - accessibility check raised

How to save Doubly_Linked_Lists text to a file for Ada language? Also how to have not fixed size string input?

Ada - Accessibility check raised within a procedure

Accessibility levels and local procedure variables lifetime

Postcondition on a procedure doesn't prove even though the same condition is asserted and true at the end of procedure

Does Ada have any idiomatic rules on when to use a function versus a procedure with an output parameter?

AdaCore : importing packages e.g.'Display'

Ada95 Traceback function produces no output

Cutting a string at first space

What should I do to solve the GNAT GPS "library not found" problem and build my first "Hello World" program on my Mac?

Cartesian Product of Lists Using Ada

Passing map to common procedure

In ada programming language, Is there a way to create a subtype which takes differently positioned enums of a type?

ADA not able to link glut32.dll in GPS IDE

Ada. Getting "Depends on" when running in terminal

How do I make gnattest only consider code in my src dir?

Files not being parsed by Gnatchop

FreeRTOS + GNAT Ada compiled library

Ravenscar Task / Program Termination in Native Compilation

GNAT GPS: Add a custom command

Refactoring: Removing renamed packages (automatically)

Program verification in SPARK - Counting elements in an array

Multi-Tasking on Embedded Devices with Ravenscar

Does a "for XXX use" clause make any sense for a null record?

Initialize constant variable of record type with all default values

Passing struct/record from assembler to Ada

Ada 2012 RM - Comments and String Literals

Ada : check if a result of division haven't decimal numbers

Ada : put() with custom type

Ada, Gnat: How efficient are protected type + entry comparing to pthreads?

Tracing execution of an Ada program

Unable to get the Ada scrolling text demo working on the microbit on GNAT 2019 community edition

Ada i2c demo on the microbit with the Ada Drivers Library?

Why don't prefixed calls work on access types?

Skipping calculation of somes primes when asking lot of primes

Ada - Sensible code structure for SHA3 implementation

How to distribute a GtkAda application under Windows?

Ada : custom type in range 1..var?

Ada - Discrete_Random example

How to debug an Ada program?

How to find out if an Ada file was compiled using static or dynamic elaboration

Gnat (ada95) comfused by error "... is not visible" using my package

Start executable from Ada program and read result

What does generic type X is (<>); mean?

How to perform arithmetic contract operations on function taking in 2D array type as parameter in Ada

Why it is oveflow in contador in ada?

Extracting record from big endian data

How can you store (an access to) Integer's operators in Ada?

page:4 of 11 prev page next page main page

Categories

abstract-syntax-tree

typescript-compiler-api

azure-management-api

ruby-on-rails-7

two-factor-authentication

bootstrap-table

react-native-picker

audio-recording

laravel-validation

network-security

custom-model-binder

android-fusedlocation

morea-framework

revitpythonshell

javafx-tableview

android-syncadapter

embedded-javascript

fluent-security

sap-dotnet-connector

chain-of-responsibility

system-monitoring

Resources