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.
Log in 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.
GNAT IQ
Your Questions Answered by our Documentation - Immediately
GNAT IQ fills the gap between reading or searching our extensive documentation and asking an expert for help. Built using retrieval-augmented generation, GNAT IQ fuses documentation search with Large-Language Model (LLM)-powered generative AI to return answers that include citations to our documentation - so you can follow up and gain deeper insights, as needed.
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 GNAT Tracker
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.
Quickly find answers to pressing questions using GNAT IQ, our AI-powered documentation chatbot. GNAT IQ searches all of our documentation and answers your question with citations, so you can dig deeper. Want to go further? Our experts are always ready to help.
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.
