AdaCore is releasing the Ada Horizon logo in the public domain:

There’s also a small website to make your own version: ada-logo-editor | Static website that provides easy customization of the Ada horizon logo

20 posts - 9 participants

Read full topic

Hello here,

As announced on the blog today, for each person completing one of the Advent of Code challenges using the Ada programming language, AdaCore will donate $10 to the Ada Developers Academy, up to a total of $5,000. And for those willing to go an extra mile, AdaCore will donate $20 if the solution is implemented in SPARK with at least proof of absence of run-time errors (a.k.a. Silver level).

To submit your solutions, reply to this post with a line of the following format:
[<pseudonym>][<day>][<Ada or SPARK>]<link to solution source code>

For instance, if I solve the 3rd day problem using Ada:
[Fabien-Chouteau][3][Ada] https://github.com/Fabien-Chouteau/advent-of-ada/…

And the 5th day using SPARK:
[Fabien-Chouteau][5][SPARK] https://github.com/Fabien-Choutea/advent-of-ada/…

Happy hacking!

178 posts - 25 participants

Read full topic

Using Alire 1.2.1 if you update your index (alr index --update-all) you will have access to the new gnatdoc implementation based on Libadalang.

This is the opportunity for me to start on project I have in mind since a long time, a website that provides a collection of documentation from all the Alire crates (a.k.a. docs.ada.dev).

I would like to gather feedback here, what this website should look like and do in your opinion?
Or even, is it a good idea to make such website as opposed to push documentation to existing platforms like readthedocs.org?

16 posts - 8 participants

Read full topic

• Feasibility Study - Reproducible Builds at AdaCore (Paris or Toulouse, France)
• Support for differential coverage analysis in GNATcoverage (Paris or Grenoble, France)
• Language Server for RecordFlux (Paris or Toulouse, France - or Dresden, Germany)
• WebAssembly for Ada/SPARK programming languages (Paris, France)
• Support for fixed-point data types in QGen (Paris, France or Tallinn, Estonia)
• Measuring and optimizing the performance of code generated by QGen (Paris, France or Tallinn, Estonia)
• AUTOSAR support for QGen (Tallinn, Estonia)
• Port a cross OS to QEMU for automatic toolchain setup (Toulouse, France)
• Improve user experience in GNATprove flow analysis output (Toulouse, France)
• Extend a debugging solution for cross platforms (Paris, France)
• Formal verification of device drivers on the Raspberry Pi Pico using SPARK (Paris, France)
• Development of enhancements to the VS Code integration plugin (Bristol, UK)
• Revamp of the GNAT Studio’s testing framework (Paris, France)
• Management System for a customer contracts review process (Paris, France)
• Experiment with alternative Infer analyses and the Ada frontend (Paris, France)

1 post - 1 participant

Read full topic