aboutsummaryrefslogtreecommitdiffstats
path: root/src/vhdl
Commit message (Expand)AuthorAgeFilesLines
* vhdl-evaluation: avoid a crash on null range for enumeration typesTristan Gingold2021-05-211-2/+60
* trans-chap6: add a commentTristan Gingold2021-05-191-0/+1
* vhdl-sem: handle indexed and slice names. Fix #1768Tristan Gingold2021-05-171-56/+42
* vhdl-utils: an object alias may not have a subtype indication. Fix #1765Tristan Gingold2021-05-161-5/+10
* vhdl: remove unused Get/Set_Alias_DeclarationTristan Gingold2021-05-165-127/+68
* trans-chap4: add commentsTristan Gingold2021-05-161-0/+4
* trans-chap6: handle alias of unbounded record. For #641Tristan Gingold2021-05-131-1/+2
* vhdl-sem_stmts: handle aliases for force/release assignment. Fix #1751Tristan Gingold2021-05-061-5/+8
* vhdl: handle object interface using an interface type. Fix #1726Tristan Gingold2021-04-173-4/+56
* vhdl-sem_names: avoid a crash for invalid user attribute prefix. Fix #1727Tristan Gingold2021-04-161-1/+2
* vhdl: also allow type and subtype declarations in vunit. For #1724Tristan Gingold2021-04-152-0/+4
* vhdl-canon_psl: handle imp_boolTristan Gingold2021-04-151-2/+3
* vhdl: handle constant declarations in PSL vunit. Fix #1724Tristan Gingold2021-04-152-0/+2
* trans-chap9: handle N_Imp_Bool for PSL. For #1721Tristan Gingold2021-04-131-0/+21
* vhdl-sem_psl.adb: can also extract clock from SERE. For #1721Tristan Gingold2021-04-131-1/+5
* vhdl-sem_names.adb: fix check for object prefix of subtype attribute. Fix #1717Tristan Gingold2021-04-111-3/+1
* src: Clarify error for conditional signal assignment.Ondrej Ille2021-04-111-1/+2
* src: Allow case generate only in VHDL 2008.Ondrej Ille2021-04-111-0/+1
* src: Unify check for VHDL at least 2008Ondrej Ille2021-04-111-47/+25
* trans-chap9.adb: fix out of scope reference.Tristan Gingold2021-04-101-2/+3
* ghdldrv,configure: allow LIB.UNIT name for -e/-r commands. Fix #1718Tristan Gingold2021-04-103-11/+38
* src: Fix PSL start count assignment for PSL endpoints.Ondrej Ille2021-04-081-9/+9
* src: Introduce two separate PSL counters (Finish and Start).Ondrej Ille2021-04-084-12/+43
* src: Define PSL type RTI with simplified assertion state.Ondrej Ille2021-04-084-6/+94
* vhdl-sem_decls.adb: handle both anonymous signal and signal attribute. Fix #...Tristan Gingold2021-04-071-0/+2
* src: Remove obsolete FIXME, file_open_information parsed. Default "IN"/"READ_...Ondrej Ille2021-04-051-1/+0
* vhdl-sem_psl.adb: handle goto/equal repeated sequence. For #1708Tristan Gingold2021-04-051-8/+20
* vhdl-parse_psl.adb: handle parenthesis boolean prefixes. For #1708Tristan Gingold2021-04-051-29/+62
* vhdl and libraries: add support for binding to a foreign moduleTristan Gingold2021-04-054-76/+148
* vhdl: add Iir_Kind_Foreign_ModuleTristan Gingold2021-04-059-318/+432
* src: Better reporting of missing parenthesis.Ondrej Ille2021-04-031-5/+24
* src: Add Resync_To_End_Of_External_Name.Ondrej Ille2021-04-031-1/+21
* psl: prefix of goto/non-consecutive repetition is a bool. Fix #1708Tristan Gingold2021-04-033-38/+91
* vhdl-parse.adb: fix indentation (for #1711)Tristan Gingold2021-04-031-30/+31
* src: More detailed message on invalid variable locations.Ondrej Ille2021-04-031-12/+46
* src: Provide nicer message if Tok_Is is swapped with Tok_Assign for alias.Ondrej Ille2021-04-031-2/+6
* Add base support for the attribue element in vhdl 08Anselmo952021-04-034-0/+70
* vhdl-sem_expr.adb: detect incorrect static aggregate length mismatch. For #1697Tristan Gingold2021-03-301-1/+9
* vhdl-parse_psl: avoid crash in case of error. For #1701Tristan Gingold2021-03-281-3/+8
* vhdl-parse_psl: minor reformatingTristan Gingold2021-03-281-10/+9
* src: Handle also Equal Repeat and Goto repeat sequences. Keep TODO about chec...Ondrej Ille2021-03-281-5/+5
* src: Un-handle Equal and Goto repeat sequences in sem_property. Some form of ...Ondrej Ille2021-03-281-10/+5
* src: Psl, check positive count range already during parsing.Ondrej Ille2021-03-281-0/+16
* psl, vhdl: Extend semantic pass for PSL to allow "assert never <Sequence>" wi...Ondrej Ille2021-03-281-0/+10
* src: Move --psl-report-uncovered to run options, not analysis options.Ondrej Ille2021-03-221-1/+1
* Revert "src: Add -Wpsl-uncovered option to optionally warn about uncovered PS...Ondrej Ille2021-03-221-11/+9
* Revert "src: Fix build warning for redundant comparison."Ondrej Ille2021-03-221-1/+1
* Revert "src: Fix notes on pull-request."Ondrej Ille2021-03-221-1/+1
* src: Fix notes on pull-request.Ondrej Ille2021-03-221-1/+1
* src: Fix build warning for redundant comparison.Ondrej Ille2021-03-221-1/+1