GNAT Tracker 4.0 User Guide

This document will provide instructions and information on how to use GNATtracker 4.0 - the latest version of AdaCore’s customer interface for downloading the GNAT Pro technology, communicating with our expert support team, and managing your customer account.

Connecting to GNAT Tracker

To connect to the portal, please use the following URL: https://support.adacore.com/csm.

Your user name on this portal is the email address that you have communicated to AdaCore when opening your account - the same address as you used in the previous version of the portal, if you were an existing customer.

The first time you connect to the portal, you will have to set your password, this is done by clicking on the Forgot Password ? link.

The GNAT Tracker main page

Once you’re connected to the portal, you have access to the main page.

If your address is associated with more than one account with AdaCore: you can select the account you want to work with in the top right corner.

The landing page displays:

A brief description of the subscriptions for your account
Tiles for quick access to portal activities
Additional information such as the AdaCore blog, online courses, upcoming events and the latest news from AdaCore.

Creating cases

Cases are the way to contact AdaCore support.

If you belong to more than one account: when creating a case, make sure you have the right account selected by refreshing the current page, especially if you have multiple tabs or browser pages opened on GT4.

To create a case, click on the tile “Create A New Case” on the main page. Alternatively, you can also use the menu at the top right of any page. There are different types of cases, depending on your request:

Technical request: any request related to a technical issue (e.g. bug report, enhancement request)

Account management request: request related to account information (e.g. ask for updates to account contacts, questions on product access, subscription renewal). These are available if you are listed as an administrator for your AdaCore account.

_images/case_types.png — The Case type selection

First, identify the software for which you have the request
- Component: drop down list populated from your subscription information
- Platform: drop down list populated from your subscription information
- Version: free field to indicate the version
- Parent case number: you can link your new case to an existing one when submitting it through your GT account. This helps us assign the right expert and ensures seamless service by providing us with valuable background information.
Optionally, you can provide some additional information:
- Priority: 1 - Low, 2 - Moderate, 3 - High
- Category: Bug, Enhancement Request, Query (default)
You then describe your request
- Subject: a quick description of the request
- Message: a more detailed description of the request
- Add Attachments: upload files on the case
You can also add other information
- Copy to: add the list of recipients who should be added to this case’s “Watch List”, which is the list of recipients who will get an email copy of all messages exchanged on this case.
- Customer use: fill this with your internal reference identifier, if any.
When done, click on Submit.

_images/case_creation_form.png — The Case creation form

It is also possible to create a case through email. For that, send an email to support@adacore.com with your account number #xxxx in the subject.

Viewing cases

To view the list of cases, click on “Cases”, or use the menu at the top right of the page. Four lists are available:

Open: cases currently being handled by AdaCore.
Action needed: cases for which AdaCore is waiting for more information from you.
Closed: the list of closed cases.
All: all the cases for the selected account.

_images/cases_list.png — The Cases Lists

Viewing cases from multiple accounts

If you are associated with multiple accounts, the case view will display two left panel boxes; The upper one is for the currently selected account, the account number is displayed in the header. Below, the #All box will allow you to access and update all the cases across the accounts you are associated with. In this #All box an ACT column has been added to ease your filtering and navigation within the cases.

_images/cases_lists_multiple_accounts.png — The Cases Lists with multiple accounts

Viewing an individual case

From the cases list, you can access the detailed information for a case by clicking on the corresponding line.

You then have access to the case information: number, priority, category, account, state
You also have access to the history of discussions and you can respond there by adding comments.

_images/individual_case.png — Viewing one Case

In addition, you can manage the case’s watch list (list of people who receive a copy of all messages exchanged on the case) by clicking on the “Watch List” tab. From there, you can add or remove users from the watch list.

_images/case_watch_list.png — Managing the case’s watch list.

Note

To reduce the number of email notifications, GNATtracker does not send authors a copy of the messages they send.

Similarly, you can access the case’s attachments through the “Attachments” tab. This tab will give you access to all attachments for the current case and also allows you to add new attachments.

_images/case_attachments.png — Managing the case’s attachments.

Downloads

Four kinds of downloads are accessible from the tiles of the main page, or from the menu at the top right of the page:

