Merge pull request #1705 from YosysHQ/logger_pass
authorMiodrag Milanović <mmicko@gmail.com>
Wed, 26 Feb 2020 12:32:49 +0000 (13:32 +0100)
committerGitHub <noreply@github.com>
Wed, 26 Feb 2020 12:32:49 +0000 (13:32 +0100)
commit036c46de1e6442a31aac8d00c5f7cdf99c247a5b
tree69382f92c1140948fdefda7227647d3c1717bc9c
parent6edca05793197a846bbfb0329e836c87fa5aabb6
parent80656ad17836a222f2359576d72f0b451c4ddfe6
Merge pull request #1705 from YosysHQ/logger_pass

Logger pass