skip to main content

Products
Services
Industries
Company
Resources
Community
Support

Login to GNAT Tracker

Forgot your password?

GT Login Request Pricing

Resources

Overview Case Studies Books Papers Articles Videos AdaCore Blog

24 Release Notes

24 Release notes for GNAT Pro, GNATDAS, GNATSAS, libadalang and SPARK.

24 Release Notes live docs »

Last Updated: 1/5/2024
Posted on: 1/5/2024

Learn Ada Today

Visit our interactive platform designed to teach the Ada and SPARK languages. »

Request Pricing

Help us understand your development needs and request pricing or an evaluation »

Products
GNAT Pro
GNAT Pro for Rust
GNAT Pro for C/C++
GNAT Dynamic Analysis Suite
GNAT Static Analysis Suite
SPARK Pro
RecordFlux
Pricing
Terms and Conditions
Languages

Services
Certification & Qualification
Mentorship
Training
Consulting

Industries
Avionics
ATM
Space
Rail
Automotive
Defense
Security
Medical

Company
About AdaCore
Press Releases
Events
Executive Team
Careers
Our Customers
Partners
Contact

Resources
Overview
Case Studies
Books
Papers
Articles
Videos
AdaCore Blog
Learn.adacore.com

Community
Getting Started
About Ada
About SPARK
Contact

Academia
Overview
Projects
Universities
GAP Registration
GAP Login

Support
GNAT Tracker
Documentation
Dev Log
Cybersecurity Center

Other AdaCore Sites
The AdaCore Blog
Learn.adacore.com
Make with Ada

Twitter LinkedIn YouTube GitHub RSS

Copyright © 2024 AdaCore. All rights reserved. Legal | Privacy Policy | Cookie Policy | Code of Conduct