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

• 50efc7cf03 Merge branch 'mr/pmderodat/pragma-no-body-closure' into 'master' master Pierre-Marie de Rodat 2026-02-12 09:38:19 +00:00
• 2286b389c7 instrument-projects.adb: fix handling of No_Body units as closure roots Pierre-Marie de Rodat 2026-02-12 08:19:24 +00:00
• 4b77d53bca Merge remote branch 'origin/master' into edge edge automatic-merge 2026-02-12 00:54:55 +00:00
• 3c43e4980e Merge branch 'mr/pmderodat/524-ud' into 'master' Pierre-Marie de Rodat 2026-02-11 17:11:53 +00:00
• 12542a4ca4 Qualif/C/stmt/Core/08_Statements/05_Iteration/03_For: fix undef behavior Pierre-Marie de Rodat 2026-02-11 16:27:19 +00:00
• bbd674ae70 Merge branch 'mr/pmderodat/scos-annotations' into 'master' Pierre-Marie de Rodat 2026-02-11 13:33:01 +00:00
• b37901aedd sc_obligations.adb: make fingerprints insensitive to line number changes Pierre-Marie de Rodat 2026-02-02 15:19:00 +00:00
• b0f54878c0 Merge branch 'mr/pmderodat/relocate-build-tree' into 'master' Pierre-Marie de Rodat 2026-02-11 10:06:44 +00:00
• f6ab80ce3c Merge branch 'mr/pmderodat/26.2-501' into '26.2' 26.2 Pierre-Marie de Rodat 2026-02-10 13:45:50 +00:00
• 438667b0b5 coverage-source.adb: fix in-memory/checkpoint SCO tables indexes mixups Pierre-Marie de Rodat 2026-01-09 10:23:01 +00:00
• 1595858b63 coverage-source.adb: fix coding style issues Pierre-Marie de Rodat 2026-01-09 10:17:41 +00:00
• 1ca0875c8a sc_obligations.adb: minor trace message fix Pierre-Marie de Rodat 2026-01-09 09:11:50 +00:00
• 12fb9b0a74 Merge remote branch 'origin/master' into edge automatic-merge 2026-02-09 00:54:39 +00:00
• 7804f3fad4 Make it possible to pass --relocate-build-tree without an explicit dir Pierre-Marie de Rodat 2026-02-06 13:23:29 +00:00
• a610fd3de4 command_line.ads: harmonize option value patterns Pierre-Marie de Rodat 2026-02-06 12:59:30 +00:00
• cf768acb84 Merge branch 'next-ctors' into 'master' Dorian Peron 2026-02-06 12:29:49 +00:00
• c94b420243 doc: Update C++ funcall limitations Dorian Peron 2026-02-03 15:56:00 +01:00
• 52f85570ad test(cpp-funcall): Add tests for ctors call instrumentation Dorian Peron 2026-01-30 12:17:31 +01:00
• bcf284c0c2 instr-c(funcall): Avoid instrumenting unsupported CallInit VarDecls with auto Dorian Peron 2026-01-30 14:19:01 +01:00
• 15cfd65e2f instr-c(funcall): Instrument constructors Dorian Peron 2026-01-15 12:18:53 +01:00
• 8f7d5516ce Merge branch 'mr/pmderodat/unstabilize' into 'master' Pierre-Marie de Rodat 2026-02-03 15:37:24 +00:00
• 0f3c9ebbdd Merge remote branch 'origin/master' into edge automatic-merge 2026-02-03 00:54:42 +00:00
• 1ef4cc57e5 Ada 2022: add support for contracts in access-to-subp types Pierre-Marie de Rodat 2025-12-09 13:51:45 +00:00
• 397e01fad5 Check support for expression defaults for generic formal functions Pierre-Marie de Rodat 2025-12-12 10:00:35 +00:00
• b02afa6c0f Check support for deep delta aggregates Pierre-Marie de Rodat 2026-01-26 10:29:23 +00:00
• 34e630e4ca XFAIL misbehaving tests pending GCC adaptations Léo Creuse 2026-01-27 11:21:36 +01:00
• fd733c0d06 Ada 2022: add support for contracts in generic formal subprograms Pierre-Marie de Rodat 2026-01-13 13:10:25 +00:00
• ad81422640 Update test baselines after recent GPR2 error messages improvements Pierre-Marie de Rodat 2026-01-05 14:22:29 +00:00
• 880d059086 CI: make testing resilient to missing gnatcov builds Pierre-Marie de Rodat 2025-12-18 14:17:58 +01:00
• 2856081fab instrument-ada_unit.adb: update after a breaking LAL API change Pierre-Marie de Rodat 2025-12-18 08:21:51 +00:00
• d455e99927 Merge branch 'mr/pmderodat/edge-access-to-subp-pre-post' into 'edge' Pierre-Marie de Rodat 2026-02-02 09:03:06 +00:00
• 05fd8b3b1e Ada 2022: add support for contracts in access-to-subp types Pierre-Marie de Rodat 2025-12-09 13:51:45 +00:00
• ccfac7bfa3 Merge branch 'mr/pmderodat/edge-formal-function-default' into 'edge' Pierre-Marie de Rodat 2026-02-02 08:23:38 +00:00
• 080266a0ae Check support for expression defaults for generic formal functions Pierre-Marie de Rodat 2025-12-12 10:00:35 +00:00
• 2f883efe4d Merge branch 'mr/pmderodat/edge-deep-delta-aggregates' into 'edge' Pierre-Marie de Rodat 2026-02-02 08:17:31 +00:00
• 652de8613c Check support for deep delta aggregates Pierre-Marie de Rodat 2026-01-26 10:29:23 +00:00
• 6766c145a8 Merge branch 'mr/pmderodat/windows' into 'master' Pierre-Marie de Rodat 2026-02-02 08:16:22 +00:00
• 51a9459d75 716-static-decision-merging-in-ckpt: shorten name for Windows Pierre-Marie de Rodat 2026-01-29 11:37:39 +01:00
• 2723052e82 Merge remote branch 'origin/master' into edge automatic-merge 2026-02-02 00:54:36 +00:00
• 79db146b8a Merge branch 'fix-user-defined-literal-test' into 'master' Dorian Peron 2026-01-30 10:08:39 +00:00
• 05de8234d6 test(cpp-funcall): Use __SIZE_TYPE__ compiler macro Dorian Peron 2026-01-29 11:27:31 +01:00
• eaafb2325f Merge remote branch 'origin/master' into edge automatic-merge 2026-01-30 00:54:51 +00:00
• 9ca9010cdb Merge branch 'cherry-pick-f4037497' into '24-sustained' 24-sustained Liaiss Merzougue 2026-01-29 18:38:19 +01:00
• 300b75e131 Fix syntax for comments in "*.opt" files Liaiss Merzougue 2026-01-28 16:16:02 +01:00
• 371668518e Merge branch 'mr/pmderodat/windows-host' into 'master' Pierre-Marie de Rodat 2026-01-29 13:15:40 +00:00
• 2134b3e2de integrated_instrumentation: correct to kill test on non-Linux hosts Pierre-Marie de Rodat 2026-01-29 12:23:19 +01:00
• 8f6f80dc16 Merge remote branch 'origin/master' into edge automatic-merge 2026-01-29 00:54:42 +00:00
• e2326d4695 Merge branch 'mr/pmderodat/instr-wrong-objdir' into 'master' Pierre-Marie de Rodat 2026-01-28 10:01:05 +00:00
• b21b6565f5 Instrument: fix output dir. for instr sources of multi-project units Pierre-Marie de Rodat 2026-01-23 14:33:56 +00:00
• 5fdad26e12 instrument-projects.adb: minor refactoring Pierre-Marie de Rodat 2026-01-23 13:45:11 +00:00
• 09d50d90b4 Merge branch 'mr/user-defined-literals' into 'master' Dorian Peron 2026-01-28 09:23:48 +00:00
• ab01038c26 test(cpp-funcall): test user defined literals Dorian Peron 2026-01-14 00:39:12 +01:00
• 6fc9bd0352 instr-c(funcall): Instrument user defined literals Dorian Peron 2026-01-14 00:37:30 +01:00
• 07445c13b5 pre-commit: move clang config to .clang-format file Dorian Peron 2026-01-27 17:47:38 +01:00
• 0a78e6e24c shorten test dir "c_cpp_function_call_cov" to "c_cpp_funcall" Dorian Peron 2026-01-27 17:51:34 +01:00
• 23a8bcdf72 Merge branch 'topic/aarch64-gcc15-xfail' into 'edge' Léo Creuse 2026-01-27 14:21:54 +00:00
• 746e5d02b4 XFAIL misbehaving tests pending GCC adaptations Léo Creuse 2026-01-27 11:21:36 +01:00
• 5619b85892 Merge remote branch 'origin/master' into edge automatic-merge 2026-01-27 00:54:38 +00:00
• bad8e5cc7c Merge branch 'mr/pmderodat/gprmode' into 'master' Pierre-Marie de Rodat 2026-01-26 11:12:47 +00:00
• 42672aa0ee Testsuite: do not enable GPR mode automatically with source traces Pierre-Marie de Rodat 2026-01-19 14:48:11 +00:00
• 10fa75236d Merge remote branch 'origin/master' into edge automatic-merge 2026-01-26 00:54:41 +00:00
• bb2bc7abc6 Merge branch 'mr/pmderodat/edge-subp-formal-pre-post' into 'edge' Pierre-Marie de Rodat 2026-01-23 16:25:27 +00:00
• e70d901e62 Ada 2022: add support for contracts in generic formal subprograms Pierre-Marie de Rodat 2026-01-13 13:10:25 +00:00
• af2b639425 Merge branch 'topic/504-qualif-backports' into 'master' Léo Creuse 2026-01-23 09:21:41 +00:00
• 79834bd7d8 genbundle.py: Fix formatting Léo Creuse 2025-12-12 14:33:54 +01:00
• 58825a6eb8 Merge branch 'topic/9-qualified-interface' into 'qualkit-4502' Léo Creuse 2025-11-10 14:04:56 +00:00
• da9f805732 Merge branch 'topic/4502-qa-edits-1' into 'qualkit-4502' Vasiliy Fofanov 2025-10-10 15:03:28 +00:00
• 435d0d95fa Merge branch 'topic/4205-various-fixes' into 'qualkit-4502' Léo Creuse 2025-09-29 15:18:43 +00:00
• e0a7d6fe36 Merge branch 'topic/fix_pdf_id' into 'qualkit-4502' Léo Creuse 2025-09-25 21:36:17 +00:00
• 3d9c9903e3 Merge branch 'topic/add_pdf_id' into 'qualkit-4502' Léo Creuse 2025-09-25 20:06:43 +00:00
• e6ce76fe46 Merge branch 'topic/4502_adjust_plans' into 'qualkit-4502' Vasiliy Fofanov 2025-09-23 18:41:06 +00:00
• 9c35d2310b Merge remote branch 'origin/master' into edge automatic-merge 2026-01-23 00:54:53 +00:00
• e85cd3cd8c Merge branch 'mr/pmderodat/funcall-ada2012' into 'master' Pierre-Marie de Rodat 2026-01-22 15:10:41 +00:00
• 970d966752 instr-cov/514-funcall-pre2012: kill with old toolchains Pierre-Marie de Rodat 2026-01-22 14:26:16 +00:00
• cb839a260d Merge branch 'mr/pmderodat/ci' into 'master' Pierre-Marie de Rodat 2026-01-22 09:58:09 +00:00
• b2c9a0161f CI: remove the temporary qualrun testing for gnatcov 25 Pierre-Marie de Rodat 2026-01-22 10:12:01 +01:00
• 2994b85ff1 Merge remote branch 'origin/master' into edge automatic-merge 2026-01-22 00:54:35 +00:00
• ec184feca7 Merge branch 'mr/pmderodat/ada-closure' into 'master' Pierre-Marie de Rodat 2026-01-21 20:44:00 +00:00
• 5e65869bfd Instrument the same set of Ada sources that GPRbuild will compile Pierre-Marie de Rodat 2026-01-14 14:16:14 +00:00
• c36f80c86f SUITE.tutils: fix gprfor for projects with Ada+C mains Pierre-Marie de Rodat 2026-01-20 10:20:46 +00:00
• 62e62d9ba3 320-varying-scos/varying_meta: robustify Pierre-Marie de Rodat 2026-01-19 16:21:34 +00:00
• 733410e509 Testsuite: fix projects so that all units are compiled Pierre-Marie de Rodat 2026-01-16 15:51:00 +00:00
• 309b7d9d9b Merge branch 'mr/pmderodat/default-ada-2022' into 'master' Pierre-Marie de Rodat 2026-01-21 15:19:17 +00:00
• f64ff22e82 Adapt the testcases for runs with --cargs:Ada=-gnat2022 Pierre-Marie de Rodat 2026-01-21 11:12:01 +00:00
• 398b32497c Instrument: harmonize the sloc of SCO stmt in expression functions Pierre-Marie de Rodat 2026-01-21 10:37:11 +00:00
• 71b5a7962e instrument-ada_unit.adb: minor style fixes Pierre-Marie de Rodat 2026-01-21 09:46:07 +00:00
• 852d058a97 Merge branch 'mr/pmderodat/default-ada-95' into 'master' Pierre-Marie de Rodat 2026-01-21 10:49:38 +00:00
• 79fcb786d8 Adapt the non-Qualif tests for runs with --cargs:Ada=-gnat95 Pierre-Marie de Rodat 2026-01-21 09:30:01 +00:00
• b222c521fc Qualif tests: adapt for runs with --cargs:Ada=-gnat95 Pierre-Marie de Rodat 2026-01-21 09:27:35 +00:00
• 157c5f53d9 Instrument: make Ada dump helpers compatible with Ada 95 Pierre-Marie de Rodat 2026-01-21 09:20:46 +00:00
• c509882717 Merge remote branch 'origin/master' into edge automatic-merge 2026-01-21 00:55:01 +00:00
• 3956da38d1 Merge branch 'mr/pmderodat/funcall-ada2022' into 'master' Pierre-Marie de Rodat 2026-01-20 15:45:02 +00:00
• 25ed848962 Fix function call instrumentation for pre-2012 Ada codebases Pierre-Marie de Rodat 2026-01-20 12:03:26 +00:00
• fba7355982 Documentation: minor fixes in the GExpr support section Pierre-Marie de Rodat 2026-01-20 12:06:57 +00:00
• dff2ad468e instrument-ada_unit.adb: remove unused code Pierre-Marie de Rodat 2026-01-20 11:24:24 +00:00
• e1fdee3a8a instrument-ada_unit.adb: style fixes Pierre-Marie de Rodat 2026-01-20 11:13:06 +00:00
• c9beb54dc6 Merge branch 'mr/pmderodat/gexpr' into 'master' Pierre-Marie de Rodat 2026-01-20 14:27:03 +00:00
• 0158b4ab53 instrument-ada_unit.adb: minor warning message reformatting Pierre-Marie de Rodat 2026-01-20 12:07:16 +00:00
• 22e6a1267c Merge branch 'mr/pmderodat/label-null' into 'master' Pierre-Marie de Rodat 2026-01-20 14:13:33 +00:00
• 082bcfb7b5 Remove useless null statements Pierre-Marie de Rodat 2026-01-20 14:32:11 +01:00