Commits

Branch selector

 master

User selector

leocreuse

Datepicker

All time

Commit History

Commits on Oct 3, 2025

• Merge branch 'topic/nv_qualif_testing' into 'master'

  Show description for 48a6293
  leocreuse

  committed
  48a6293

  Copy full SHA for 48a6293

• .gitlab-ci.yaml: Add temporary job to test gnatcov 25

  Show description for c786fe8
  leocreuse

  committed
  c786fe8

  Copy full SHA for c786fe8

Commits on Oct 2, 2025

• Deactivate debug pragma qualif test for gnatcov 25

  Show description for 5a2c671
  leocreuse

  committed
  5a2c671

  Copy full SHA for 5a2c671

Commits on Sep 29, 2025

• Merge branch 'topic/fix-tab' into 'master'

  Show description for 7436677
  leocreuse

  committed
  7436677

  Copy full SHA for 7436677

• Fix regexp in external annotation test

  Show description for f20ce3a
  leocreuse

  committed
  f20ce3a

  Copy full SHA for f20ce3a

• gnatcov.adb: Fix indendation

  Show description for 8114a3a
  leocreuse

  committed
  8114a3a

  Copy full SHA for 8114a3a

Commits on Sep 19, 2025

• Doc: Update documentation to reflect current capabilities.

  Show description for fcf300c
  

  leocreuse

  authored and

  pmderodat

  committed
  fcf300c

  Copy full SHA for fcf300c

• SS_Annotations: Add fallback mechanism when an annotation cannot be generated

  Show description for 4f7931c
  

  leocreuse

  authored and

  pmderodat

  committed
  4f7931c

  Copy full SHA for 4f7931c

• SS_Annotations: Change default backend for C/C++ sources

  Show description for fc616c8
  

  leocreuse

  authored and

  pmderodat

  committed
  fc616c8

  Copy full SHA for fc616c8

Commits on Sep 18, 2025

• Merge branch 'topic/393-xfail' into 'master'

  Show description for 05a572e
  leocreuse

  committed
  05a572e

  Copy full SHA for 05a572e

• tests/393-casing_crash: XFail

  Show description for 495a57a
  leocreuse

  committed
  495a57a

  Copy full SHA for 495a57a

Commits on Sep 15, 2025

• Merge branch 'topic/393-path-lookup-crash' into 'master'

  Show description for ae2ea7b
  leocreuse

  committed
  ae2ea7b

  Copy full SHA for ae2ea7b

• Gracefully error out upon PATH lookup failure

  Show description for 06ea7a2
  leocreuse

  committed
  06ea7a2

  Copy full SHA for 06ea7a2

Commits on Sep 11, 2025

• Merge branch 'topic/938-revert' into 'master'

  Show description for 6535240
  leocreuse

  committed
  6535240

  Copy full SHA for 6535240

Commits on Sep 10, 2025

• Update U204-026-arch-mix artifacts following revert of !938

  leocreuse

  committed
  2ff2a2a

  Copy full SHA for 2ff2a2a

• Revert "Merge branch 'eyraud/429' into 'master'"

  Show description for aa2b8f8
  leocreuse

  committed
  aa2b8f8

  Copy full SHA for aa2b8f8

Commits on Sep 9, 2025

• Merge branch 'topic/no-qm' into 'master'

  Show description for 1b418d6
  leocreuse

  committed
  1b418d6

  Copy full SHA for 1b418d6

• Qualification:

  Show description for ed15f1b
  leocreuse

  committed
  ed15f1b

  Copy full SHA for ed15f1b

• Qualification/TOR: Fix testcase index generation

  Show description for bb40dad
  leocreuse

  committed
  bb40dad

  Copy full SHA for bb40dad

• Qualification: Rework qualkit production to use gnatchek-qualkit helpers and style

  Show description for 8129697
  leocreuse

  committed
  8129697

  Copy full SHA for 8129697

• Add small Readme to explain how to build the qualification documents

  leocreuse

  committed
  622999d

  Copy full SHA for 622999d

• Add CI job to build the qualification kit documents

  Show description for eddaaee
  leocreuse

  committed
  eddaaee

  Copy full SHA for eddaaee

• Testsuite.py: Fix detection of Ada language version

  leocreuse

  committed
  8be2b49

  Copy full SHA for 8be2b49

• Fixup consistency log generation

  leocreuse

  committed
  93b8735

  Copy full SHA for 93b8735

• Update gitignore

  leocreuse

  committed
  fcce27d

  Copy full SHA for fcce27d

• Ignore C qualification material for now

  leocreuse

  committed
  ee68636

  Copy full SHA for ee68636

• Adapt STR generation to new script location and new expectation notes

  leocreuse

  committed
  ba9eaf0

  Copy full SHA for ba9eaf0

• Add missing title in testcase description file

  leocreuse

  committed
  05e284b

  Copy full SHA for 05e284b

• genbundle: Adapt to new plans & tor generation without the QMachine

  leocreuse

  committed
  c60b856

  Copy full SHA for c60b856

• Instrument.adb: fix instrumentation of Debug pragma

  Show description for c515989
  leocreuse

  committed
  c515989

  Copy full SHA for c515989

• Add missing tc_set.rts for pure doB tests

  leocreuse

  committed
  b7a253a

  Copy full SHA for b7a253a

• Qualif: reorganize CustomBool tests

  Show description for 8cb038b
  leocreuse

  committed
  8cb038b

  Copy full SHA for 8cb038b

• Qualif: standardize temporary directory naming convention

  leocreuse

  committed
  16aac65

  Copy full SHA for 16aac65

Commits on Sep 8, 2025

• Merge branch 'topic/311-ada_rts' into 'master'

  Show description for f60d0d5
  leocreuse

  committed
  f60d0d5

  Copy full SHA for f60d0d5

• Deduplicate the gnatcov_rts.ads source

  Show description for 5547260
  leocreuse

  committed
  5547260

  Copy full SHA for 5547260

Pagination

Previous

Next