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

New posts in ada

In ada programming language, Is there a way to create a subtype which takes differently positioned enums of a type?

ada subtype

Dump current stack in GNAT compiled Ada?

stack stack-trace trace ada gnat

Assessment of Memory usage in GNAT 2012 for Bare Boards

memory ada gnat bare-metal

Puzzling "info" message regarding package body requirement using Ada?

linux compiler-warnings ada ada2012

GNAT GPL 2017 gnatcoll.xref disappeared?

ada gnat

Start executable from Ada program and read result

ada gnat

GPRBuild does not compile C files

c ada gnat gprbuild

How to compile spec _.ada and body .ada using gnatmake?

gnu ada

How do you write a program where you can enter a maximum of 5 characters in a string, but also less than 5(in Ada)?

string max ada ada95

Issue with freezing points in (Ada) SPARK

ada gnat

"Missing full declaration for private type.." in Ada

ada

How to use nvcc with gprbuild?

cuda ada nvcc gprbuild

Why Ada attribute 'value in this snippet doesn't raise Data_Error but Constraint_Error instead?

ada

SPARK Ada: Overlays Without Copying

ada spark-ada

Does anyone know of an Ada plugin for protocol buffers?

protocol-buffers ada

Ada.Real_Time.Clock returning different values for different versions of GNATPro Ada compiler

ada

ada split() method

string parameters split ada

Ada: Convert float to decimal

floating-point decimal ada

List of target architectures supported by GNAT?

embedded ada gnat target-platform

Spark-Ada postcondition for array total

ada formal-methods spark-ada spark-2014
Older Entries »