Merge pull request diffblue#954 from diffblue/bump-version-5-5

ebmc: bump version number to 5.5

Merge pull request diffblue#877 from diffblue/use-output-filet

ebmc: --smt-netlist and --dot-netlist now honor --outfile

Merge pull request diffblue#792 from diffblue/low1-fix

Verilog: zero_extend now considers genvar

Merge pull request diffblue#723 from diffblue/ebmc-version-5-2

bump ebmc version to 5.2

Merge pull request diffblue#621 from diffblue/bump-verion-to-5-1

bump version number to 5.1

Merge pull request diffblue#593 from diffblue/verilog_equality

Verilog logical (in)equality expression

Release 5.3

5.2 release tag

release 5.0

version 4.7 release tag