diff options
| author | Jacob Lifshay <programmerjake@gmail.com> | 2022-05-24 01:34:25 -0700 |
|---|---|---|
| committer | Jacob Lifshay <programmerjake@gmail.com> | 2022-05-24 01:34:25 -0700 |
| commit | d53479a0d6e7c799e29c18cae47f96dfabee9d21 (patch) | |
| tree | d5d64297bfd31b33e8ccd89ad59c259e70b4094b /frontends/ast/genrtlil.cc | |
| parent | c525b5f91925bd51194ead99a4ecace313f9945c (diff) | |
| download | yosys-d53479a0d6e7c799e29c18cae47f96dfabee9d21.tar.gz yosys-d53479a0d6e7c799e29c18cae47f96dfabee9d21.tar.bz2 yosys-d53479a0d6e7c799e29c18cae47f96dfabee9d21.zip | |
add $divfloor support to write_smt2
Fixes: #3330
Diffstat (limited to 'frontends/ast/genrtlil.cc')
0 files changed, 0 insertions, 0 deletions