/gnatprove2xls

Convert GNATprove report files to an XLS spreadsheet

Primary LanguagePython

Stargazers