
AdaCore Support Services
At AdaCore, we go beyond support - we’re your partner in success. Our industry-leading expertise and personalized approach ensure that we quickly understand your challenges and resolve roadblocks with the urgency you need. Our team includes subject matter experts not only in our products but also in key areas such as Linux, DevOps, and high-integrity software development, providing you with comprehensive technical guidance to help you achieve your goals.
Login to Support Portal
Expert Support, Engineered for Assurance
AdaCore Support Services connect you directly with the engineers who build our technology. With guaranteed response times, unlimited support requests, and personalised access through the GNAT Tracker portal, we deliver expert guidance and rapid solutions to keep your high-integrity projects on track.
We do not have support staff, we have Engineers.
Customer support tickets are handled directly by our engineers. There is no help desk, or chat box. Our ticket system offers a direct line to these technical experts.
Guaranteed Response in 2 Business Days or Less
Being an industry partner for over 30 years, we understand that programs can have deadlines or tight turnarounds for deliverables. AdaCore engineers will reach out rapidly to mitigate any interruption to your productivity.
The average response time for a ticket is within a few hours, and we guarantee a response within 2 business days.
There is no limit to the number of support tickets one can submit. From general questions about programming languages to specific questions about integrating our tools into your technology stack, our customers can take advantage of asking a wide array of questions to our subject matter experts.
Support Portal
Already a customer? Log in to GNAT Tracker to access tools and technical guidance
Not a Customer? Contact Sales
Whether you’re exploring our products for the first time or expanding your existing subscription, our sales team can help you find the right solution for your project.

Explore what you can do with GNATtracker
Select the action you wish to perform and the version of the tool that applies to your project.
Access installers for official product releases, continuous releases, wavefronts, and sustained branch releases — all directly from the portal.
Open a support case to connect with AdaCore’s engineering team. Whether you need help with toolchain setup, language usage, architecture decisions, or feature requests, our subject matter experts are here to assist.
Consult the vulnerability reports and Known Problems listings to assess potential impacts. Assurance subscribers can view and compare known issues across sustained branches using an interactive web interface, and subscribe to updates via RSS.
Browse user guides, tutorials, release notes, and new feature summaries to get the most out of each tool in your subscription.

Consulting Services
The vast majority of questions from AdaCore customers are answered via the front-line support bundled with each GNAT Pro product. However, in some cases, projects require intensive expertise for specific issues such as integrating third-party libraries into an existing codebase, creating a nightly code quality analysis process, or other specific needs. In these instances, our consulting services can help your project overcome a specific hurdle so that you can focus on the critical parts of your development process.

Product Roadmap & Documentation
Roadmap
Stay informed about AdaCore’s future direction with our product roadmap, highlighting upcoming features and enhancements.
Documentation
Explore detailed release notes for the latest AdaCore tools and updates, with insights into improvements, fixes, and new capabilities.
Offerings
Discover AdaCore’s full range of products, designed to support high-integrity software development across industries.
Speak with an Expert Today
Ready to build safer, more secure, and compliant software without delays or compromises? Our engineers are here to help you tackle your toughest challenges.



