Sby now supports trisates in formal proofs
Memory inferencing overhaul.
Formal tristate support, x handling, optimising adders.
Teodor-Dumitru Ene presents his work on adder optimisations for the open source FPGA and ASIC tools
Co-simulation, new options for SBY, YosysHQ team is growing.