Pierre-Marie de Rodat 12542a4ca4 Qualif/C/stmt/Core/08_Statements/05_Iteration/03_For: fix undef behavior

2026-02-11 16:27:19 +00:00

..

Ada

XFAIL misbehaving tests pending GCC adaptations

2026-02-02 21:07:16 +00:00

Appendix

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

2025-09-09 12:02:43 +00:00

C

Qualif/C/stmt/Core/08_Statements/05_Iteration/03_For: fix undef behavior

2026-02-11 16:27:19 +00:00

Common

Fix tests failing in GPR mode with binary traces

2026-01-19 14:40:55 +00:00

Environment

Merge branch 'topic/9-qualified-interface' into 'qualkit-4502'

2026-01-23 08:24:12 +00:00

Index

Generate TOR without QM

2025-09-09 12:02:43 +00:00

Introduction

Merge branch 'topic/4502-qa-edits-1' into 'qualkit-4502'

2026-01-23 08:24:12 +00:00

Traceability_to_LRM

gnatcov TOR: minor improvements to the LRM traceability intro text

2016-10-24 16:08:57 +02:00

content.rst

Merge branch 'topic/4502-qa-edits-1' into 'qualkit-4502'

2026-01-23 08:24:12 +00:00