aboutsummaryrefslogtreecommitdiffstats
path: root/src/vhdl/vhdl-sem_expr.adb
Commit message (Collapse)AuthorAgeFilesLines
* Add support for PSL onehot/onehot0 functions (#1633)T. Meissner2021-02-091-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 #1631Tristan Gingold2021-02-061-3/+4
|
* update license headersumarcor2021-01-141-11/+9
|
* src/vhd: remove use of chapter sign in comment to have on ASCII charactersTristan Gingold2021-01-091-2/+2
| | | | (except for vhdl-scanner)
* vhdl-sem_expr: evaluate operands only if the operator result is not static.Tristan Gingold2020-09-281-5/+13
|
* vhdl: evaluate operands of operators, check bounds. For #1475Tristan Gingold2020-09-261-11/+13
|
* translate: improve support of unbounded records and arrays.Tristan Gingold2020-07-251-2/+4
|
* vhdl: replace base_type with parent_type in nodesTristan Gingold2020-07-221-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 Gingold2020-07-181-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 #1387Tristan Gingold2020-07-021-55/+92
|
* vhdl-sem_expr: fix overload handling for conditional operationTristan Gingold2020-07-021-12/+44
|
* vhdl-sem_expr: abstract sem_operator_compatibilityTristan Gingold2020-07-021-47/+72
|
* vhdl-sem_expr: improve error messageTristan Gingold2020-07-011-1/+1
|
* vhdl: add missing check_read. Fix #1381Tristan Gingold2020-06-251-0/+3
|
* vhdl: --std93c is now an alias for --std=93 -frelaxedTristan Gingold2020-06-131-1/+1
| | | | This simplifies the definition of --std=93c
* vhdl-sem_expr: use -frelaxed for parentheses aggregates. For #1364Tristan Gingold2020-06-121-14/+39
|
* vhdl: handle aggregates in choices. Fix #1360Tristan Gingold2020-06-091-0/+7
|
* Add PSL built-in prev() function to allowed expressionstmeissner2020-06-071-0/+1
|
* Synthesis of PSL built-in fell() function.tmeissner2020-06-071-1/+5
|
* Synthesis of PSL built-in rose() function.tmeissner2020-06-061-1/+5
|
* Synthesis of PSL stable() function.tmeissner2020-06-061-1/+5
|
* Synthesis of PSL prev function.Tristan Gingold2020-06-021-9/+77
|
* vhdl-sem_expr: improve support of vhdl-08 aggregates. Fix #1282Tristan Gingold2020-05-051-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 #1274Tristan Gingold2020-05-021-6/+11
|
* vhdl-sem_expr: fix crash on incorrect aggregate. Fix #1269Tristan Gingold2020-04-281-1/+2
|
* types: introduce Direction_Type, which replaces Iir_Direction.Tristan Gingold2020-04-201-4/+4
| | | | Global renaming.
* vhdl-evaluation: remove some cascaded errors.Tristan Gingold2020-04-181-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 Gingold2020-04-181-0/+3
| | | | For #1240
* vhdl-sem_expr: fix a wrong check in choices. For #1161Tristan Gingold2020-03-191-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 Gingold2020-03-061-1/+4
|
* vhdl-sem_expr: avoid a crash on incorrect qualified expr.Tristan Gingold2020-02-131-0/+6
|
* vhdl-sem_expr: avoid a crash on invalid attribute name.Tristan Gingold2020-02-041-1/+1
|
* vhdl-sem_expr: avoid a crash on invalid input.Tristan Gingold2020-02-041-0/+5
|
* ams-vhdl: add support for 'delayed for quantity.Tristan Gingold2019-12-311-1/+2
|
* ams-vhdl: handle zoh, ltf and ztf attributes.Tristan Gingold2019-12-311-0/+3
|
* vhdl: improve support of AMS-vhdl (array and record natures, source quantities)Tristan Gingold2019-12-281-5/+10
|
* vhdl: avoid crash on incorrect unit name.Tristan Gingold2019-08-101-4/+14
| | | | Fix #886
* vhdl: handle subtype indication (with range) in discrete_range.Tristan Gingold2019-08-101-13/+19
| | | | For #877
* vhdl: remove unused Get/Set_Choice_Order.Tristan Gingold2019-08-091-4/+0
|
* vhdl: allow discrete subtype indication for discrete_range.Tristan Gingold2019-08-061-6/+5
| | | | For #877
* vhdl: for time resolution, do not consider unit name from textio body.Tristan Gingold2019-08-061-4/+7
| | | | For #881
* vhdl: linearize analyze and evaluation of concat operators.Tristan Gingold2019-07-261-238/+407
|
* vhdl: avoid a crash on no matching operator error.Tristan Gingold2019-07-151-1/+7
| | | | Fix #869
* synth: handle discrete choice in case statements.Tristan Gingold2019-06-231-5/+5
|
* vhdl-sem_expr: set string type in case of error.Tristan Gingold2019-06-131-9/+12
|
* vhdl-sem_expr: avoid crash after error with parenthesisTristan Gingold2019-06-131-3/+9
|
* vhdl-sem_expr: avoid crash if no choices.Tristan Gingold2019-06-131-1/+3
|
* vhdl: improve error messages for generate statement.Tristan Gingold2019-06-121-1/+3
|
* vhdl: detect unused signals and variables.Tristan Gingold2019-06-051-9/+4
|
* vhdl-sem_expr: do not try to report empty error message.Tristan Gingold2019-06-041-5/+7
|
generated by cgit v1.2.3 (git 2.25.1) at 2024-07-16 17:50:37 +0000