this post was submitted on 08 May 2024
9 points (100.0% liked)

Ada

85 readers
1 users here now

A community about the programming language, Ada.

About Ada Language

Ada is a modern, high-level programming language designed for developing reliable, efficient, and maintainable software systems. It was developed by the U.S. Department of Defense and is widely used in safety-critical and mission-critical applications. This community is dedicated to all things related to Ada, including discussions, tutorials, news, and projects.

Rules:

  1. Be respectful: Treat fellow community members with kindness and respect. Personal attacks, harassment, or any form of discrimination will not be tolerated.
  2. Stay on topic: Keep discussions focused on Ada language-related topics. Off-topic posts may be removed.
  3. No spam or self-promotion: Avoid excessive self-promotion or spamming of external links. Share relevant content and engage in meaningful discussions.
  4. Provide helpful and constructive feedback: When offering feedback on code or projects, be constructive and supportive. Help others learn and grow.
  5. Follow the instance wide rules.

founded 1 year ago
MODERATORS
ada
9
GCC 14 release brings Ada/GNAT improvements (gcc.gnu.org)
submitted 6 months ago by ada to c/ada
0 comments fedilink hide all child comments
 
  • 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 and User_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.
no comments (yet)
sorted by: hot top controversial new old
there doesn't seem to be anything here