ada

ada

Formal array type with the declared number of indexes (generic package)

GTKAda hello world

What is the type of the index of an array using a range as its index?

Heterogeneous tuple in Ada

comparing of mix,max values of two sub types in Ada using ASIS

Compilation with GNATColl

Is assignment the only difference between derived types and subtypes in Ada?

Binding vs Linking in Ada

Why is array'First always 1 in this example?

How can I find the `'First` and `'Last` expressions for a string field in a record using ASIS

Ada - access constant confusion

Ada.Text_IO.Float_IO.get() not behaving as expected

How can I define a structure that will contain two multidimensional unconstrained arrays an pass it to a procedure

Ada: What does 'is type access' mean?

Ada - Subtype mark required in this context

GPS not showing GTKAda application on Build & Run

Profiling GPRBuild

Why is my Ada program not outputting correctly?

Ada - Long (Grade-School) Multiplication of BigNum Integers

Variant records: Use components multiple times

Ada stop entry execution and execute other entry

Running Ada on the Zynq using a Digilent Zybo development board

Ada Constraint_error invalid enumeration value

non-local pointer cannot point to local object

No Global Contract available for procedure / function

GNAT Programming Studio (IDE) and STM32 problems

Call to a volatile function in interfering context is not allowed in SPARK

Comparing Tagged Types

Tasking in SPARK requires sequential elaboration

Interfacing Ada to C - getting Wide Strings from wchar_t *

Extending a Variable's Lifetime

gprbuild get external information into source

Ada `Gprbuild` Shorter File Names, Organized into Directories

Why might non-obvious "with" statements in the Ada Main File Causes Linking to Fail if Removed?

Is it possible to declare Ada range with unlimited upper bound?

In Ada, it seems to be the general practice to declare specific subtypes, but why?

Used C constant in Ada's modular type bound

Expression for finding an index in an array

Describing a String type in Ada

SPARK Integer overflow check

Determining why an Ada assertion failed

Ada functions, accessing stack

Ada: Gnat generates bad .o file

GPRBuild does not find gprconfig when called from the Windows Subsystem for Linux

Ada.Containers.Vectors not working with GNAT GPL 2017

Ada - Prime factorization of numbers

EXCEPTION_ACCESS_VIOLATION on a static declaration

Ada gprbuild hangs on initialization

Spec not allow body (remove in gpr file) without touching source files

Documentation tool for Ada software

Starting tasks again

Ada, raised CONSTRAINT_ERROR : bad input for 'Value: "well."

Ada: public and private part of specification separated?

Ada: Entry meaning

GNAT How to make first array ada program, no languages defined for this project

Gcc won't recognise an Ada with'd unit

gprbuild/gprinstall doesn't respect encoding

How to calculate square root of integer in Ada

Ada: Understanding variable'Size vs type'Size vs value_size vs object_size

Convert Ada type definitions in spec files to ASN.1 schema

page:6 of 11 prev page next page main page

Categories

bert-language-model

google-translate

vehicle-routing

database-partitioning

spring-security-saml2

associative-array

vector-graphics

android-linearlayout

background-process

c++-actor-framework

simple-html-dom

android-augmented-reality

idl-programming-language

network-security

wso2-integration-studio

black-box-testing

azure-notebooks

safearealayoutguide

audio-fingerprinting

zurb-foundation-5

cross-correlation

application-settings

sharepoint-clientobject

jasmine-maven-plugin

android-cursorloader

Resources