CHANGES.md

Release v0.16.0

• Add a wrapper library called hardcaml_port_verilog which wraps the boilerplate code needed to write a Hardcaml equivalent to a verilog circuit and have it formally checked by hardcaml_verify.