projects / SymbiYosys.git / commitdiff
? search:
summary | shortlog | log | commit | commitdiff | tree
raw | combined (merge: 98b0713 141ffd3)
Merge pull request #179 from jix/btor-option-handling
authorJannis Harder <me@jix.one>
Wed, 15 Jun 2022 11:24:36 +0000 (13:24 +0200)
committerGitHub <noreply@github.com>
Wed, 15 Jun 2022 11:24:36 +0000 (13:24 +0200)
btor pono: improve option handling


Trivial merge