search

chipsalliance / Cores-VeeR-EL2

VeeR EL2 Core
https://chipsalliance.github.io/Cores-VeeR-EL2/html/
Apache License 2.0
246 stars 74 forks source link

Add .dat files to artifacts #172

Closed RRozak closed 4 months ago

RRozak commented 4 months ago

It adds .dat files to artifacts, which I needed to generate source files with coverage information.

github-actions[bot] commented 4 months ago

Links to coverage and verification reports for this PR (#172) are available at https://chipsalliance.github.io/Cores-VeeR-EL2/

github-actions[bot] commented 4 months ago

Links to coverage and verification reports for this PR (#172) are available at https://chipsalliance.github.io/Cores-VeeR-EL2/

RRozak commented 4 months ago

I am closing this, because source files with the coverage annotations can be generated from info files by genhtml tool.