We cannot mix projects accross invocations with --incremental,
make sure this is captured in the doc.
For Q801-005
Change-Id: Iefe3f0203f5f67290a89bbbb8d97143986aa177d
This plugin stopped working some time ago due to major changes in
GNATprove output. Remove support for it as it will be re-implemented as
part of P701-003.
Change-Id: I7c0b6399243a865c57211b0f2c16573bf5ed63a9
TN: P701-003
TN: N805-021
Add a [ --dry-run | -n ] switch to execute GNAThub in dry-run mode.
Dry-run mode skips DB manipulation (initialisation, population, update),
environment setup (project directory hierarchy, ...) and Python script
execution (when using --exec). It also prevents the execution of
plugins.
Change-Id: Ibe160ffc739d7027f9c56940832656d0e8a126a0
TN: P303-043
The documentation is now global and its sources moved to the top-level
directory. Same goes for the know-problems-* and features-* files that
are now shared between all submodules.
This commit needs to be push in synchronization with change I0a342aea8d
in the ANOD specification repository.
Change-Id: If350f109ae6a40ae3e632bfa8491145aaab8a52f
TN: OA28-039
