Commit Graph

  • 28f33d706e setup_rts.adb: Add gnatcov_rts specific build var to gprinstall invocation Léo Creuse 2025-11-13 15:04:47 +01:00
  • 7dd2ecf2d8 Merge branch 'mr/backport/release-26.1-issue-eng/das/cov/gnatcoverage_468' into '26.1' Léo Creuse 2025-11-17 08:40:21 +00:00
  • e18eb42e0a instr-ada-unit: Fix observability file generation Dorian Peron 2025-10-09 10:46:10 +02:00
  • 997f0e8dc7 Merge branch 'mr/backport/release-26.1-issue-eng/das/cov/gnatcoverage_485' into '26.1' Léo Creuse 2025-11-14 15:23:28 +00:00
  • 6b2e394e7c gitlab-ci: Add condition to the build_community job Dorian Peron 2025-11-13 11:38:26 +01:00
  • bef07244c0 Merge remote branch 'origin/master' into edge automatic-merge 2025-11-14 00:54:38 +00:00
  • 812342e5ed Merge branch 'mr/485-only-run-the-build_community-ci-job-on-mrs-to-master' into 'master' Dorian Peron 2025-11-13 17:10:08 +00:00
  • 8488fcdf03 Merge branch 'mr/backport/release-26.1-issue-eng/das/cov/gnatcoverage_446' into '26.1' Dorian Peron 2025-11-13 16:29:50 +00:00
  • b6f8f6f9ca gitlab-ci: Add condition to the build_community job Dorian Peron 2025-11-13 11:38:26 +01:00
  • af53dd6fc9 Merge branch 'topic/65-stub-doc' into 'master' Léo Creuse 2025-11-13 15:17:38 +00:00
  • 9127231ac1 doc/gnattest_part.rst: Indicate that stubs can be put under version control Léo Creuse 2025-11-13 15:27:47 +01:00
  • eb5cff0541 gnatformat: run gnatformat and fix comments exceeding limit Dorian Peron 2025-09-18 10:56:42 +02:00
  • edfb996409 gnatformat: format ada-rts/, rts/, trace_adapters/, examples/ Dorian Peron 2025-08-28 15:38:07 +02:00
  • 7232da95e5 run gnatformat in CI Dorian Peron 2025-07-31 11:47:09 +02:00
  • 2867f7077e pre-commit: Add a gnatformat job Dorian Peron 2025-07-30 17:02:45 +02:00
  • 5db5d53560 Merge remote branch 'origin/master' into edge automatic-merge 2025-11-11 00:54:37 +00:00
  • 0b01937dcf Merge branch 'mr/pmderodat/multiple-dump-trigger' into 'master' Pierre-Marie de Rodat 2025-11-10 15:29:40 +00:00
  • 76cb377943 instr-cov/456-multiple-dump-triggers: fix tests for native Windows runs Pierre-Marie de Rodat 2025-11-10 14:45:57 +00:00
  • a9969b0496 Merge branch 'mr/pmderodat/gnatformat' into 'master' Pierre-Marie de Rodat 2025-11-10 15:03:29 +00:00
  • 19bad36044 Prevent gnatformat from reformatting project sources Pierre-Marie de Rodat 2025-11-10 13:18:43 +00:00
  • f9bb293a34 text_files.adb: use Subprocesses to run gnatformat Pierre-Marie de Rodat 2025-11-10 13:51:25 +00:00
  • 913c6ddc8f instr-cov/pretty_print: remove obsolete provision for GNATpp Pierre-Marie de Rodat 2025-11-10 13:17:22 +00:00
  • 4f87a823b9 Merge branch 'mr/pmderodat/gpr-prof' into 'master' Pierre-Marie de Rodat 2025-11-10 12:11:11 +00:00
  • 50d75632e0 gnatcov.gpr: add a build mode for profiling Pierre-Marie de Rodat 2025-11-07 11:28:02 +01:00
  • 56067a5cda Merge remote branch 'origin/master' into edge automatic-merge 2025-11-10 00:54:39 +00:00
  • bb2f696cf4 Merge branch 'eyraud/174' into 'master' Matthieu Eyraud 2025-11-07 17:41:40 +01:00
  • 40bed3ccd2 Fix declaration specification of augmented EF Matthieu Eyraud 2025-11-07 11:45:58 +01:00
  • 788eabc689 Merge branch 'mr/156-relocate-build-tree-optional-arg' into 'master' Dorian Peron 2025-11-07 16:24:58 +00:00
  • a32f2d8dff switches: Make --relocate-build-tree accept a directory argument Dorian Peron 2025-11-04 16:44:52 +01:00
  • 44cdb4997c Merge branch 'mr/pmderodat/gpr-cleanup' into 'master' Pierre-Marie de Rodat 2025-11-07 14:25:30 +00:00
  • 22b94c300a gnatcov.gpr: remove the obsolete "boot" build mode Pierre-Marie de Rodat 2025-11-07 11:24:16 +01:00
  • 0e320ed080 Merge branch 'fix-multiple-dump-trigger-fails' into 'master' Dorian Peron 2025-11-07 13:17:34 +00:00
  • 672282386d fix multiple-dump trigger tests on cross Dorian Peron 2025-11-05 17:24:10 +01:00
  • e1152d0f40 instr-input-traces: Make extract-base64-trace handle several traces in input Dorian Peron 2025-11-05 17:23:21 +01:00
  • 00bc3e3116 Merge branch 'mr/eyraud/gnatcov#482' into 'master' Matthieu Eyraud 2025-11-07 11:33:05 +01:00
  • d5e194d2dc Use gnatformat instead of gnatpp for pretty-printing Matthieu Eyraud 2025-11-07 11:09:10 +01:00
  • f1f5a4e816 Merge branch 'mr/pmderodat/measure-perf' into 'master' Pierre-Marie de Rodat 2025-11-07 09:51:34 +00:00
  • 0fec58ecd1 generate_fake_traces.py: do not generate more than 100 actual traces Pierre-Marie de Rodat 2025-11-06 17:13:32 +01:00
  • 64ea6b6c86 Merge branch 'topic/481-qualrun_25_fix' into 'master' Léo Creuse 2025-11-07 08:50:44 +00:00
  • ba3fb7e9da Merge remote branch 'origin/master' into edge automatic-merge 2025-11-07 00:54:42 +00:00
  • 7bccea5418 CI: Fix gnatcov version used in test_qualrun_25 job Léo Creuse 2025-11-06 16:50:10 +01:00
  • 00eb08c58a Merge branch 'garese/fix-regression' into 'master' Léo Creuse 2025-11-06 15:39:50 +00:00
  • 9a261c2ad0 Reduce directory name for funcall qualif test Viviane Garèse 2025-11-05 10:57:12 +01:00
  • e791907a2e Merge branch 'mr/pmderodat/26.1' into '26.1' Pierre-Marie de Rodat 2025-11-06 10:59:38 +00:00
  • 29f5a00dda Merge branch 'eyraud/174' into 'master' Matthieu Eyraud 2025-11-06 11:08:16 +01:00
  • c74868eb38 Instrument.Ada_Unit: fix instrumentation of expression function Matthieu Eyraud 2025-10-21 16:54:10 +02:00
  • c16a60d0bf gnatcov doc: clarify how to use --src-subdirs Pierre-Marie de Rodat 2025-09-22 11:46:30 +02:00
  • b7754db3c8 Merge remote branch 'origin/master' into edge automatic-merge 2025-11-05 00:54:31 +00:00
  • 443daa799b Merge branch 'garese/fix-regressions' into 'master' Viviane Garese 2025-11-04 17:34:52 +00:00
  • 34a1e640bb Fix windows regression for funcall qualification Viviane Garèse 2025-11-04 17:38:05 +01:00
  • d157412a65 Merge branch 'mr/456-cs0037611-gnatcoverage-global-function-to-generate-trace-file-during-execution' into 'master' Dorian Peron 2025-11-04 16:38:05 +00:00
  • fdcfa178a6 test: Add test for manual+auto dump Dorian Peron 2025-10-10 19:25:42 +02:00
  • 9f77cbcd9a Update instrumenter to handle manual+auto dump Dorian Peron 2025-10-02 12:26:36 +02:00
  • 5672c81ba9 Change --dump-trigger to accept manual + 1 auto dump Dorian Peron 2025-10-01 17:24:38 +02:00
  • 377d5090bd Merge remote branch 'origin/master' into edge automatic-merge 2025-11-04 00:54:40 +00:00
  • 5450bd98e0 Merge branch 'mr/fix_gnatcoverage_windows64_build' into '20-sustained' 20-sustained Liaiss Merzougue 2025-11-03 11:30:46 +01:00
  • 541d278849 Fix Makefile and CMakeLists.txt Liaiss Merzougue 2025-11-03 09:38:20 +00:00
  • 58176216a8 Merge branch 'mr/477-fix-listfile-for-the-project-option' into 'master' Dorian Peron 2025-11-03 09:54:00 +00:00
  • b764147a15 Merge remote branch 'origin/master' into edge automatic-merge 2025-11-03 00:54:37 +00:00
  • 2da74740b5 Implement '@LISTFILE' for --projects Dorian Peron 2025-10-31 17:19:09 +01:00
  • b56ffafe58 Merge branch 'topic/476-ccg-state_holder' into 'master' Léo Creuse 2025-10-31 16:55:39 +00:00
  • 385503d6a3 Merge branch 'mr/backport/release-26.1-issue-eng/das/cov/gnatcoverage_465' into '26.1' Léo Creuse 2025-10-31 16:55:20 +00:00
  • d84caf43c1 Deactivate funcall test with imported subprograms for CCG Léo Creuse 2025-10-30 13:07:22 +01:00
  • 84d4695db6 Update U204-026-arch-mix Léo Creuse 2025-10-30 13:03:29 +01:00
  • 8d488ce7ca Do not initialize the MCDC state holders in declare exprs with static values Léo Creuse 2025-10-30 11:53:17 +01:00
  • 12ac108cd7 Fix regexp in external annotation test Léo Creuse 2025-09-29 16:31:23 +02:00
  • 5ec9dd3e47 gnatcov.adb: Fix indendation Léo Creuse 2025-09-29 16:28:07 +02:00
  • 73ea245827 Merge branch 'cherry-pick-e4e05e0f' into '20-sustained' Liaiss Merzougue 2025-10-30 09:15:18 +01:00
  • f739e99935 Merge branch 'cherry-pick-4a433af8' into '21-sustained' Liaiss Merzougue 2025-10-30 08:52:45 +01:00
  • 37d92b2dee Merge remote branch 'origin/master' into edge automatic-merge 2025-10-29 00:54:30 +00:00
  • 7b61c221d3 Merge branch 'mr/452-w413-005-instrumentation-use-non-ada83-feature' into 'master' Dorian Peron 2025-10-28 14:45:27 +00:00
  • 45e2ab5135 instrument-ada_unit: Remove Ada_83 pragmas during instrumentation Dorian Peron 2025-10-16 19:08:17 +02:00
  • 998cbc133f Merge remote branch 'origin/master' into edge automatic-merge 2025-10-28 00:54:41 +00:00
  • 637c7a593b Merge branch 'topic/ada_2022_qualif' into 'master' Léo Creuse 2025-10-27 16:12:05 +00:00
  • c28447c810 Add Qualif test for the Target Name symbol Léo Creuse 2025-10-14 16:24:47 +02:00
  • 4f9f82492d Add Qualif tests for iterator filters Léo Creuse 2025-10-14 15:41:12 +02:00
  • 626e138517 Port raise expression tests to the Qualif testsuite Léo Creuse 2025-10-03 17:52:30 +02:00
  • f04a5637fd Move delta aggregate tests to the Qualif section. Léo Creuse 2025-10-03 16:15:14 +02:00
  • d0d1d6d9f1 Qualif: Move reduce attribute tests to the Qualif testsuite Léo Creuse 2025-10-03 15:57:26 +02:00
  • 713c08ce00 Qualif: Add test and requirements for declare expressions Léo Creuse 2025-10-03 15:34:43 +02:00
  • 915cb2da15 Testsuite.py: Allow 2022 as a qualifiable language Léo Creuse 2025-10-03 16:16:46 +02:00
  • f38a50b331 Merge branch 'garese/funcall-qualif' into 'master' Viviane Garese 2025-10-27 14:33:35 +00:00
  • c252d1f080 Add qualification tests for function and call cov Viviane Garèse 2025-10-15 17:09:33 +02:00
  • ecb21fa9cc Merge remote branch 'origin/master' into edge automatic-merge 2025-10-27 00:54:44 +00:00
  • 24e84e1b82 Merge branch 'mr/pmderodat/stdc-version' into 'master' Pierre-Marie de Rodat 2025-10-24 09:33:30 +00:00
  • 726a870101 Fix the instrumentation of mains for C23 Pierre-Marie de Rodat 2025-10-23 14:26:23 +00:00
  • 6e055aaac0 instrument-c.adb: synchronize C std version for preprocessing and Clang Pierre-Marie de Rodat 2025-10-22 13:21:35 +00:00
  • e4cddd756c Merge remote branch 'origin/master' into edge automatic-merge 2025-10-24 00:54:36 +00:00
  • 60312a651f instrument-c.adb: ignore decisions in sizeof expressions Pierre-Marie de Rodat 2025-10-23 09:57:44 +00:00
  • 3ffafa0eb3 Add debug traces for source instrumentation Pierre-Marie de Rodat 2025-10-23 07:52:20 +00:00
  • 77266c2aeb Refactor how macros are looked up Pierre-Marie de Rodat 2025-10-22 12:58:47 +00:00
  • 3c41e3e604 Merge branch 'topic/transition-gnatsas-ci-job' into 'master' Guillaume Rivier 2025-10-23 18:36:07 +09:00
  • 42963acf28 Use standard CI component for static-analysis job Guillaume Rivier 2025-10-23 10:43:04 +02:00
  • beb86ff29c Merge remote branch 'origin/master' into edge automatic-merge 2025-10-23 00:56:38 +00:00
  • 58e6220790 Merge branch 'mr/pmderodat/homonym-files' into 'master' Pierre-Marie de Rodat 2025-10-22 10:06:19 +00:00
  • 445b6ac68b Instrument: never index source files by simple name Pierre-Marie de Rodat 2025-10-20 14:06:40 +00:00
  • 927f23b3b2 Files_Table: fix warning emission for homonym files Pierre-Marie de Rodat 2025-10-20 14:26:41 +00:00
  • 27ff8a05ee Merge branch 'mr/pmderodat/measure-perf' into 'master' Pierre-Marie de Rodat 2025-10-22 08:00:39 +00:00
  • 406a409640 Add a script to generate a set of source trace files from SIDs Pierre-Marie de Rodat 2025-10-20 14:50:12 +00:00
  • 90b64e2040 SUITE.checkpointlib: new helper to parse checkpoint/SID files Pierre-Marie de Rodat 2025-10-20 14:49:08 +00:00