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

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

Merge pull request #792 from diffblue/low1-fix

Verilog: zero_extend now considers genvar

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

bump ebmc version to 5.2

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

bump version number to 5.1

Merge pull request #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

release 4.6