From: Miodrag Milanović Date: Sat, 26 Mar 2022 07:20:57 +0000 (+0100) Subject: Merge pull request #146 from jix/aim_vs_smt2_nonzero_start_offset X-Git-Url: https://git.libre-soc.org/?a=commitdiff_plain;h=7a4a8e6bf627153203a7e2d57092f2c356e8bb1b;p=SymbiYosys.git Merge pull request #146 from jix/aim_vs_smt2_nonzero_start_offset Test and fix signals with nonzero start offsets in aim files with smtbmc --- 7a4a8e6bf627153203a7e2d57092f2c356e8bb1b