ada

ada

Using gprof on a multitask ADA source code, I get the analysis of only the main task

How to get around forbidden discriminants defaults for tagged records in Ada?

Passing string constant or literal to GCC built-ins in Ada

Translating C flexible array members with length fields to Ada

Ada/SPARK: should I be using GNATprove? Where can I find it?

How do I handle uninitialized data in a dynamic predicate in Ada?

Duplication of code in main program solution

Changing a certain index in a string to a preferred character

signals with GtkAda

Function and procedure subprogram

How to handle leap years in Ada

Ada - Days of the week

Ada - Subprogram determining the biggest number

How To Copy data from String access to Ada.String

Ada.Strings.Fixed.Index unexpected results in loop

Ada: private child packages and visibility of elements from parent packages

Ada - Boolean Arrays

how to implement a non-blocking server in Ada?

How to access a parameter of a procedure in Pre/Post contracts of a procedure/funtion that has the the procedure as access parameter?

How is the `'Old` attribute in a **Post** contract handled for access types that might got deallocated inside the function or procedure?

First two counters are never increased in dice rolling application

Calculate the angles of a triangle in Ada

How do I cast an enum to an Integer to handle overflow/wraparound?

Skipping IF statement?

STM32F4 UART half word addressing

How to add the an arrary to an array of arrays in Ada? [closed]

How to add index to array in Ada, like append for array in Java?

What is a tagged type in Ada?

Prevent Ada 202x Use in GNAT

Can a variable passed with 'address attribute to a procedure be modified?

Idiomatic Way to Pass an Empty Enumeration to a Generic in Ada

Gpr file, do not include all directory in source

Convention for handling foreign binary data

Is it possible to have a file wildcard in gprbuild project files?

AdaCore's GNAT Community Edition on Apple BigSur on Intel Chips

Ada: What is the purpose of `limited` in `limited interface`

Why my loop invariant might not be preserved by any iteration?

Ada record with constant access-to-object-of-parent-type

Late evaluation of function argument to formatted_string

Gnat 2020 non-preemptive tasking windows

How to add runtime library in Ada multi 7.2.4

Usage example of pragma Task_Dispatching_Policy(Non_Preemptive_FIFO_Within_Priorities);

Ada GNATprove insints that 1 is not >= 0

Is possible in Ada a discontinuous subtype definition?

how do i stop the pre-condition from failing in the below example in ADA Spark

naive unit checking via strong typing and operator overloading

How do I enforce that a type hold only be a fixed set of non-contiguous values?

Proving Select Sort algorithm using SPARK

How can i assign a new value to a function parameter in an ada postcondition

Constraint Error running Heapify SiftDown

Can SPARK be used to prove that Quicksort actually sorts?

No compiler for language "Ada" when trying to compile for STM32

Is Ada.Containers.Functional_Maps usable in Ada2012?

How to prove this invariant?

How do I install GtkAda?

Using File_Type as a record component?

Catch Precondition Assert_Failure

Ada SPARK convert string to integer

Can I define my own binary operators in Ada?

New 2020 GNAT Ada installation failing to build an old 2015 project

page:2 of 11 prev page next page main page

Categories

databricks-autoloader

frequency-analysis

bean-validation

azure-cosmosdb-gremlinapi

typescript-generics

parallel-testing

google-closure-compiler

android-notifications

user-permissions

flutter-localizations

jenkins-email-ext

simple-html-dom

android-app-indexing

android-augmented-reality

docker-maven-plugin

app-engine-flexible

domino-designer-eclipse

semantic-markup

java-stored-procedures

uiinterfaceorientation

android-intentservice

property-injection

jquery-mobile-dialog

codeigniter-form-helper

platform-independent

silverlight-toolkit

Resources