CodeSecure Support Portal Transition
CodeSecure customer support has moved to GNAT Tracker, AdaCore’s unified support portal.
If you previously accessed support through the CodeSecure support portal, your account and support history have been migrated to GNAT Tracker. The new portal provides a single place to manage support cases, access software releases, and find documentation.
What This Means for You
Your support services has moved to a unified portal, while maintaining continuity in service and support. As part of this transition:
Your existing support account is now available in GNAT Tracker. You will have received an invitation to log in, agree to terms, select your communication preferences, and access support.
Both past and active support tickets have been transferred to the new system, ensuring no loss of history or ongoing work.
There is no change to the engineers supporting you. You will continue to receive the same level of expertise and service.
The new portal provides a centralized location where you can access downloads, documentation, and manage your support cases.
You can now submit license key requests through the portal. Please refer to this documentation for detailed guidance.
For assistance with Docker images and Helm Charts, please visit this document.
Need Help Accessing Your Account?
If you are able to log in to GNAT Tracker, please open a support case by sending an email to support@adacore.com with your customer number in the subject, and our team will assist you.
Alternatively, please contact your AdaCore account manager for assistance or email us at info@adacore.com.