Merge pull request #1413 from YosysHQ/mmicko/backend_binary_out
authorMiodrag Milanović <mmicko@gmail.com>
Sun, 29 Sep 2019 08:37:34 +0000 (10:37 +0200)
committerGitHub <noreply@github.com>
Sun, 29 Sep 2019 08:37:34 +0000 (10:37 +0200)
Support binary files for backends, fixes #1407


Trivial merge