Geeks
damaki
/
gnatprove2xls
Convert GNATprove report files to an XLS spreadsheet
Primary Language
Python
gnatprove2xls GitHub
Markdown
Readme
0
Issues
4
Stargazers
2
Watchers
Watchers
damaki
@AdaCore
jhcloos