Commit message (Collapse) | Author | Age | Files | Lines | |
---|---|---|---|---|---|
* | vhdl: add Determined_Aggregate_Flag field. For #2166 | Tristan Gingold | 2022-08-10 | 1 | -0/+3 |
| | |||||
* | vhdl: check read for attribute parameter and aggregates. Fix #2148 | Tristan Gingold | 2022-07-28 | 1 | -3/+19 |
| | |||||
* | vhdl-sem_expr: check expression index range for aggregate. Fix #2066 | Tristan Gingold | 2022-06-19 | 1 | -0/+25 |
| | |||||
* | vhdl-sem_expr: do not attribute element or subtype attributes as expr. | Tristan Gingold | 2022-06-16 | 1 | -0/+2 |
| | | | | For #2097 | ||||
* | vhdl: consider fully static record aggregates. Fix #2051 | Tristan Gingold | 2022-05-07 | 1 | -2/+9 |
| | |||||
* | vhdl-sem_expr: minor renaming | Tristan Gingold | 2022-04-27 | 1 | -3/+6 |
| | |||||
* | vhdl-sem_expr: add a comment | Tristan Gingold | 2022-04-27 | 1 | -0/+21 |
| | |||||
* | vhdl: handle static expressions with ieee operations | Tristan Gingold | 2022-04-26 | 1 | -1/+29 |
| | |||||
* | vhdl: check association restrictions for operators. Fix #1999 | Tristan Gingold | 2022-03-11 | 1 | -11/+18 |
| | |||||
* | vhdl-sem_expr.adb: avoid a crash after forced analysis | Tristan Gingold | 2021-12-13 | 1 | -1/+2 |
| | |||||
* | vhdl-sem_expr: improve code generation for multi-dim aggregates | Tristan Gingold | 2021-11-15 | 1 | -3/+3 |
| | |||||
* | vhdl: Iir_Kind_Foreign_Module is now a library unit | Tristan Gingold | 2021-11-09 | 1 | -1/+25 |
| | | | | | (instead of a design unit). Also, add Iir_Kind_Foreign_Vector_Type_Definition | ||||
* | vhdl: also warns on unused enumeration literal | Tristan Gingold | 2021-11-01 | 1 | -5/+10 |
| | |||||
* | Fixed some typos (#1868) | Patrick Lehmann | 2021-09-16 | 1 | -2/+2 |
| | |||||
* | vhdl-sem_expr.adb: adjust aggregate element type extraction. For #737 | Tristan Gingold | 2021-09-14 | 1 | -2/+7 |
| | |||||
* | vhdl-sem_expr.adb: check matching subtype of array aggregate elements. | Tristan Gingold | 2021-08-06 | 1 | -31/+67 |
| | | | | | When the subtype of the aggregate is not known by the context. Fix #1723 | ||||
* | vhdl: adjust ownership of agrgegate element subtypes. Fix #1419 | Tristan Gingold | 2021-08-05 | 1 | -2/+3 |
| | | | | | Disable transfer of array aggregate element subtype ownership, but create the info of aggregate element subtype. | ||||
* | vhdl-sem_expr: add comments | Tristan Gingold | 2021-08-04 | 1 | -0/+6 |
| | |||||
* | vhdl-sem_expr: check subtype constraint of record aggregate elements. | Tristan Gingold | 2021-08-04 | 1 | -1/+2 |
| | | | | For #1419 | ||||
* | vhdl-sem_expr.adb: build element subtype for aggregate when possible. | Tristan Gingold | 2021-08-03 | 1 | -10/+161 |
| | | | | | | | | In case of array aggregate whose element subtype is not bounded, extract it from the aggregate elements. Fix #1055 Fix #1455 | ||||
* | vhdl-sem_expr: analyze choices before expressions in array aggregate. | Tristan Gingold | 2021-07-28 | 1 | -22/+39 |
| | | | | | Avoid considering expression to be possibly of the type of the aggregate if the choice is an expression. | ||||
* | vhdl-sem_expr.adb: detect incorrect static aggregate length mismatch. For #1697 | Tristan Gingold | 2021-03-30 | 1 | -1/+9 |
| | |||||
* | vhdl-sem_expr.adb: improve fix for #1664 | Tristan Gingold | 2021-02-27 | 1 | -4/+1 |
| | |||||
* | vhdl-sem_expr: detect incorrect condition for vhdl08. Fix #1664 | Tristan Gingold | 2021-02-27 | 1 | -0/+3 |
| | |||||
* | vhdl-sem_expr: avoid duplicate error messages for overflow in range | Tristan Gingold | 2021-02-11 | 1 | -4/+1 |
| | |||||
* | vhdl-sem_psl: factorize code for onehot/onehot0 and stable/fell/rose. | Tristan Gingold | 2021-02-09 | 1 | -12/+6 |
| | |||||
* | Add support for PSL onehot/onehot0 functions (#1633) | T. Meissner | 2021-02-09 | 1 | -1/+9 |
| | | | | | | | | | | | | | | | * vhdl: parse PSL onehot/onehot0 builtin calls. For #662 * update pyGHDL bindings * Synthesis of PSL built-in onehot/onehot0 function. * testsuite/synth: add tests of PSL built-in functions onehot()/onehot0() for #662 * doc: add info about PSL built-in functions onehot()/onehot0() for #662 * synth: refactor synthesis of onehot/onehot0 functions Co-authored-by: eine <eine@users.noreply.github.com> | ||||
* | vhdl-sem_expr: remove assertion and change comment. Fix #1631 | Tristan Gingold | 2021-02-06 | 1 | -3/+4 |
| | |||||
* | update license headers | umarcor | 2021-01-14 | 1 | -11/+9 |
| | |||||
* | src/vhd: remove use of chapter sign in comment to have on ASCII characters | Tristan Gingold | 2021-01-09 | 1 | -2/+2 |
| | | | | (except for vhdl-scanner) | ||||
* | vhdl-sem_expr: evaluate operands only if the operator result is not static. | Tristan Gingold | 2020-09-28 | 1 | -5/+13 |
| | |||||
* | vhdl: evaluate operands of operators, check bounds. For #1475 | Tristan Gingold | 2020-09-26 | 1 | -11/+13 |
| | |||||
* | translate: improve support of unbounded records and arrays. | Tristan Gingold | 2020-07-25 | 1 | -2/+4 |
| | |||||
* | vhdl: replace base_type with parent_type in nodes | Tristan Gingold | 2020-07-22 | 1 | -2/+1 |
| | | | | | Only for subtype definition and remove base_type in type definitions. Allows to better track the addition of contraints. | ||||
* | vhdl: improve support of subtype attribute. | Tristan Gingold | 2020-07-18 | 1 | -13/+11 |
| | | | | | A subtype definition does not mean anymore that the subtype is constrained. It is now defined by the subtype indication of the name. | ||||
* | vhdl: add wildcard_psl_boolean. For #1387 | Tristan Gingold | 2020-07-02 | 1 | -55/+92 |
| | |||||
* | vhdl-sem_expr: fix overload handling for conditional operation | Tristan Gingold | 2020-07-02 | 1 | -12/+44 |
| | |||||
* | vhdl-sem_expr: abstract sem_operator_compatibility | Tristan Gingold | 2020-07-02 | 1 | -47/+72 |
| | |||||
* | vhdl-sem_expr: improve error message | Tristan Gingold | 2020-07-01 | 1 | -1/+1 |
| | |||||
* | vhdl: add missing check_read. Fix #1381 | Tristan Gingold | 2020-06-25 | 1 | -0/+3 |
| | |||||
* | vhdl: --std93c is now an alias for --std=93 -frelaxed | Tristan Gingold | 2020-06-13 | 1 | -1/+1 |
| | | | | This simplifies the definition of --std=93c | ||||
* | vhdl-sem_expr: use -frelaxed for parentheses aggregates. For #1364 | Tristan Gingold | 2020-06-12 | 1 | -14/+39 |
| | |||||
* | vhdl: handle aggregates in choices. Fix #1360 | Tristan Gingold | 2020-06-09 | 1 | -0/+7 |
| | |||||
* | Add PSL built-in prev() function to allowed expressions | tmeissner | 2020-06-07 | 1 | -0/+1 |
| | |||||
* | Synthesis of PSL built-in fell() function. | tmeissner | 2020-06-07 | 1 | -1/+5 |
| | |||||
* | Synthesis of PSL built-in rose() function. | tmeissner | 2020-06-06 | 1 | -1/+5 |
| | |||||
* | Synthesis of PSL stable() function. | tmeissner | 2020-06-06 | 1 | -1/+5 |
| | |||||
* | Synthesis of PSL prev function. | Tristan Gingold | 2020-06-02 | 1 | -9/+77 |
| | |||||
* | vhdl-sem_expr: improve support of vhdl-08 aggregates. Fix #1282 | Tristan Gingold | 2020-05-05 | 1 | -24/+37 |
| | | | | An element of an aggregate may have an unconstrained length. | ||||
* | vhdl-sem_expr: fix handling of overload lists in merge_wildcard_type. Fix #1274 | Tristan Gingold | 2020-05-02 | 1 | -6/+11 |
| |