Questions tagged as 'ada'

I am using Emacs to program in ada using the GNAT compiler . And it throws me the following error when trying to compile: -*- mode: compilation; default-directory: "c:/Users/Sergio/Favorites/Desktop/Universidad/Ada/" -*- Compilation start...

I am developing two methods of exponentiating two numbers in ada and applying formal verification with spark and I can not solve these overflow errors, asking my teacher has told me that maybe I'm missing an invariant, but I can not determine wh...

I am programming a task in Ada and when executing I get this error. Does anyone know what this error means?    raised TASKING_ERROR: s-tasren.adb: 446 The code is this: with pkg_procedure;use pkg_procedure; with Ada.Integer_Text_...