ghdl2hastabel/property, branch master Turn ASTs from GHDL into HaStABeL models. Adds Tabellion's old properties. 2018-05-31T14:52:12+00:00 nsensfel SpamShield0@noot-noot.org 2018-05-31T14:52:12+00:00 9f784e5c285cdd2631b52a4299eeb193593e6c21