Added splice command
authorClifford Wolf <clifford@clifford.at>
Fri, 7 Feb 2014 19:26:40 +0000 (20:26 +0100)
committerClifford Wolf <clifford@clifford.at>
Fri, 7 Feb 2014 19:30:56 +0000 (20:30 +0100)
commit244e8ce1f42bce47b3426e6679ed0ba5dadd8da6
treeb374e5f99803bc2e991c965e4ac3b69280c265b6
parent08aa1062b4fbaa507091b9015811104d93da3315
Added splice command
passes/cmds/Makefile.inc
passes/cmds/splice.cc [new file with mode: 0644]
tests/sat/splice.v [new file with mode: 0644]
tests/sat/splice.ys [new file with mode: 0644]