Yosys 0.29

Yosys 0.28 .. Yosys 0.29

• New commands and options

  • Added "synthprop" pass for synthesizable properties.

• Verific support

  • Handle conditions on clocked concurrent assertions in unclocked
    procedural contexts.

• Verilog

  • Fix const eval of unbased unsized constants.
  • Handling of attributes for struct / union variables.