Commit message (Collapse) | Author | Age | Files | Lines | |
---|---|---|---|---|---|
* | 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 |
| | |||||
* | vhdl-sem_expr: fix crash on incorrect aggregate. Fix #1269 | Tristan Gingold | 2020-04-28 | 1 | -1/+2 |
| | |||||
* | types: introduce Direction_Type, which replaces Iir_Direction. | Tristan Gingold | 2020-04-20 | 1 | -4/+4 |
| | | | | Global renaming. | ||||
* | vhdl-evaluation: remove some cascaded errors. | Tristan Gingold | 2020-04-18 | 1 | -2/+11 |
| | | | | Add an argument to eval_is_in_bound for the return value of overflow literal. | ||||
* | vhdl-sem_expr: report during analysis out-of-range qualified expressions. | Tristan Gingold | 2020-04-18 | 1 | -0/+3 |
| | | | | For #1240 | ||||
* | vhdl-sem_expr: fix a wrong check in choices. For #1161 | Tristan Gingold | 2020-03-19 | 1 | -0/+5 |
| | | | | | The number of positional associations can be less than the length of the array (as an expression can be a vector). | ||||
* | vhdl: avoid a crash on extra string. | Tristan Gingold | 2020-03-06 | 1 | -1/+4 |
| | |||||
* | vhdl-sem_expr: avoid a crash on incorrect qualified expr. | Tristan Gingold | 2020-02-13 | 1 | -0/+6 |
| | |||||
* | vhdl-sem_expr: avoid a crash on invalid attribute name. | Tristan Gingold | 2020-02-04 | 1 | -1/+1 |
| | |||||
* | vhdl-sem_expr: avoid a crash on invalid input. | Tristan Gingold | 2020-02-04 | 1 | -0/+5 |
| | |||||
* | ams-vhdl: add support for 'delayed for quantity. | Tristan Gingold | 2019-12-31 | 1 | -1/+2 |
| | |||||
* | ams-vhdl: handle zoh, ltf and ztf attributes. | Tristan Gingold | 2019-12-31 | 1 | -0/+3 |
| | |||||
* | vhdl: improve support of AMS-vhdl (array and record natures, source quantities) | Tristan Gingold | 2019-12-28 | 1 | -5/+10 |
| | |||||
* | vhdl: avoid crash on incorrect unit name. | Tristan Gingold | 2019-08-10 | 1 | -4/+14 |
| | | | | Fix #886 | ||||
* | vhdl: handle subtype indication (with range) in discrete_range. | Tristan Gingold | 2019-08-10 | 1 | -13/+19 |
| | | | | For #877 | ||||
* | vhdl: remove unused Get/Set_Choice_Order. | Tristan Gingold | 2019-08-09 | 1 | -4/+0 |
| | |||||
* | vhdl: allow discrete subtype indication for discrete_range. | Tristan Gingold | 2019-08-06 | 1 | -6/+5 |
| | | | | For #877 | ||||
* | vhdl: for time resolution, do not consider unit name from textio body. | Tristan Gingold | 2019-08-06 | 1 | -4/+7 |
| | | | | For #881 | ||||
* | vhdl: linearize analyze and evaluation of concat operators. | Tristan Gingold | 2019-07-26 | 1 | -238/+407 |
| | |||||
* | vhdl: avoid a crash on no matching operator error. | Tristan Gingold | 2019-07-15 | 1 | -1/+7 |
| | | | | Fix #869 | ||||
* | synth: handle discrete choice in case statements. | Tristan Gingold | 2019-06-23 | 1 | -5/+5 |
| | |||||
* | vhdl-sem_expr: set string type in case of error. | Tristan Gingold | 2019-06-13 | 1 | -9/+12 |
| |