I was throwing something together recently, and realized none of my Pre and Post conditions were being caught.

Why is -gnata not enabled by default in new projects?

9 posts - 6 participants

Read full topic

I’m the current owner of the ada-lang.io domain.

I have a bunch of other things I’m doing and I’m not going to renew it, so I’m going to hand it off to someone who wants it. I’ve had trouble getting people to agree to this, so maybe making this public will help things. If no one takes it, the domain will lapse in August.

A few people helped with the main site and setting up this forum, but after two weeks, or the highest priority individual(s) contact me and gives an affirmative yes or no, the transfer will happen.

In priority order:

1. @JeremyGrosser
2. @onox
3. @Max
4. Whoever else who wants it

8 posts - 5 participants

Read full topic

I’m the current owner of the ada-lang.io domain.

I have a bunch of other things I’m doing and I’m not going to renew it, so I’m going to hand it off to someone who wants it. I’ve had trouble getting people to agree to this, so maybe making this public will help things. If no one takes it, the domain will lapse in August.

A few people helped with the main site and setting up this forum, but after two weeks, or the highest priority individual(s) contact me and gives an affirmative yes or no, the transfer will happen.

In priority order:

1. JeremyGrosser
2. onox
3. Max
4. Whoever else who wants it

1 post - 1 participant

Read full topic

I often find myself needing to do arrays of things to interface with C.

What’s the Ada way of doing this?

It seems like passing an array with An_Array'Address seems to work, but I’m not sure how the array’s bounds are stored and affect the layout of that array. This is particular importance since I’m looking at trying to store multiple arrays of potentially difference sizes allocated in memory sequentially.

struct Vec3 {
    float x, y, z;
};

uint32_t size = 10;
Vec3 points = new Vec3[size];
passArrayToFunc(&points[0], size);

7 posts - 5 participants

Read full topic

This is both a question about domain and specifics about why you’ve chosen to use Ada. You can also elaborate on where you’d like to use Ada, and what’s preventing you from doing so, such as a missing library.

e.g. I’ve been using Ada as an alternative to other low level languages for hobby command line tools. It’s easy to write bindings to C for what I need, while also providing a decent standard library. Building and running with Alire is also super easy.

32 posts - 11 participants

Read full topic

There’s another Crate of the Year competition!

There’s three prizes: $2,000 a piece and submissions are due Friday December 31st 2022 at 23:59 CEST.

For details, see: Announcing The 2022 Ada/SPARK Crate Of The Year… | The AdaCore Blog

2 posts - 1 participant

Read full topic