v1.6.4
This release adds support for bitvectors and array literals in the ExprWriter
utility that is used e.g. for visualization. Thanks @as3810t!
This release adds support for bitvectors and array literals in the ExprWriter
utility that is used e.g. for visualization. Thanks @as3810t!