Install launcher executable when running yosys-smtbmc on Windows.
authorWilliam D. Jones <thor0505@comcast.net>
Tue, 12 Mar 2019 21:55:47 +0000 (17:55 -0400)
committerWilliam D. Jones <thor0505@comcast.net>
Wed, 13 Mar 2019 17:49:16 +0000 (13:49 -0400)
commitff15cf9b1f8208d8c6e22beb9aebedc8bdae213f
tree5630c4086ef42913d6ce0fb8e37207898658ccc0
parentef48b62cb1206a3b72c00735fe817683ccf0f005
Install launcher executable when running yosys-smtbmc on Windows.

Signed-off-by: William D. Jones <thor0505@comcast.net>
.gitignore
backends/smt2/Makefile.inc
misc/launcher.c [new file with mode: 0644]