From: Jannis Harder <me@jix.one>
Date: Tue, 14 Jun 2022 15:52:33 +0000 (+0200)
Subject: Merge pull request #178 from jix/aiger-aigbmc-fixes
X-Git-Url: https://git.libre-soc.org/?a=commitdiff_plain;h=98b0713597cb1c48dee99f7017d34c28c45114b6;p=SymbiYosys.git

Merge pull request #178 from jix/aiger-aigbmc-fixes

aiger: check supported modes and aigbmc fixes
---

98b0713597cb1c48dee99f7017d34c28c45114b6