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)
commitce0631c371f69f0132ea9ee4bc8f5ee576dbb1a3
tree65a3ee15a95cd30a3df5df1a5c5b77d864672e29
parent178c67ea226b093cdbe101a69cb83cc8800aa702
parent0c380f085576c2cead5e3576825cb60046bfd76b
Merge pull request #1413 from YosysHQ/mmicko/backend_binary_out

Support binary files for backends, fixes #1407