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

• d22fd34918 Merge branch 'mr/botcazou-gnat#1696' into 'master' Eric Botcazou 2025-12-11 12:35:10 +01:00
• 9c37c803f6 Fix a few illegal Ada 2012 constructs now spotted by the compiler Eric Botcazou 2025-12-11 08:21:32 +01:00
• e4df9c5869 Merge branch 'topic/491-fix-mem-leak' into 'master' Léo Creuse 2025-12-11 09:40:48 +00:00
• e4d19259f6 Instrument.C: Fix memory leak concerning Translation_Units Léo Creuse 2025-12-08 16:26:55 +01:00
• 96c7f3e2c6 Merge branch 'mr/pmderodat/gnatformat' into 'master' Pierre-Marie de Rodat 2025-12-11 09:00:37 +00:00
• 6548786773 CI: bump version of gnatformat to 20251204 Pierre-Marie de Rodat 2025-12-10 15:32:30 +01:00
• 88480446ae Merge remote branch 'origin/master' into edge automatic-merge 2025-12-09 00:54:44 +00:00
• 6c8324fe83 Merge branch 'cherry-pick-edge-to-master' into 'master' Matthieu Eyraud 2025-12-08 17:52:54 +01:00
• ad3c70a938 Revert "Enable integrated instrumentation tests for windows" Léo Creuse 2025-12-04 13:57:11 +01:00
• b4e2afd133 Enable integrated instrumentation tests for windows Matthieu Eyraud 2025-11-21 10:23:19 +01:00
• 9db0f47356 Update after the recent Libadalang.Config_Pragmas API breaking change Pierre-Marie de Rodat 2025-11-18 16:11:24 +01:00
• 71158cfdcf instr-cov/pretty_print: remove XFAIL Pierre-Marie de Rodat 2025-11-20 14:40:10 +01:00
• ead0af4f4e Merge branch 'mr/backport/release-26.1-issue-eng/das/cov/gnatcoverage_486' into '26.1' Dorian Peron 2025-12-08 13:49:43 +00:00
• 898809daa5 instr-c: Fix try-catch blocks instrumentation Dorian Peron 2025-11-17 16:48:30 +01:00
• 2a2f7e01f0 tests: Add tests for try-catch blocks Dorian Peron 2025-11-14 17:51:21 +01:00
• 9a258b713f Merge branch 'mr/pmderodat/26.1-ci' into '26.1' Pierre-Marie de Rodat 2025-12-08 11:46:36 +00:00
• 141be61be1 CI: use the right version of e3-testsuite Pierre-Marie de Rodat 2025-12-08 11:09:27 +01:00
• 0d2c28c4c5 Merge branch 'mr/pmderodat/ci' into 'master' Pierre-Marie de Rodat 2025-12-08 11:03:10 +00:00
• dd33a88daf CI: use the right version of e3-testsuite Pierre-Marie de Rodat 2025-12-08 11:09:27 +01:00
• 639bc818c8 Merge branch 'topic/revert-integrated-windows' into 'edge' Léo Creuse 2025-12-04 13:36:27 +00:00
• 0c37f4d80f Revert "Enable integrated instrumentation tests for windows" Léo Creuse 2025-12-04 13:57:11 +01:00
• 8b9259d528 Merge remote branch 'origin/master' into edge automatic-merge 2025-12-04 00:54:45 +00:00
• 9c4e0c85bd Merge branch 'mr/eyraud/backport-gnatcoverage#466' into '26.1' Matthieu Eyraud 2025-12-03 11:59:49 +01:00
• 41ba1064cf 466-deprecate-ignored: fix test for binary traces Matthieu Eyraud 2025-12-03 11:56:48 +01:00
• 29908b94b9 Merge branch 'mr/backport/release-26.1-issue-eng/das/cov/gnatcoverage_487' into '26.1' Dorian Peron 2025-12-03 10:43:02 +00:00
• ddf681cbc6 Merge branch 'eyraud/473' into 'master' Matthieu Eyraud 2025-12-03 11:09:12 +01:00
• 82e92df80b Merge branch 'eyraud/423' into 'edge' Matthieu Eyraud 2025-12-03 10:26:28 +01:00
• d2a65836b2 Integrated instrumentation: fix test deactivation Matthieu Eyraud 2025-12-03 10:25:24 +01:00
• 31045137d1 Enable integrated instrumentation tests for windows Matthieu Eyraud 2025-11-21 10:23:19 +01:00
• f72bd5f17f Merge remote branch 'origin/master' into edge automatic-merge 2025-12-03 00:54:43 +00:00
• bba430f38d instr-c: Fix nested records instrumentation Dorian Peron 2025-11-14 17:04:11 +01:00
• a52f8775f1 tests: Add tests for nested records instrumentation Dorian Peron 2025-11-14 17:03:06 +01:00
• eb6e929b82 Merge branch 'eyraud/473' into 'master' Matthieu Eyraud 2025-12-02 15:33:15 +01:00
• ec30fa7795 Introduce a new integrated_instr_utils testsuite module Matthieu Eyraud 2025-11-17 15:39:43 +01:00
• 2f43924dd1 Move the cmake tests under a dedicated directory Matthieu Eyraud 2025-11-17 16:52:37 +01:00
• 4b11331e82 Remove cross-specific integrated instrumentation tests Matthieu Eyraud 2025-11-17 16:49:02 +01:00
• 0ff2be0418 Move the templates under a dedicated directory Matthieu Eyraud 2025-11-17 15:37:00 +01:00
• dcef448aa9 Make the compilers switch user-visible Matthieu Eyraud 2025-11-17 15:34:53 +01:00
• f1df1746af Merge remote branch 'origin/master' into edge automatic-merge 2025-12-02 00:54:40 +00:00
• bdaee96800 Merge branch 'mr/eyraud/backport-gnatcoverage#466' into '26.1' Matthieu Eyraud 2025-12-01 14:05:44 +01:00
• b087df770b Merge branch 'eyraud/490' into 'master' Matthieu Eyraud 2025-12-01 12:19:50 +01:00
• 2eb0ee26e8 Streamline detection of the No_Elaboration_Code_All program unit pragma Matthieu Eyraud 2025-11-26 18:12:41 +01:00
• f5d326f5c7 Add a renaming of the --ignore-source-files switch Matthieu Eyraud 2025-11-18 11:50:35 +01:00
• 1f4fe56021 Merge branch 'mr/486-incorrect-statement-coverage-for-c-with-exceptions' into 'master' Dorian Peron 2025-12-01 09:08:22 +00:00
• 59a44be90d Merge remote branch 'origin/master' into edge automatic-merge 2025-12-01 00:54:47 +00:00
• 7a2703cebb instr-c: Fix try-catch blocks instrumentation Dorian Peron 2025-11-17 16:48:30 +01:00
• cc41798171 tests: Add tests for try-catch blocks Dorian Peron 2025-11-14 17:51:21 +01:00
• ac570b9c8b Merge branch 'mr/pmderodat/no-elab-all' into 'master' Pierre-Marie de Rodat 2025-11-28 10:17:11 +00:00
• f59276b0ec instr-cov/216-no-elab-all: beef up the testcase Pierre-Marie de Rodat 2025-11-27 15:49:48 +00:00
• 1507610f71 Merge branch 'eyraud/466' into 'master' Matthieu Eyraud 2025-11-28 09:31:20 +01:00
• 1c95584cbc Remove the --ignore-source-files switch Matthieu Eyraud 2025-11-18 11:54:06 +01:00
• a44fbe2c9f Add a renaming of the --ignore-source-files switch Matthieu Eyraud 2025-11-18 11:50:35 +01:00
• 82eca6ac7b Merge branch 'mr/pmderodat/edge-performance-improvement' into 'edge' Pierre-Marie de Rodat 2025-11-28 08:12:53 +00:00
• 94142d2bce Update after the recent Libadalang.Config_Pragmas API breaking change Pierre-Marie de Rodat 2025-11-18 16:11:24 +01:00
• 3f72f34025 Merge branch 'mr/backport/release-26.1-issue-eng/das/cov/gnatcoverage_378' into '26.1' Matthieu Eyraud 2025-11-27 10:03:53 +01:00
• 2bf09d7002 Document common instrumentation errors Matthieu Eyraud 2025-07-07 11:36:28 +02:00
• af0a7e0c47 doc: reformulate Matthieu Eyraud 2025-07-07 11:36:12 +02:00
• 26d4711a2b Merge remote branch 'origin/master' into edge automatic-merge 2025-11-27 00:54:55 +00:00
• b99efd0269 Merge branch 'revert-1663bed4' into 'master' Dorian Peron 2025-11-26 11:28:05 +00:00
• 1e224d71a3 Revert "Merge branch 'fix-templates' into 'master'" Dorian Peron 2025-11-25 16:16:58 +00:00
• 859d12ab38 Merge branch 'fix-template' into 'master' Dorian Peron 2025-11-26 10:03:59 +00:00
• b62dd4aa5b instr-ada_unit: remove leading newline from templates Dorian Peron 2025-11-25 17:16:32 +01:00
• e664e1f84d Merge branch 'mr/backport/release-26.1-issue-eng/das/cov/gnatcoverage_478' into '26.1' Léo Creuse 2025-11-25 09:59:48 +00:00
• db12437a92 setup_rts.adb: Add gnatcov_rts specific build var to gprinstall invocation Léo Creuse 2025-11-13 15:04:47 +01:00
• 7f25203f4d Merge remote branch 'origin/master' into edge automatic-merge 2025-11-25 00:54:46 +00:00
• 1663bed452 Merge branch 'fix-templates' into 'master' Dorian Peron 2025-11-24 11:32:59 +00:00
• 9b00d2432c instr-ada-unit: fix CRLF handling of templates on windows Dorian Peron 2025-11-21 11:02:23 +01:00
• 7d33fe2aac Merge branch 'mr/pmderodat/pragma-context-clauses' into 'master' Pierre-Marie de Rodat 2025-11-24 09:06:21 +00:00
• 55c3150c89 Instrument: remove Warnings/Style_Checks pragmas in Ada context clauses Pierre-Marie de Rodat 2025-11-21 21:33:29 +00:00
• 0f27c1432b Merge remote branch 'origin/master' into edge automatic-merge 2025-11-21 00:54:47 +00:00
• 815de0c540 Merge branch 'mr/pmderodat/edge' into 'edge' Pierre-Marie de Rodat 2025-11-20 14:23:51 +00:00
• 3ef078e22b Merge branch 'mr/467-leverage-templates-for-file-generation' into 'master' Dorian Peron 2025-11-20 14:03:38 +00:00
• 57c3d05785 instr-cov/pretty_print: remove XFAIL Pierre-Marie de Rodat 2025-11-20 14:40:10 +01:00
• 7b539fcb6c instr-ada-unit: Move Emit_Observability_Unit to templates-based Dorian Peron 2025-10-07 13:42:20 +02:00
• 99c4574b2e instr-ada-unit: Move Emit_Buffer_Unit to templates-based Dorian Peron 2025-10-06 16:03:20 +02:00
• dee8855693 instr-ada-unit: Move Dump_Pure_Buffer_Unit to templates-based Dorian Peron 2025-10-06 12:30:45 +02:00
• 8eb1a17282 instr-ada-unit: Move Dump_Helper unit generation to templates-based Dorian Peron 2025-10-03 15:49:22 +02:00
• 1a611cc98f Allow for template-based instrumentation Dorian Peron 2025-10-03 15:48:33 +02:00
• d2a95ebd5d fix edge errors Dorian Peron 2025-11-19 16:48:33 +01:00
• 480630590c Merge branch 'mr/pmderodat/performance-improvement' into 'master' Pierre-Marie de Rodat 2025-11-20 10:01:01 +00:00
• 44e28d743c instrument-ada_unit.adb: optimize Warnings/Style_Checks pragmas removal Pierre-Marie de Rodat 2025-11-10 15:24:48 +00:00
• e935da292a Use GNATCOLL.Mmap to read source trace files Pierre-Marie de Rodat 2025-11-07 15:48:30 +00:00
• 183990001e instrument-input_traces.adb: avoid string formatting when not needed Pierre-Marie de Rodat 2025-11-07 14:25:45 +00:00
• a970dcd04f Instrument: replace ordered maps with hashed maps for perf critical maps Pierre-Marie de Rodat 2025-11-07 10:07:14 +00:00
• 548977df41 coverage-source.adb: make SCI vectors store access rather than records Pierre-Marie de Rodat 2025-11-07 13:57:06 +00:00
• c8e3cf1179 files_table.adb: optimize no-op calls to Freeze_Files_Table Pierre-Marie de Rodat 2025-11-07 08:45:46 +00:00
• b8bdae6d88 Improve the performance of consolidating source traces Pierre-Marie de Rodat 2025-11-06 13:04:54 +00:00
• 51cbf660b7 Merge remote branch 'origin/master' into edge automatic-merge 2025-11-20 00:54:42 +00:00
• 4e684e5946 Merge branch 'mr/pmderodat/perf-script' into 'master' Pierre-Marie de Rodat 2025-11-19 15:11:56 +00:00
• 01169543e2 generate_fake_traces.py: use absolute paths for output dir for traces Pierre-Marie de Rodat 2025-11-19 15:10:50 +01:00
• 5b0c02258d Merge branch 'mr/pmderodat/morello-elf' into 'master' Pierre-Marie de Rodat 2025-11-19 10:13:52 +00:00
• d0409732da instr-cov/multiline_marker: fix for morello-elf Pierre-Marie de Rodat 2025-11-19 10:19:18 +01:00
• 8c205a1155 Merge branch 'backport-26-1-469' into '26.1' Dorian Peron 2025-11-18 15:18:56 +00:00
• 8b1f363a82 Merge remote branch 'origin/master' into edge automatic-merge 2025-11-18 00:54:43 +00:00
• 717a4ee760 Merge branch 'mr/487-c-incorrect-instrumentation-of-nested-records' into 'master' Dorian Peron 2025-11-17 16:08:58 +00:00
• 6943f03413 instr-c: Fix nested records instrumentation Dorian Peron 2025-11-14 17:04:11 +01:00
• eed2817139 tests: Add tests for nested records instrumentation Dorian Peron 2025-11-14 17:03:06 +01:00
• 5842f0798c Merge branch 'topic/478-rts_build_var' into 'master' Léo Creuse 2025-11-17 10:30:22 +00:00
• f4c675dbb1 doc: Document --manual-dump-files Dorian Peron 2025-10-14 17:59:56 +02:00
• 209c144ec0 Change manual indication files interface to use --manual-dump-files Dorian Peron 2025-10-10 13:15:27 +02:00