Release downloads: the official AdaCore releases.
Continuous release downloads: intermediate releases available throughout the year.
Sustained downloads (for accounts with an Assurance subscription)
Wavefronts: packages delivered only to your account, in response to a particular case.

From the Release download page:

Select the platform and the release you want to download
Expand the component you want to download, and click on the file.

Release Documentation

You can access the documentation for the official AdaCore releases by selecting “Documentation” from the top right menu.

From this page, select the Tool or Product in the upper tabs, then select the version in the dropdown menu. The following information is displayed:

Product Documentation
Release Notes
New Features
Known Problems

Additional features available for Assurance subscriptions

Download Sustained Releases

In addition to the “Release Download”, you can access Sustained Releases by selecting “Sustained Download” from the top right menu. Here is a screenshot of what this download page looks like:

_images/sustain_release_selection.png — Download Sustained Releases

To download the Sustained Release of your choice:

First, select the corresponding branch,
then the product,
and the version.

If after having selected a Sustained Branch, you see the warning shown in the screenshot below:

_images/sustain_release_warning.png — A warning which can occur when trying to download a sustained release

It simply means that there has not been any sustained release performed on that branch yet. Just download the latest non-sustained Release, by going to the “Release download” page.

Sustained Release documentation

The sustained purpose is to fix critical issues, so the release note is the same for the corresponding .2 release.

In addition, a README.txt is available within each component download.

Documentation is also available in your product’s installation, inside the <install_dir>/share/doc folder, where <install_dir> is the location where you installed your product.

The Known Problems entries for each sustained release are available in the “Sustained Known Problems” page, which is accessible from the top right menu. We will dive into this page’s features in the next subsection.

Use the Sustained Known Problems features

You can access Sustained Known Problems by selecting “Sustained Known Problems” from the top right menu. The screenshot below shows what this page looks like, with some highlights of the various controls available when using this page.

_images/sustain_release_kp_fixed_in.png — The Sustained Known Problems page

If you would like to get the full list know Known Problems for a given Sustained Release, do the following:

Select the Available Sustained branch using the dropdown menu.
On the left-hand side, select the version you would like the list of Known Problems for;

If you are evaluating the option of going from one Sustained Release to a more recent version of the Sustained Release, you can also use this page to provide you with the list of Known Problems present in the older version and fixed in the more recent version. To do so:

Select the Available Sustained branch using the dropdown menu.
On the left-hand side, select the version of the older Sustained Release;
In the Show KP fixed in field, select the version of the more recent Sustained Release;

For instance, if you are considering migrating from Sustained Release 7.4.2 to Sustained Release 7.4.6, you would select release 7.4.2 on the left hand side, and then select release 7.4.6 in the Show KP fixed in field. The list obtained would include all known problems affecting release 7.4.2, which are now fixed in release 7.4.6.

In addition, there is a search bar enabling you to filter the results, alongside preset tags.
If needed, you can download these results as a .csv file by clicking on the CSV button.

As an Assurance customer, you also have access to a special packaging of GNATcheck called “GNATkp” (GNAT Known Problem detector).

You can download the executable by clicking the “Download GNATkp” button.

Please refer to this documentation to start using our Known Problem Detector: https://docs.adacore.com/live/wave/lkql/html/gnatcheck_rm/gnatcheck_rm/using_gnatcheck.html#using-gnatcheck-as-a-known-problem-detector

Subscription information

By clicking on the subscription information on the main page, you have access to detailed account information:

The list of subscriptions, with expiration dates.
The list of people who can connect to the portal for your account.

Users with the “Administrator” permission also have the ability to manage the list of users, which includes adding new users, modifying the information and permissions of existing users, and deleting users.

To create new users, clicking on the “New User” button at the bottom of the “Account Information” page (shown above). This will take you to a form you can use to create new users:

_images/add_new_user.png — New User creation form

Once filled out, click on “Create” for the new user to be created. The new user can then use the Forgot Password ? link as described above to connect to the portal.

To edit the profile of an existing user, start from the “Account Information” page again, and this time, click on the user itself. This will take you to the following page:

_images/edit_or_delete_user.png — Edit or delete a user

Once the needed changes are made, simply click on “Save”.

The procedure to delete a an inactive user is the same as the procedure for editing a user, except that you need to click on the “Remove User” button instead.