by Quentin Ochem – Sep 26, 2024. At AdaCore, we’re in the business of supporting people who develop high-integrity software, in particular for embedded systems. In terms of programming languages, this means supporting the most commonly found candidates, which in 2024 include C/C++, Ada/SPARK, and…
by Olivier Henley – Sep 19, 2024. As part of the AdaCore GNAT Academic Program, Capstones offers senior higher education students the opportunity to take on challenging and exciting engineering projects within a high-integrity technology and culture framework. As we begin a new academic year, with…
by Fabien Chouteau – Sep 12, 2024. In April 2024 a streamer named Tsoding developed a video game from start to finish in Ada in 20 days. He seemed to have enjoyed the experience, to the point where he says that Ada will be the next trendy programming language for game development. Ignoring the…
Enjoy the videos and music you love, upload original content, and share it all with friends, family, and the world on YouTube.
We just finished the Ada Monthly Meetup and here are the topics that were discussed:
- The recording of the presentations given during the Ada Developers Workshop 1 with their slides are now available
- Stemming from (@jgrivera67) J. German Rivera’s talk about HiRTOS and him working the Renode hardware emulation tool, @ohenley did a nice article about getting started with Renode and Ada programs! Check it out!
- And actually, since the last stable version of Renode, v1.15.2, released 3 weeks ago, there is a built-in demo/example of HiRTOS!
- @simonjwright created a PR for SVD2Ada for it to support dimensioned register ports!
- @Max has been working on creating an Ada toolchain for the XTENSA architecture. It is now officially part of Alire! Check the forum post for more info.
- A reminder that the Ada Crate of the Year Award is still taking place!
- We had a discussion on whether there should be a proposal for an Ada Devroom for next year’s FOSDEM.
- There will be a forum thread about this topic “shortly”.
- With the “demise” of SIGAda, the proposal of the creation of the Ada Users Society is moving along, which was approved in the General Assembly (GA) of Ada-Europe this past month of June.
- The next GA of Ada-Europe will be taking place in a couple of weeks, the next 26th of September. Remember to ask for the meetup link if you would like to join!
- We had a couple of discussions during the meetup and afterwards regarding some doubts and timeline/availability of the new Ada Users Society.
- A complete working Alire manifest has been created for the WolfSSL library 2.
- Though it is not in Alire’s index! It still needs some work, but you can already start using it!
- @stcarrez and @Max have been working on Ada-Enet, an embedded network stack written in Ada.
- It is now available in Alire and it has a few STM32 drivers already!
- @Max also has an ethernet stack written in Ada, which has also been added ot Alire
- @simonjwright updated us on the state (and struggles) of the Ada support on the newly released RP 2350 CPU 1.
- Progress is good and small examples are already running on the chip. Interrupts are still a problem to be solved :slight_smile:
- @AJ-Ianozi reminded us about the latest Yet Another Static Site (Generator) and its features, which recently had its 3.1.0 release
That is all that was discussed today!
by Olivier Henley – Sep 05, 2024. I recently watched the talks from the 28th Ada-Europe International Conference on Reliable Software Technologies (AEiC 2024), which was held in Barcelona last June. One talk that stood out was "HiRTOS: a Multicore RTOS Written in SPARK Ada" by J. German Rivera. In…
Version 2.7.0 of Ada Utility Library (https://github.com/stcarrez/ada-util) brings the following improvements: - Used spdx-tool (https://gitlab.com/stcarrez/spdx-tool) to use SPDX-License-Identifier
by Fabien Chouteau – Jun 19, 2024. We're happy to announce the fourth edition of our programming awards, The Ada/SPARK Crate of the Year Award! The Alire package manager is a game changer for Ada/SPARK, so we want to use this competition to reward the people contributing to the ecosystem.
The competition has three prizes of $2,000 each!
Contributing to the Ada open source ecosystem through the Alire package manager for Ada/SPARK
Just came across a donation site for the Alire project.
> Contributing to the Ada open source ecosystem through the Alire package manager for Ada/SPARK
Online participation in the Ada Developers Workshop will be free of charge! It is still a requirement to register. As a reminder, the Workshop's programe has been available for a while, so go ahead an take a look! 🤩
GNAT FSF 14 is now available in a special index branch. Use this command to add the index branch:
alr index "--add=git+https://github.com/alire-project/alire-index#gnat-fsf-14.1" --name=gnat_fsf_14 --before=community
And then alr index --del=gnat_fsf_14
to remove it once your done playing with it.
If you have some time to give it a try and give me some feedback that would be great 👍️
#gcc #alire
by Michael Frank – May 20, 2024. Many of our customers ask if we have a "Coding Standard" that we can provide for writing code in Ada or SPARK. The answer has typically been: "We provide GNATcheck, which you can use to create your own." While this provides a lot of flexibility and control to the…
The list of presentations looks great!
AdaCore is the leading provider of commercial software solutions for Ada, C and C++ — helping developers build safe and secure software that matters.
- New implementation-defined aspects and pragmas:
Local_Restrictions
, which specifies that a particular subprogram does not violate one or more local restrictions, nor can it call a subprogram that is not subject to the same requirements.User_Aspect_Definition
andUser_Aspect
, which provide a mechanism for avoiding textual duplication if some set of aspect specifications is needed in multiple places.
- New implementation-defined aspects and pragmas for verification of the SPARK 2014 subset of Ada:
Always_Terminates
, which provides a condition for a subprogram to necessarily complete (either return normally or raise an exception).Ghost_Predicate
, which introduces a subtype predicate that can reference Ghost entities.Exceptional_Cases
, which lists exceptions that might be propagated by the subprogram with side effects in the context of its precondition and associates them with a specific postcondition.Side_Effects
, which indicates that a function should be handled like a procedure with respect to parameter modes,Global
contract, exceptional contract and termination: it may have output parameters, write global variables, raise exceptions and not terminate.
- The new attributes and contracts have been applied to the relevant parts of the Ada runtime library, which has been subsequently proven to be correct with SPARK 2014.
- Support for the LoongArch architecture.
- Support for vxWorks 7 Cert RTP has been removed.
- Additional hardening improvements. For more information reltated to hardening options, refer to the GCC Instrumentation Options and the GNAT Reference Manual, Security and Hardening Features.
- Improve style checking for redundant parentheses with
-gnatyz
- New switch
-gnateH
to force reverse Bit_Order threshold to 64. - Experimental features:
- Storage Model: this feature proposes to redesign the concepts of Storage Pools into a more efficient model allowing higher performances and easier integration with low footprint embedded run-times.
- String Interpolation: allows for easier string formatting. Further clean up and improvements to the GNAT code.
GNAT Studio continuous release for the community (20240506). Use the standalone .AppImage file for Linux distributions: just run chmod -x GNAT_Studio-x86_64.AppImage to be able to run it.
YouTube Video
Click to view this content.
#nvidia #gpu #cuda #ada
Who doesn’t want to use a programming language that is designed to be reliable, straightforward to learn and also happens to be certified for everything from avionics to rockets and ICBMs? De…
Amen! But as a believer in Ada, I'd say those who code in other languages need God's help more. ✨
Not only this startup speaks highly of Ada. Here's another example of successful application of this technology in space: SPARK/Ada for high integrity spacecraft software.
I'm new to Lemmy. Appreciate the heads-up, thank you! 👍
I would like to see Ada grow. Its clean syntax, rich expressive capabilities, and early error detection by the compiler due to strict typing create a very pleasant experience during development. This year, the language got a new standard. Recently, a package manager and a community index were created. There's an extension/LSP for vscode, etc. Along with great educational materials on learn.adacore.com, it's easy to pick up and start using this language.
PS I created a community on p.d two days ago: https://programming.dev/c/ada
- Community site: ada-lang.io
- Learning Ada: learn.adacore.com