Questions
Linux
Laravel
Mysql
Ubuntu
Git
Menu
HTML
CSS
JAVASCRIPT
SQL
PYTHON
PHP
BOOTSTRAP
JAVA
JQUERY
R
React
Kotlin
×
Linux
Laravel
Mysql
Ubuntu
Git
New posts in ada
Is it possible to define a numeric range for a field in Protocol Buffer?
Mar 06, 2023
types
protocol-buffers
ada
Ada: flexible Text_IO File_Type for redirecting output with SET_OUTPUT?
Mar 05, 2023
ada
How do i prevent this loop from reading if the input ends on a space?
Mar 05, 2023
ada
Can't prove seemingly trivial equality in Ada Spark
Mar 04, 2023
ada
SPARK instantiation error w.r.t. volatile type
Mar 04, 2023
data-structures
types
ada
spark-ada
Constrain or subtype an Unbounded_String in Ada with rules?
Mar 04, 2023
string
constraints
ada
How to get a line-numbered stack trace for a memory leak on Mac OS X?
Feb 26, 2023
xcode
memory-leaks
ada
Ada GPS IDE can't seem to find GtkAda
Feb 25, 2023
ide
path
dependencies
ada
gnat
Ada String to Enumeration Conversion
Feb 21, 2023
string
enums
ada
How to stop execution in my program
Feb 13, 2023
ada
ada2012
Ada "Compilation Unit Expected" error
Feb 11, 2023
compilation
ada
Path issues with Ada and GNATStudio
Jan 27, 2023
ada
Tasking with AVR-Ada
Jan 21, 2023
ada
avr
avr-gcc
winavr
Converting Ada closures to C callbacks (function + void*)
Jan 18, 2023
c
closures
ada
Freeing a string (allocated in Ada) in a C function using free()
Jan 09, 2023
c
string
ada
Char to String conversion Ada
Jan 03, 2023
type-conversion
ada
Strange compilation error with gnat on fixed point declaration
Jan 03, 2023
ada
fixed-point
gnat
Enum in C++ like Enum in Ada?
Jan 02, 2023
c++
ada
Ada: Array length modification when adding anew element
Dec 25, 2022
arrays
dynamic
ada
allocation
How to stop console window from closing immediately | GNAT - GPS
Dec 25, 2022
ada
gnat-gps
« Newer Entries
Older Entries »