- ecc118a merge.py: Set default value for --json-file to empty list by Paul Sokolovsky · 3 years, 4 months ago
- 7164fa0 merge.sh: cat $output_json_file by Paul Sokolovsky · 3 years, 7 months ago
- 29b28a6 merge.sh: cat $output_coverage_file by Paul Sokolovsky · 3 years, 7 months ago
- 299ea29 merge.sh: Use "set -x". by Paul Sokolovsky · 3 years, 7 months ago
- 5c2332a coverage-reporting/merge.py: Update sources key in config JSON by Paul Sokolovsky · 3 years, 7 months ago
- 83f141e coverage-reporting: Add OP-TEE SPMC coverage support by Jelle Sels · 3 years ago
- 2291baa branch_coverage.sh: ignore clear-command errors by Leonardo Sandoval · 4 years, 1 month ago
- c1aa68d Bugfix for issue 1 by Saul Romero · 4 years, 1 month ago
- 6c40b24 Bugfix for translation in merge reports by saul-romero-arm · 4 years, 2 months ago
- c803014 Bugfix in function list matching by saul-romero-arm · 4 years, 7 months ago
- 4b14afb Initial commit. by Basil Eljuse · 4 years, 10 months ago