From: Miodrag Milanović <mmicko@gmail.com>
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=HEAD;p=yosys.git

Merge pull request #3310 from robinsonb5-PRs/master

Now calls Tcl_Init after creating the interp, fixes clock format.
---

7c64c707279fd115cc8bc49c92ca69b159aa6866