From: Miodrag Milanović Date: Tue, 17 May 2022 07:33:20 +0000 (+0200) Subject: Merge pull request #3310 from robinsonb5-PRs/master X-Git-Tag: divfloor-in-write_smt2-old-test~24 X-Git-Url: https://git.libre-soc.org/?a=commitdiff_plain;h=refs%2Fheads%2Fmaster;p=yosys.git Merge pull request #3310 from robinsonb5-PRs/master Now calls Tcl_Init after creating the interp, fixes clock format. --- 7c64c707279fd115cc8bc49c92ca69b159aa6866