diff options
author | Michalis Pardalos <m.pardalos@gmail.com> | 2021-04-18 12:52:49 +0100 |
---|---|---|
committer | Michalis Pardalos <m.pardalos@gmail.com> | 2021-04-18 12:56:01 +0100 |
commit | 4a8cfae2e3920af8aa42223635818e822d04417a (patch) | |
tree | 2f72d5199921bd0400eb6179e3cd27e28ff2a6bc /.gitattributes | |
parent | 21e8b6ab2dcf632b6ab1ee59d25c6a15b3bd0027 (diff) | |
download | vericert-4a8cfae2e3920af8aa42223635818e822d04417a.tar.gz vericert-4a8cfae2e3920af8aa42223635818e822d04417a.zip |
[WIP] Generate calling verilog in RTL->HTL
Diffstat (limited to '.gitattributes')
0 files changed, 0 insertions, 0 deletions