diff options
| author | N. Engelhardt <nak@symbioticeda.com> | 2020-03-12 11:18:35 +0100 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2020-03-12 11:18:35 +0100 |
| commit | 6986371bacb9ace908cc2156c2eed41cb1303765 (patch) | |
| tree | 15cf8687bbabae89e95e405001e99092d1c7b919 /passes/sat | |
| parent | 82ad422b4ec3a54587ec4ec8d9fa3aad3a712810 (diff) | |
| parent | 005dd601abebe66b37b48509ba0785050f4a313a (diff) | |
| download | yosys-6986371bacb9ace908cc2156c2eed41cb1303765.tar.gz yosys-6986371bacb9ace908cc2156c2eed41cb1303765.tar.bz2 yosys-6986371bacb9ace908cc2156c2eed41cb1303765.zip | |
Merge pull request #1751 from boqwxp/add_assert
Extend `add` command to allow adding $assert cells.
Diffstat (limited to 'passes/sat')
0 files changed, 0 insertions, 0 deletions