diff options
| author | Miodrag Milanovic <mmicko@gmail.com> | 2022-02-09 09:19:25 +0100 |
|---|---|---|
| committer | Miodrag Milanovic <mmicko@gmail.com> | 2022-02-09 09:19:25 +0100 |
| commit | 2cef48bf2cb78aaa4b4dd1ea0bc064c8d12e7147 (patch) | |
| tree | 4dcc83248832accb6c61449045a2ec8d97f4d601 /frontends/aiger | |
| parent | 23d062fea3416ea077f41ea2b71c11b14ea2fe87 (diff) | |
| download | yosys-2cef48bf2cb78aaa4b4dd1ea0bc064c8d12e7147.tar.gz yosys-2cef48bf2cb78aaa4b4dd1ea0bc064c8d12e7147.tar.bz2 yosys-2cef48bf2cb78aaa4b4dd1ea0bc064c8d12e7147.zip | |
Add ability to override verilog mode for verific -f command
Diffstat (limited to 'frontends/aiger')
0 files changed, 0 insertions, 0 deletions