diff options
| author | Jannis Harder <me@jix.one> | 2023-02-14 17:46:31 +0100 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2023-02-14 17:46:31 +0100 |
| commit | ec947036191bce7ef020c240fbdb8d6fdcf572b6 (patch) | |
| tree | 5cffe4f8a53459a0f617a33ba4839c67860c585b /.github | |
| parent | 85f611fb23ea6f10505299a2f2329e2efedd1dbc (diff) | |
| parent | b636af9751993bd35f02f56e68e63a4ef715aa4e (diff) | |
| download | yosys-ec947036191bce7ef020c240fbdb8d6fdcf572b6.tar.gz yosys-ec947036191bce7ef020c240fbdb8d6fdcf572b6.tar.bz2 yosys-ec947036191bce7ef020c240fbdb8d6fdcf572b6.zip | |
Merge pull request #2995 from georgerennie/cover_precond
chformal: Add -coverenable option
Diffstat (limited to '.github')
0 files changed, 0 insertions, 0 deletions