ada

ada

I found an error in the compilation of GNAT in the Command Line

Change gps behaviour on build target compile file

How to stop console window from closing immediately | GNAT - GPS

Packages: question about order of with statements

Where are Default Parameters evaluated in Ada?

CONSTRAINT_ERROR when using LCM function

Ada - Can't find library info for "check_positive.adb"

Wrong answer from spigot algorithm

Float to String: Problem with string length

CONSTRAINT_ERROR with "index check failed"

GPRbuild: File specific compiler switches

create a simple example of tasking error and storage error

What style checking does -gnatyo actually perform?

unknown project file: "gtkada"

Enum literal also used as parameter name

How do I turn off text overwriting when using gnatmake/GPS for ada?

Ada 202x proposal # restriction rationale?

Using GPS as external editor for AdaMULTI

How to use Assert and loop_invariants

Builder pattern in Ada

What does => mean in Ada?

Mixed entry call and accept select in Ada?

Assigning slices of an array to a new array

Ada elaboration not occurring at all

Ada suppress unreachable code or missing return

How to exclude with GPRbuild some functions?

Call Functions by String

Problem calling procedure in protected object using access type

Compile libgnat to a single LLVM bitcode file

How to automate deallocation with storage pools in Ada95

GUI in Ada programming language [closed]

Getting GPS to display my package subfolders

GNAT Metric and RTL files

Ada spark - Add --# derives clause

How do I convert an unbounded string to an integer?

Proving Floor_Log2 in Spark

Ada protected Put procedure doesn't write in the same line

Compile With Static Library Using GNAT

Child Package Hides a Package from Another Child Package

How do you implement Generic_Sorting in Ada for a vector?

subprogram declarative section order of evaluation Ada

The meaning of postcondition

Ada - How do you read an array from a single line of input?

Difference in array initialization method and storage pattern in memory

Ada: Preconditions Error during a test on an other procedure

How to assign a record within a nested aggregate in Ada

In GDB Python script, array indexing fails if frame’s language is Ada

Is it necessary to wrap shared array data in a protected type?

How does Ada access Windows 8.1/10 APIs, and can 64 bit programs for Windows be generated?

Ada GPS editor crashes when pasting in text

Defining a bag Multiset with elements and multiplicity pairs In Ada

Same Base Package in Multiple Linked GPRBuild Projects

Wrapping an imported C pointer in an Ada tagged type of the same size

Why does this Ada Memory Data Export Code not work?

Memory allocation with storage manager leads to not pure function (RM 13.1(22))

How to check for potential overflow in Ada when dealing with expression?

Unable to compile AdaControl: unknown project file: "asis"

Constant element in Ada object?

How can I assign record x to record y with a single change?

Generate functions at compile-time

page:5 of 11 prev page next page main page

Categories

jupyter-notebook

facebook-opengraph

cloudflare-workers

hybrid-runbook-worker

google-cloud-shell

terraform-provider-aws

two-factor-authentication

bootstrap-table

spring-security-oauth2

windows-subsystem-for-...

azure-data-share

loadable-component

laravel-mix-vue3

angular-material-7

google-street-view-sta...

angular-flex-layout

custom-model-binder

bytecode-manipulation

ibm-cloud-tools

jquery-dynatree

django-extensions

sap-dotnet-connector

Resources