AdaCore's COVID-19 Response

Dear customer,

The spread of COVID-19 is challenging and changing the way business will be conducted over the next few months. It will not, however, affect the way you work with AdaCore. As a reminder, all our tools are lock-free and may be installed on home computers should the need arise. They can be found in the “downloads” section on GNAT Tracker. Although we have put in place a policy of working from home, the AdaCore Frontline Support engineers are available to answer your questions in the usual manner. Please do not hesitate to reach out to us should you have questions regarding the above.