projects / yosys.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 45e4681) | patch
modified btor synthesis script for correct use of splice command.
authorAhmed Irfan <irfan@ubuntu.(none)>
Wed, 12 Feb 2014 12:38:28 +0000 (13:38 +0100)
committerAhmed Irfan <irfan@ubuntu.(none)>
Wed, 12 Feb 2014 12:38:28 +0000 (13:38 +0100)
commitac896c63e287aeeb7947602af0e5f8b115e0b833
treefc8d775a95f439d792bf7fce082ba0c55faa95adtree
parent45e468114a270f738e9e8d913221c7e0aae03141commit | diff
modified btor synthesis script for correct use of splice command.
backends/btor/btor.ys diff | blob | history
backends/btor/verilog2btor.sh diff | blob | history