Logo Questions Linux Laravel Mysql Ubuntu Git Menu
HTML CSS JAVASCRIPT SQL PYTHON PHP BOOTSTRAP JAVA JQUERY R React Kotlin
 

New posts in ada

How to install gnatcheck on ubuntu

ada ubuntu-20.04

Ada Environment Variable Path Issue

gcc environment-variables ada

Interfacing Ada enumerations and C enums

enums ada type-conversion

How to pass access to a constrained string to a subprogram in Ada

pointers ada

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

ada

How to manage clients connections using GNAT.sockets?

ada

Constructor in Ada

java ada

Access child package declarations

packaging ada

Float to String: Problem with string length

ada

GNAT CE 2020 doesn't recognize -gnatt switch

ada gnat

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

ada

How do I modify my post condition to achieve Gold standard of Spark proof - Ada SPARK

computer-science ada formal-methods spark-ada

Are Ada Tasks supported on RISC-V FE310-G002?

ada riscv

What's the name of the executable to run GNAT GPS in linux?

ada gnat gnat-gps

Compile Ada program for Linux using Windows

windows linux ada

Why don't prefixed calls work on access types?

ada

Ada Slicing with Strings

ada gnat

Ada: How to enumerate a type that consists of integers and other types?

types ada

How to write Recursive GCD program in Ada?

ada

Can the gnat compiler find unused specification procedures/functions/variables?

compilation compiler-warnings ada dead-code unreachable-code
Older Entries »