aboutsummaryrefslogtreecommitdiffstats
path: root/src/vhdl/vhdl-annotations.adb
Commit message (Expand)AuthorAgeFilesLines
* synth: handle record subtypes.Tristan Gingold2019-09-191-5/+8
* vhdl-annotations: ignore conditional variable assignment.Tristan Gingold2019-08-301-1/+2
* vhdl-annotate: handle shared anonymous subtype in interfaces.Tristan Gingold2019-08-301-1/+4
* synth: add support for record types.Tristan Gingold2019-08-291-0/+4
* synth: support sequential conditional signal assignment.Tristan Gingold2019-08-271-0/+1
* vhdl: handle assume in verification units.Tristan Gingold2019-08-201-1/+2
* synth: handle verification units.Tristan Gingold2019-08-201-1/+29
* Add support for PSL assumptions, used in formal verification (#880)Pepijn de Vos2019-08-071-1/+2
* synth: improve support of vhdl08. Fix #882Tristan Gingold2019-08-051-1/+9
* synth: unconstrained arrays.Tristan Gingold2019-07-281-0/+3
* synth: preliminary support of dynamic indexing.Tristan Gingold2019-07-281-45/+66
* vhdl annotations: fix annotation of type in interface list.Tristan Gingold2019-07-241-0/+1
* synth: initial support for for-generate statement.Tristan Gingold2019-07-201-5/+8
* synth: do not crash on use of std_logic_1164 2008.Tristan Gingold2019-07-101-10/+4
* vhdl-annotations: partial revert of previous patch forTristan Gingold2019-07-041-0/+10
* vhdl: rename Cover_Statement to Cover_Directive.Tristan Gingold2019-07-041-1/+1
* vhdl: parse and analyze restrict directive.Tristan Gingold2019-07-041-1/+2
* synth: handle vhdl2008 std_logic_1164, handle anonymous_signal.Tristan Gingold2019-07-041-2/+2
* vhdl: translate anonymous_signal_declaration.Tristan Gingold2019-07-031-0/+2
* synth: handle concurrent assertions.Tristan Gingold2019-07-021-1/+2
* vhdl: move annotations from simul to vhdl.Tristan Gingold2019-06-291-0/+1315