Verilog: distinguish packed and unpacked arrays#412

kroening merged 5 commits intomaindiffblue/hw-cbmc:mainfrom

verilog-array-typesdiffblue/hw-cbmc:verilog-array-typesCopy head branch name to clipboard