/usr/share/doc/adacontrol/support.txt is in adacontrol-doc 1.19r10-2.
This file is owned by root:root, with mode 0o644.
The actual contents of the file can be viewed below.
1 2 3 4 5 6 7 8 9 10 11 12 13 14 15 16 17 18 19 20 21 22 23 24 25 26 27 28 29 30 31 32 33 34 35 36 37 38 39 40 41 42 43 44 45 46 | Adalog provides commercial support for AdaControl. Support includes
the following services:
* Help with installation procedures.
* Explanations regarding the use of the tool, and help for translating
coding standards into AdaControl rules.
* Priority handling of tickets reported through our BT system.
* Correction of problems encountered in the use of AdaControl.
Pre-releases versions of AdaControl are provided for each corrected
problem.
* Access to beta-versions before they are released.
* Keeping in sync customer's own custom rules with the latest version
of AdaControl.
* Reduced rate for on-demand development of custom rules.
* Priority consideration of enhancement requests.
Satisfying enhancement requests is not part of the support
contract; however, Adalog is constantly improving AdaControl, and
suggestions originating from supported customers are given a high
priority in our todo list.
Adalog cannot correct problems whose origin is due to compiler bugs or
defects in the implementation of ASIS (contact your compiler provider
for support on these problems). However, Adalog will do its best
effort to help reporting such problems to the compiler vendor, and to
find workarounds until the problem is fixed.
In addition, Adalog can provide various services:
- Custom improvements to AdaControl, including application-specific
or company-specific rules;
- consulting services for defining coding standards;
- consulting services in all areas related to Ada, real-time,
compilation, etc. See http://www.adalog.fr for details.
For pricing information about these services, please contact
info@adalog.fr
|