Merge pull request #1385 from diffblue/sva-strong-buechi

SVA->Buechi: enable fragment of strong sequences

Merge pull request #1320 from diffblue/error1-fix

Verilog: allow system function calls as module items

Merge pull request #1106 from diffblue/bump-Ubuntu

Bump Ubuntu version in CI release action

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

ebmc: bump version number to 5.5

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