Support binary files for backends, fixes #1407
authorMiodrag Milanovic <mmicko@gmail.com>
Sat, 28 Sep 2019 07:28:51 +0000 (09:28 +0200)
committerMiodrag Milanovic <mmicko@gmail.com>
Sat, 28 Sep 2019 07:36:18 +0000 (09:36 +0200)
commitd0493925ec739aa13cd72e5aa525e98ca49cc326
tree514d90fdc77cf3091a52dd6518ad25f9e4c0f433
parentc372e7baf9c48d41ebdbea4486a72e8dfaaddd3d
Support binary files for backends, fixes #1407
backends/aiger/xaiger.cc
kernel/register.cc
kernel/register.h