Commit Graph

  • 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