Commits

Branch selector

 24.1

User selector

All users

Datepicker

All time

Commit History

Commits on Jan 5, 2024

• Merge branch 'mr/backport/release-24.1-issue-eng/das/cov/gnatcoverage#195' into '24.1'

  Show description for 8d701c6
  Jugst3r

  committed
  8d701c6

  Copy full SHA for 8d701c6

Commits on Jan 4, 2024

• Setup: Refine the heuristic for full runtime detection

  Show description for 3d90b18
  Jugst3r

  committed
  3d90b18

  Copy full SHA for 3d90b18

Commits on Jan 3, 2024

• Merge branch 'eyraud/release#489' into '24.1'

  Show description for 55c7109
  Jugst3r

  committed
  55c7109

  Copy full SHA for 55c7109

• pragma_ghost_predicate: Deactivate test under 24.1

  Show description for 0603abb
  Jugst3r

  committed
  0603abb

  Copy full SHA for 0603abb

Commits on Dec 22, 2023

• Merge branch 'leo/186-backport' into '24.1'

  Show description for a2f4685
  leocreuse

  committed
  a2f4685

  Copy full SHA for a2f4685

• Testsuite: fix testsuite runs with default target

  Show description for 9e20e14
  

  pmderodat

  authored and

  leocreuse

  committed
  9e20e14

  Copy full SHA for 9e20e14

• Kill Long line test for QNX

  Show description for 5cb1341
  leocreuse

  committed
  5cb1341

  Copy full SHA for 5cb1341

• testsuite.py: override default last chance handler for QNX

  Show description for 2ff05bf
  leocreuse

  committed
  2ff05bf

  Copy full SHA for 2ff05bf

• instr.py: change default dump trigger for light-taskig runtimes

  Show description for d00b97c
  leocreuse

  committed
  d00b97c

  Copy full SHA for d00b97c

• Testsuite: fix various test.opt filters

  Show description for e99448f
  leocreuse

  committed
  e99448f

  Copy full SHA for e99448f

• tutils.py: Use run-cross2 to run instrumented programs instead of gnatemu

  Show description for f9b5052
  leocreuse

  committed
  f9b5052

  Copy full SHA for f9b5052

• Merge branch 'mr/pmderodat/24.1-ghost_predicate' into '24.1'

  Show description for 232f7c5
  pmderodat

  committed
  232f7c5

  Copy full SHA for 232f7c5

• instr-cov/pragma_ghost_predicate: fix "test.opt" filename

  Show description for 7d72c49
  pmderodat

  committed
  7d72c49

  Copy full SHA for 7d72c49

• instr-cov/pragma_ghost_predicate: adjust for binary traces

  Show description for 1e6e971
  pmderodat

  committed
  1e6e971

  Copy full SHA for 1e6e971

• instrument-ada_unit.adb: minor reformatting

  Show description for 0ae6bb2
  pmderodat

  committed
  0ae6bb2

  Copy full SHA for 0ae6bb2

• Ada: do not instrument decisions in Ghost_Predicate

  Show description for 68ca0c2
  pmderodat

  committed
  68ca0c2

  Copy full SHA for 68ca0c2

• Merge branch 'mr/backport/release-24.1-issue-eng/das/cov/gnatcoverage#196' into '24.1'

  Show description for 65bf687
  leocreuse

  committed
  65bf687

  Copy full SHA for 65bf687

• instrument-c.adb: Ensure buffer dump decl is inserted for manual dump

  Show description for ba615be
  leocreuse

  committed
  ba615be

  Copy full SHA for ba615be

• Merge branch 'eyraud/backport#175' into '24.1'

  Show description for 0004f1a
  Jugst3r

  committed
  0004f1a

  Copy full SHA for 0004f1a

• compiler_wrappers-gcc.adb: fix handling of special filenames

  

  pmderodat

  authored and

  Jugst3r

  committed
  c8c9076

  Copy full SHA for c8c9076

• Instrument.C: fix handling of double quotes in filenames

  

  pmderodat

  authored and

  Jugst3r

  committed
  f314503

  Copy full SHA for f314503

• compiler_wrappers-gcc.adb: minor reformattings

  

  pmderodat

  authored and

  Jugst3r

  committed
  171d7cd

  Copy full SHA for 171d7cd

• compiler_wrappers-gcc.adb: use the Null_Unbounded_String constant

  

  pmderodat

  authored and

  Jugst3r

  committed
  211d446

  Copy full SHA for 211d446

• compiler_wrappers-gcc.adb: fix a comment typo

  

  pmderodat

  authored and

  Jugst3r

  committed
  de60bd3

  Copy full SHA for de60bd3

Commits on Dec 21, 2023

• Merge branch 'mr/backport/release-24.1-issue-eng/das/cov/gnatcoverage#133' into '24.1'

  Show description for ae9bdfe
  

  Viviane Garese

  committed
  ae9bdfe

  Copy full SHA for ae9bdfe

Commits on Dec 20, 2023

• Remove use of Ada_2012 in assertion xml test

  

  Viviane Garèse

  committed
  cd42c96

  Copy full SHA for cd42c96

• Fix assertion coverage reporting

  Show description for c6516fa
  

  Viviane Garèse

  committed
  c6516fa

  Copy full SHA for c6516fa

Commits on Dec 19, 2023

• Merge branch 'mr/pmderodat/24.1-gnatcov-setup-warnings' into '24.1'

  Show description for 5d5c804
  pmderodat

  committed
  5d5c804

  Copy full SHA for 5d5c804

• 185-setup-warnings: work around the unavailability of the "-q" switch

  pmderodat

  committed
  59d20a6

  Copy full SHA for 59d20a6

• Merge branch 'mr/pmderodat/24.1-gnatcov-setup-warnings' into '24.1'

  Show description for 5efe02b
  pmderodat

  committed
  5efe02b

  Copy full SHA for 5efe02b

• gnatcov_rts.gpr: restore support for old toolchains

  Show description for 9ef36c9
  pmderodat

  committed
  9ef36c9

  Copy full SHA for 9ef36c9

Commits on Dec 18, 2023

• Merge branch 'mr/pmderodat/24.1-for-loop-iter' into '24.1'

  Show description for a840d42
  pmderodat

  committed
  a840d42

  Copy full SHA for a840d42

• instrument-ada_unit.adb: update after recent Libadalang tree changes

  Show description for 59f7fd5
  pmderodat

  committed
  59f7fd5

  Copy full SHA for 59f7fd5

Commits on Dec 15, 2023

• Merge branch 'mr/pmderodat/24.1-gnatcov-setup-prefix' into '24.1'

  Show description for 2c42cc3
  pmderodat

  committed
  2c42cc3

  Copy full SHA for 2c42cc3

• gnatcov doc: state that GPR_PROJECT_PATH needs an update with --prefix

  Show description for 6aed187
  pmderodat

  committed
  6aed187

  Copy full SHA for 6aed187

Pagination

Previous

Next