diff options
| author | Jannis Harder <me@jix.one> | 2023-02-14 17:15:55 +0100 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2023-02-14 17:15:55 +0100 |
| commit | 85f611fb23ea6f10505299a2f2329e2efedd1dbc (patch) | |
| tree | 23f9e752033dc542dc6583cf9e45b81028c0313d /guidelines | |
| parent | f37073050b5628aaf6b95f41068f84bc2fc3722e (diff) | |
| parent | fbf5d89587decd2886d501d8c6e1cde076a5476f (diff) | |
| download | yosys-85f611fb23ea6f10505299a2f2329e2efedd1dbc.tar.gz yosys-85f611fb23ea6f10505299a2f2329e2efedd1dbc.tar.bz2 yosys-85f611fb23ea6f10505299a2f2329e2efedd1dbc.zip | |
Merge pull request #3126 from georgerennie/equiv_make_assertions
equiv_make: Add -make_assert option
Diffstat (limited to 'guidelines')
0 files changed, 0 insertions, 0 deletions