aboutsummaryrefslogtreecommitdiffstats
path: root/src/vhdl/vhdl-annotations.adb
Commit message (Expand)AuthorAgeFilesLines
* vhdl-nodes: make Subtype_Indication Maybe_Ref. For #641Tristan Gingold2020-06-301-1/+1
* vhdl: analyze and synth concurrent statements in vunit. Fix #1366Tristan Gingold2020-06-121-1/+6
* synth-decls: handle unbounded record subtypes. Fix #1324Tristan Gingold2020-05-191-12/+13
* vhdl-utils: factorize Get_File_Signature.Tristan Gingold2020-05-151-66/+0
* synth: fix handling of subtype indication in object aliases for vhdl 2008.Tristan Gingold2020-03-291-1/+4
* synth: avoid crash on bad elaboration order.Tristan Gingold2020-03-091-1/+3
* synth: handle deferred constants. Fix #1096Tristan Gingold2020-01-161-0/+3
* synth: support multiple synthesis.Tristan Gingold2019-12-021-0/+28
* synth: file support (WIP).Tristan Gingold2019-11-121-1/+2
* synth: initial support for file types. For #1004Tristan Gingold2019-11-111-27/+33
* synth: initial support of access type. For #1004Tristan Gingold2019-11-111-0/+4
* vhdl: allow attributes in vunit declarations.Tristan Gingold2019-10-301-1/+3
* synth: handle concurrent signal assignment in vunits.Tristan Gingold2019-10-251-0/+2
* vhdl-annotations: extract annotate_concurrent_statement.Tristan Gingold2019-10-251-47/+53
* vhdl-annotations: minor renaming.Tristan Gingold2019-10-251-8/+8
* vhdl-annotations: handle some declarations in vunits.Tristan Gingold2019-10-231-0/+6
* vhdl: handle cover and restrict within vunit.Tristan Gingold2019-10-151-1/+3
* vhdl-annotations: handle list of record elements declaration.Tristan Gingold2019-10-131-2/+4
* synth: add support for concurrent procedure calls. Fix #969Tristan Gingold2019-10-071-1/+2
* 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