ada/gnatcoverage
0
0
Fork 0
mirror of https://github.com/AdaCore/gnatcoverage.git synced 2026-02-12 12:44:55 -08:00
Code Issues Packages Projects Releases Wiki Activity
Files
26.0
gnatcoverage/qualification
History
Léo Creuse ed15f1ba5e Qualification: 
Various fixes including:
- typo fixes in the TOR introduction
- Adding the proper appendix latex command
- Remove some unsupported latex roles
2025-09-09 12:02:43 +00:00
..
LRM
Generate TOR without QM
2025-09-09 12:02:43 +00:00
qualkit
Qualification:
2025-09-09 12:02:43 +00:00
__init__.py
Generate TOR without QM
2025-09-09 12:02:43 +00:00
dev.rsync
Add genbundle.py support for --git-rsync
2022-06-09 15:17:33 +00:00
genbundle.py
Qualification: Rework qualkit production to use gnatchek-qualkit helpers and style
2025-09-09 12:02:43 +00:00
Makefile.common
Qualification: Rework qualkit production to use gnatchek-qualkit helpers and style
2025-09-09 12:02:43 +00:00
qualification.md
Qualification: Rework qualkit production to use gnatchek-qualkit helpers and style
2025-09-09 12:02:43 +00:00