ada

ada

Ada for I2C on the BBC Micro:Bit with the MCP23017

What is the Ada equivalent of #define in C++?

Ada path query -- this time with gnatmake

Ada: how to send and receive objects between executables on separate machines

Path issues with Ada and GNATStudio

Are Child Packages safe in ADA?

Why is Ada not trapping this specified range check?

Installing ada libraries from github -- to keep getting file not found error

How do I add new libraries to GNAT Studio?

Ada constraint error: Discriminant check failed. What does this mean?

GNAT Recompiling Libray files / how to force recompile all

Ada complaining that I've added a volatile object in a function call to generic type when not volatile

GNAT CE 2020 doesn't recognize -gnatt switch

Ada on the microbit: scrolling text example not working, no libusb library found

How to save an Access type of a Discriminant record for later use

Ada: Manipulate a private type

Handling long running, blocking functions

Can gprbuild be configured to output gnatprep preprocessed sources?

Cannot set key shortcut on GNAT Studio

Ada: Incompatible alignment warning issued when specifying an address clause

Printing arrays elements using recursion

Fibonacci series in Ada using recursion

Draw a ruler by writing a recursive program (Ada)

GNAT.Command_Line.Getopt - how to enforce all command line options were valid?

Can't prove seemingly trivial equality in Ada Spark

How to parse different parts of a string into separate variables?

Why does GNAT reject an array type with a default discriminant value?

GNAT support for ARM bare metal development boards [closed]

How to prove equivalence of two functions?

Using multidimensional array in Ada

How to delete elements by using recursion?

How do i sum the 3 highest floats and not all of the floats in the txt file?

How do I read each word and store it to a variable to use?

The use of "use". Does it do more than remove the need for prefix?

Ada error: invalid use of subtype mark in expression or call

Write a loop that prints out all the words ending with 's' [closed]

Comparing data in record with the user's input?

The compiler won’t let me Get a string

How to define "+" for a record type

scientific notation and non scientific notation values in one line

Is there an Ada function similar to GotoXY? [closed]

Ada: Using a private variable in a precondition of a public function

How does for loop work in Ada when you want to loop from a specific year to another?

How to write a population-growth table in Ada?

Ada pattern for bit fields

How to use recursion to add the product of two Integers together?

GtkAda Simple Window: pixbuf loaders or the mime database could not be found

Formal parameter "Item" is not referenced

How do you connect event listeners with GtkAda Builder?

Dining Philosopher problem Ada- Implementing ID Dispenser

Ada: Re-exporting enum type values

Error when compiling with the "GPR" dependency

Deep copy of function arguments for polymorphic types

SPARK-Ada Using GNATProve to Assume a Postcondition of a GCC Intrinsic Function

Is there a Libadalang enumeration or type that corresponds to ASIS's Flat_Element_Kind?

How and why is a GNAT.Strings.String_List use clause disallowed? How can you use System.Strings.String_List."&" with infix notation?

Create generic constrained array type in SPARK Ada

"Taking on a Challenge in SPARK Ada" - Sum ghost function in post-condition having unintended behavior

Is there a Libadalang function that works similarly to Traverse_Control and traveral in general in ASIS?

How do you specify the name of the executable in your gprfile? Can it be above the gprfile's directory?

page:3 of 11 prev page next page main page

Categories

swift-package-manager

push-notification

unity3d-2dtools

google-cloud-tasks

google-cloud-shell

provisioning-profile

android-scrollview

android-orientation

react-material-ui-caro...

jenkins-email-ext

google-cloud-dlp

azure-timeseries-insights

laravel-validation

johnsnowlabs-spark-nlp

react-native-svg

uisplitviewcontroller

custom-model-binder

html.textboxfor

volume-rendering

piracy-prevention

asp.net-apicontroller

windows-phone-8-emulator

spring-security-kerberos

virtual-printer

s#arp-architecture

entity-framework-ctp5

development-process

Resources