aboutsummaryrefslogtreecommitdiffstats
path: root/src/vhdl
Commit message (Expand)AuthorAgeFilesLines
* 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
* src: Add -Wpsl-uncovered option to optionally warn about uncovered PSL sequen...Ondrej Ille2021-03-221-9/+11
* vhdl-sem_types: fix staticness of constrained array. For #1689Tristan Gingold2021-03-211-7/+10
* vhdl: make standard.now impure for vhdl 2008. Fix #1691Tristan Gingold2021-03-201-5/+11
* vhdl: handle alias of protected objects. Fix #1688Tristan Gingold2021-03-192-8/+23
* vhdl-canon.adb: handle individual assoc in extract sensitivity. Fix #1684Tristan Gingold2021-03-131-0/+2
* Add a warning for processes without a wait statement. Fix #1677Tristan Gingold2021-03-081-7/+13
* synth: handle pow and arctan from ieee.math_real. Fix #1665Tristan Gingold2021-02-272-0/+6
* vhdl-sem_expr.adb: improve fix for #1664Tristan Gingold2021-02-271-4/+1
* vhdl-nodes.ads: add a commentTristan Gingold2021-02-271-0/+2
* vhdl-sem_expr: detect incorrect condition for vhdl08. Fix #1664Tristan Gingold2021-02-271-0/+3
* std_names: add async_abort and sync_abort. For #1654Tristan Gingold2021-02-211-6/+7
* vhdl-canon.adb: add a missing check on generic associations. Fix #1655Tristan Gingold2021-02-201-0/+3
* vhdl-nodes.ads: reorder fields of block_configuration to match grammarTristan Gingold2021-02-202-7/+7
* vhdl-evaluation.adb: use is_overflow_literal.Tristan Gingold2021-02-112-13/+21
* vhdl-sem_expr: avoid duplicate error messages for overflow in rangeTristan Gingold2021-02-111-4/+1
* vhdl-evaluation: factorize codeTristan Gingold2021-02-111-7/+5
* eval_is_range_in_bound: avoid crash in case of overflow. Fix #1640Tristan Gingold2021-02-111-2/+12
* pyGHDL: automatically format generated files with blackXiretza2021-02-101-0/+6
* vhdl-sem_stmts: avoid overflow. Fix #1639Tristan Gingold2021-02-101-3/+13
* vhdl-evaluation: minor simplificationTristan Gingold2021-02-101-3/+1
* vhdl-sem_psl: factorize code for onehot/onehot0 and stable/fell/rose.Tristan Gingold2021-02-093-105/+17
* Add support for PSL onehot/onehot0 functions (#1633)T. Meissner2021-02-0915-119/+246
* vhdl-sem_expr: remove assertion and change comment. Fix #1631Tristan Gingold2021-02-061-3/+4