diff options
| author | Miodrag Milanović <mmicko@gmail.com> | 2022-07-04 14:05:00 +0200 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2022-07-04 14:05:00 +0200 |
| commit | 0b44bff182c944acce583a1f52b04db5742294b8 (patch) | |
| tree | b655f824defb74bc62ab40ca57c5296eb06115b5 /misc | |
| parent | 59b96bb1f82b6cf83e004488267e5576dbcfad4b (diff) | |
| parent | 5343911263ea10dc9d0fd308297314b4b42989d2 (diff) | |
| download | yosys-0b44bff182c944acce583a1f52b04db5742294b8.tar.gz yosys-0b44bff182c944acce583a1f52b04db5742294b8.tar.bz2 yosys-0b44bff182c944acce583a1f52b04db5742294b8.zip | |
Merge pull request #3398 from jix/mention_smtlib2_module
Mention smtlib2_module in README.md and CHANGELOG
Diffstat (limited to 'misc')
0 files changed, 0 insertions, 0 deletions