Commit Graph

Select branches

Hide Pull Requests

17-sustained

17.0

17.1

17.2

18-sustained

18.0

18.1

18.2

19-sustained

19.0

19.1

19.2

20-sustained

20.0

20.1

20.2

21-sustained

21.0

21.1

21.2

22-sustained

22.0

22.1

22.2

23-sustained

23.0

23.1

23.2

24-sustained

24.0

24.1

24.2

25-sustained

25.0

25.1

25.2

26.0

26.1

26.2

M419-017-dwarf-support

edge

github/pull/7

gnatcoverage-1.2.1

gnatcoverage-1.2.2

gnatcoverage-1.3.1

gnatcoverage-1.4-sustained

gnatcoverage-1.4.0

gnatcoverage-1.4.1

gnatcoverage-1.4.2

import-qualkit-3367-T326-029

lts-18

lts-19

lts-20

lts-21

lts-22

master

topic/doc-testcov

topic/instrumentation

topic/null-proc-expr-func

#13

#7

v23.0.0

v24.0.0

v26.0.0

Mono Color

• 26f0aa60a0 Merge branch 'mr/pmderodat/gprmode' into 'master' Pierre-Marie de Rodat 2026-01-20 08:35:23 +00:00
• 06850ad4f9 Merge remote branch 'origin/master' into edge automatic-merge 2026-01-20 00:54:39 +00:00
• b0ad55a965 CI: move GPR mode activation to a job that is always run Pierre-Marie de Rodat 2026-01-19 16:21:29 +00:00
• 879dcac556 Merge branch 'eyraud/fix-doc' into 'master' Matthieu Eyraud 2026-01-19 18:02:49 +01:00
• c5b67f8a8f Update documentation for SPARK support Matthieu Eyraud 2026-01-16 10:48:44 +01:00
• f276ceaa77 Merge branch 'mr/pmderodat/gprmode' into 'master' Pierre-Marie de Rodat 2026-01-19 16:32:41 +00:00
• 02a984ea3d CI: enable the testsuite GPR mode in the block instr. job Pierre-Marie de Rodat 2026-01-19 15:14:13 +00:00
• 2da7894a67 Testsuite: minor --help message update Pierre-Marie de Rodat 2026-01-19 14:45:57 +00:00
• c3c2a5f685 Fix tests failing in GPR mode with binary traces Pierre-Marie de Rodat 2026-01-19 13:53:10 +00:00
• 94a55fb494 SCOV.internals.driver: do not consider .h files as units of interest Pierre-Marie de Rodat 2026-01-19 14:33:18 +00:00
• c0e528eabc Testsuite: add missing ATC related temp dirs to .gitignore Pierre-Marie de Rodat 2026-01-19 14:32:57 +00:00
• 333a238d59 Merge remote branch 'origin/master' into edge automatic-merge 2026-01-19 00:54:45 +00:00
• 77aaa3eb39 Merge branch 'eyraud/475' into 'master' Matthieu Eyraud 2026-01-16 15:16:40 +01:00
• 5d2f2c78a2 Document dependency to ldd on Windows Matthieu Eyraud 2026-01-16 14:55:30 +01:00
• 21f679b06f Merge branch 'mr/eyraud/add-config' into 'master' Matthieu Eyraud 2026-01-16 10:12:52 +01:00
• 498154bfd2 Add als configuration file Matthieu Eyraud 2026-01-16 09:31:34 +01:00
• a8517f98b0 Merge remote branch 'origin/master' into edge automatic-merge 2026-01-16 00:54:34 +00:00
• 9586039461 Merge branch 'eyraud/488' into 'master' Matthieu Eyraud 2026-01-15 19:06:47 +01:00
• c244b3d5b4 Migrate ghost code tests from the gnatcoverage-extra repository Matthieu Eyraud 2025-12-01 15:27:22 +01:00
• 4872df32e5 Fix typo Matthieu Eyraud 2025-11-28 09:53:17 +01:00
• facdb93cbe Add a switch enabling the instrumentation of ghost code Matthieu Eyraud 2025-11-24 18:06:01 +01:00
• 72422b908b Do not use the volatile aspect for witness results Matthieu Eyraud 2025-11-24 15:48:07 +01:00
• 5f04a6ad83 Remove code for instrumentation of EF with a controlling return type Matthieu Eyraud 2025-11-24 14:22:53 +01:00
• c7ae74c1f4 Merge branch 'mr/pmderodat/ada-charset' into 'master' Pierre-Marie de Rodat 2026-01-15 15:34:19 +00:00
• 7c5d83be3c Instrument: fix the handling of non-Latin-1 Ada sources Pierre-Marie de Rodat 2026-01-05 14:42:56 +00:00
• e8aaccabdc Factor iconv handle creation out of Files_Tables Pierre-Marie de Rodat 2026-01-05 14:45:46 +00:00
• 786150ae3a Merge branch 'mr/pmderodat/default_inital_condition' into 'master' Pierre-Marie de Rodat 2026-01-15 14:21:25 +00:00
• 383f86337a Ada 2022: add support for the Default_Initial_Condition aspect Pierre-Marie de Rodat 2025-12-11 11:36:03 +00:00
• 6acb5206bb sc_obligations.adb: minor refactoring Pierre-Marie de Rodat 2025-12-11 09:50:45 +00:00
• 938980c504 sc_obligations.ads: minor comment reformatting Pierre-Marie de Rodat 2025-12-11 09:45:03 +00:00
• 6e3a7f96c4 Merge branch 'eyraud/gnatquilt#15' into 'master' Matthieu Eyraud 2026-01-15 11:05:22 +01:00
• c39a7d890b HTML report: adapt the code to package changes Matthieu Eyraud 2025-12-12 12:30:40 +01:00
• 576b29bfe2 Merge remote branch 'origin/master' into edge automatic-merge 2026-01-15 00:54:47 +00:00
• 6f934e9be0 Merge branch 'mr/489-atc-does-not-instrument-decisions' into 'master' Viviane Garese 2026-01-14 13:50:21 +00:00
• 603b469c63 Fix ATC when used with stmt Viviane Garèse 2025-12-17 17:14:23 +01:00
• d8214c08eb Merge remote branch 'origin/master' into edge automatic-merge 2026-01-13 00:55:08 +00:00
• 179943110f Merge branch 'ref/heads/mr/pmderodat/146-ada-prep-cons' into 'master' Pierre-Marie de Rodat 2026-01-12 14:18:55 +00:00
• ff381b57a7 Add a test for consolidation with varying SCOs due to Ada/preprocessor Pierre-Marie de Rodat 2026-01-12 13:34:04 +00:00
• 43d9a518f6 Merge remote branch 'origin/master' into edge automatic-merge 2026-01-12 00:54:56 +00:00
• 9c27405fe8 Merge branch 'mr/pmderodat/ckpt-static-decision' into 'master' Pierre-Marie de Rodat 2026-01-09 14:26:58 +00:00
• 11976f100a coverage-source.adb: fix in-memory/checkpoint SCO tables indexes mixups Pierre-Marie de Rodat 2026-01-09 10:23:01 +00:00
• 77d23959cd coverage-source.adb: fix coding style issues Pierre-Marie de Rodat 2026-01-09 10:17:41 +00:00
• 8ad1ccba22 sc_obligations.adb: minor trace message fix Pierre-Marie de Rodat 2026-01-09 09:11:50 +00:00
• f1cae904a1 Merge remote branch 'origin/master' into edge automatic-merge 2026-01-07 00:54:41 +00:00
• 58ce86d8e7 Merge branch 'mr/pmderodat/morello' into 'master' Pierre-Marie de Rodat 2026-01-06 10:18:07 +00:00
• 7e8c7610fd integrated_instrumentation: kill tests on morello-elf Pierre-Marie de Rodat 2026-01-06 09:37:37 +00:00
• 74898f5f21 Merge remote branch 'origin/master' into edge automatic-merge 2026-01-06 00:54:49 +00:00
• cabe3708b3 Merge branch 'mr/pmderodat/edge' into 'edge' Pierre-Marie de Rodat 2026-01-05 15:04:11 +00:00
• 50558f71a3 Update test baselines after recent GPR2 error messages improvements Pierre-Marie de Rodat 2026-01-05 14:22:29 +00:00
• cfa268a82e Merge branch 'mr/pmderodat/generic-formal-default-expr' into 'master' Pierre-Marie de Rodat 2026-01-05 13:39:25 +00:00
• 0e461b43ca Fix MCDC support for decisions in default expressions in generic formals Pierre-Marie de Rodat 2025-12-18 11:17:55 +00:00
• 59b50a405f Merge branch 'mr/pmderodat/gnatx' into 'master' Pierre-Marie de Rodat 2026-01-05 09:19:18 +00:00
• 9735950e3d Check support for the First_Controlling_Parameter aspect (-gnatX) Pierre-Marie de Rodat 2025-12-16 16:14:54 +00:00
• da6ddda9a3 Merge remote branch 'origin/master' into edge automatic-merge 2026-01-05 00:54:35 +00:00
• 81334fa989 Merge branch 'mr/fofanov/fix-typos' into 'master' Vasiliy Fofanov 2026-01-02 09:21:14 +00:00
• dccb672a15 Fix typos. Use US English spelling. Vasiliy Fofanov 2025-12-22 16:15:54 +01:00
• 37bf22ee48 Merge remote branch 'origin/master' into edge automatic-merge 2025-12-22 00:54:45 +00:00
• 37280af847 Merge branch 'mr/pmderodat/gnatx-string-interpolation' into 'master' Pierre-Marie de Rodat 2025-12-19 16:19:16 +00:00
• 41f05a7e25 gnatX/string_interpolation: kill on light-tasking runtimes Pierre-Marie de Rodat 2025-12-19 15:39:58 +00:00
• 67454a5852 Merge remote branch 'origin/master' into edge automatic-merge 2025-12-19 00:54:41 +00:00
• 31a486aad8 Merge branch 'mr/pmderodat/ci' into 'master' Pierre-Marie de Rodat 2025-12-18 14:15:14 +00:00
• 96a0d78cc0 Merge branch 'mr/pmderodat/ci-resilience' into 'edge' Pierre-Marie de Rodat 2025-12-18 14:14:59 +00:00
• 1b00e7f22f CI: minor reformatting Pierre-Marie de Rodat 2025-12-18 12:31:32 +01:00
• e2f6fbebea Merge branch 'mr/pmderodat/gnatx-string-interpolation' into 'master' Pierre-Marie de Rodat 2025-12-18 13:44:54 +00:00
• 0c6fe5a582 CI: make testing resilient to missing gnatcov builds Pierre-Marie de Rodat 2025-12-18 14:17:58 +01:00
• 34ce15ee4c gnatX/string_interpolation: kill on light runtimes Pierre-Marie de Rodat 2025-12-18 11:39:02 +00:00
• c2b6eb1238 Merge branch 'eyraud/473' into 'master' Matthieu Eyraud 2025-12-18 12:39:53 +01:00
• 9ea2d621e1 Do not try to compute CPU name for CCG Matthieu Eyraud 2025-12-15 16:25:04 +01:00
• 9eafa6cec7 Kill integrated instrumentation tests on qnx Matthieu Eyraud 2025-12-15 15:40:29 +01:00
• efd180e749 Merge branch 'mr/pmderodat/edge' into 'edge' Pierre-Marie de Rodat 2025-12-18 10:49:02 +00:00
• 9e18ceec3e Merge branch 'mr/pmderodat/ci' into 'master' Pierre-Marie de Rodat 2025-12-18 10:48:43 +00:00
• adc69c937b Merge branch 'mr/backport/release-26.1-issue-eng/das/cov/gnatcoverage_491' into '26.1' 26.1 Léo Creuse 2025-12-18 10:23:44 +00:00
• ef3ae58f4e traces_elf.ads: minor comment update Pierre-Marie de Rodat 2025-12-18 11:15:54 +01:00
• b580ff72a6 CI: do not install gnatcov deps for gnatformat Pierre-Marie de Rodat 2025-12-18 11:05:48 +01:00
• bac3ad4b79 instrument-ada_unit.adb: update after a breaking LAL API change Pierre-Marie de Rodat 2025-12-18 08:21:51 +00:00
• a35ef91d40 Merge remote branch 'origin/master' into edge automatic-merge 2025-12-18 00:54:56 +00:00
• c24ac6cc91 Merge branch 'mr/pmderodat/gnatx-string-interpolation' into 'master' Pierre-Marie de Rodat 2025-12-17 10:02:30 +00:00
• 330ef3af49 Check support for string interpolation (-gnatX) Pierre-Marie de Rodat 2025-12-12 10:20:12 +00:00
• e46826cea7 Instrument.C: Fix memory leak concerning Translation_Units Léo Creuse 2025-12-08 16:26:55 +01:00
• db856c9d6d Merge remote branch 'origin/master' into edge automatic-merge 2025-12-16 00:54:38 +00:00
• ef05cf7108 Merge branch 'mr/eyraud/backport-gnatcoverage#466' into '26.1' Matthieu Eyraud 2025-12-15 12:06:38 +01:00
• 19f1f47017 Kill test on arm-elf Matthieu Eyraud 2025-12-15 11:58:07 +01:00
• f526cd106d Merge branch 'mr/pmderodat/gnatx' into 'master' Pierre-Marie de Rodat 2025-12-15 09:42:46 +00:00
• f555660665 Check support for local declarations without block (-gnatX) Pierre-Marie de Rodat 2025-12-12 09:26:42 +00:00
• aeddd51f9b Check support for the fixed lower bounds for arrays (-gnatX) Pierre-Marie de Rodat 2025-12-12 09:26:17 +00:00
• b7a8c1bb5d Merge remote branch 'origin/master' into edge automatic-merge 2025-12-15 00:56:49 +00:00
• fb30c4099a Merge branch 'eyraud/473' into 'master' Matthieu Eyraud 2025-12-12 15:45:13 +01:00
• ec21bf1829 Integrated instrumentation tests: fix support for cross target Matthieu Eyraud 2025-12-05 17:24:50 +01:00
• 8c026eb691 integrated instrumentation: kill test under leon3-elf Matthieu Eyraud 2025-12-05 12:02:11 +01:00
• 6c90b2c8e7 Merge remote branch 'origin/master' into edge automatic-merge 2025-12-12 00:54:46 +00:00
• a70bb9bcba Merge branch 'mr/pmderodat/mcdc-contracts' into 'master' Pierre-Marie de Rodat 2025-12-11 15:46:54 +00:00
• 9ff8c46fc4 instrument-ada_unit.adb: fix handling of MCDC in contracts Pierre-Marie de Rodat 2025-12-09 13:27:22 +00:00
• f72b02c6c7 Overcome the limitation for MCDC in default exprs. with decl exprs. Pierre-Marie de Rodat 2025-12-10 09:23:53 +00:00
• 7515a20419 Do not create MCDC state vars for non-instrumented decisions Pierre-Marie de Rodat 2025-12-10 15:13:04 +00:00
• 6600ce4270 SCOV.instr: allow tests to override the Ada version Pierre-Marie de Rodat 2025-12-10 13:39:53 +00:00
• 7a85f45cb7 .gitignore: add missing entries for ATC(C) temp dirs Pierre-Marie de Rodat 2025-12-09 13:52:14 +00:00
• 052735c9ca Merge branch 'mr/pmderodat/gnatformat' into 'master' Pierre-Marie de Rodat 2025-12-11 13:31:43 +00:00
• d81cb352a5 instrument-c.ad[bs]: fix formatting issues Pierre-Marie de Rodat 2025-12-11 11:46:46 +00:00
• a754bf66ee sc_obligations.adb: fix (re)formatting issues Pierre-Marie de Rodat 2025-12-11 11:53:50 +00:00
• 197724aade instrument-ada_unit.adb: fix (re)formatting issues Pierre-Marie de Rodat 2025-12-11 11:52:50 +00:00