diff options
| author | Jannis Harder <me@jix.one> | 2022-08-02 15:53:47 +0200 |
|---|---|---|
| committer | Jannis Harder <me@jix.one> | 2022-08-16 13:37:30 +0200 |
| commit | 021c3c8da52ebaf6088ea740fdc12b496bfc338a (patch) | |
| tree | c91a210f1ec2220625fd97c074d2e5609a346d07 /.github | |
| parent | a2f9ebe43a287233917947851e0d0dff803a4675 (diff) | |
| download | yosys-021c3c8da52ebaf6088ea740fdc12b496bfc338a.tar.gz yosys-021c3c8da52ebaf6088ea740fdc12b496bfc338a.tar.bz2 yosys-021c3c8da52ebaf6088ea740fdc12b496bfc338a.zip | |
smt2: Support $anyinit cells
Diffstat (limited to '.github')
0 files changed, 0 insertions, 0 deletions