Commit message (Collapse) | Author | Age | Files | Lines | ||
---|---|---|---|---|---|---|
... | ||||||
* | src: Add -Wpsl-uncovered option to optionally warn about uncovered PSL ↵ | Ondrej Ille | 2021-03-22 | 1 | -9/+11 | |
| | | | | sequences at the end of simulation. | |||||
* | vhdl-sem_types: fix staticness of constrained array. For #1689 | Tristan Gingold | 2021-03-21 | 1 | -7/+10 | |
| | ||||||
* | vhdl: make standard.now impure for vhdl 2008. Fix #1691 | Tristan Gingold | 2021-03-20 | 1 | -5/+11 | |
| | ||||||
* | vhdl: handle alias of protected objects. Fix #1688 | Tristan Gingold | 2021-03-19 | 2 | -8/+23 | |
| | ||||||
* | vhdl-canon.adb: handle individual assoc in extract sensitivity. Fix #1684 | Tristan Gingold | 2021-03-13 | 1 | -0/+2 | |
| | ||||||
* | Add a warning for processes without a wait statement. Fix #1677 | Tristan Gingold | 2021-03-08 | 1 | -7/+13 | |
| | ||||||
* | synth: handle pow and arctan from ieee.math_real. Fix #1665 | Tristan Gingold | 2021-02-27 | 2 | -0/+6 | |
| | ||||||
* | vhdl-sem_expr.adb: improve fix for #1664 | Tristan Gingold | 2021-02-27 | 1 | -4/+1 | |
| | ||||||
* | vhdl-nodes.ads: add a comment | Tristan Gingold | 2021-02-27 | 1 | -0/+2 | |
| | ||||||
* | vhdl-sem_expr: detect incorrect condition for vhdl08. Fix #1664 | Tristan Gingold | 2021-02-27 | 1 | -0/+3 | |
| | ||||||
* | std_names: add async_abort and sync_abort. For #1654 | Tristan Gingold | 2021-02-21 | 1 | -6/+7 | |
| | ||||||
* | vhdl-canon.adb: add a missing check on generic associations. Fix #1655 | Tristan Gingold | 2021-02-20 | 1 | -0/+3 | |
| | ||||||
* | vhdl-nodes.ads: reorder fields of block_configuration to match grammar | Tristan Gingold | 2021-02-20 | 2 | -7/+7 | |
| | ||||||
* | vhdl-evaluation.adb: use is_overflow_literal. | Tristan Gingold | 2021-02-11 | 2 | -13/+21 | |
| | | | | Avoid crash in Eval_Discrete_Range_Length on overflow. | |||||
* | vhdl-sem_expr: avoid duplicate error messages for overflow in range | Tristan Gingold | 2021-02-11 | 1 | -4/+1 | |
| | ||||||
* | vhdl-evaluation: factorize code | Tristan Gingold | 2021-02-11 | 1 | -7/+5 | |
| | ||||||
* | eval_is_range_in_bound: avoid crash in case of overflow. Fix #1640 | Tristan Gingold | 2021-02-11 | 1 | -2/+12 | |
| | ||||||
* | pyGHDL: automatically format generated files with black | Xiretza | 2021-02-10 | 1 | -0/+6 | |
| | ||||||
* | vhdl-sem_stmts: avoid overflow. Fix #1639 | Tristan Gingold | 2021-02-10 | 1 | -3/+13 | |
| | ||||||
* | vhdl-evaluation: minor simplification | Tristan Gingold | 2021-02-10 | 1 | -3/+1 | |
| | ||||||
* | vhdl-sem_psl: factorize code for onehot/onehot0 and stable/fell/rose. | Tristan Gingold | 2021-02-09 | 3 | -105/+17 | |
| | ||||||
* | Add support for PSL onehot/onehot0 functions (#1633) | T. Meissner | 2021-02-09 | 15 | -119/+246 | |
| | | | | | | | | | | | | | | | * 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 copyright headers for vhdl-elocations* | Tristan Gingold | 2021-02-04 | 6 | -39/+33 | |
| | ||||||
* | vhdl: recognize to_stdlogicvector. For #1628 | Tristan Gingold | 2021-02-04 | 2 | -6/+26 | |
| | ||||||
* | trans-chap7.adb: handle universal integer/real multiplication. Fix #1624 | Tristan Gingold | 2021-01-29 | 1 | -0/+4 | |
| | ||||||
* | trans-chap5: use value mode to get object bounds. Fix #1612 | Tristan Gingold | 2021-01-19 | 1 | -1/+1 | |
| | ||||||
* | vhdl-sem_names: avoid duplicate messages for -fsynopsys | Tristan Gingold | 2021-01-16 | 1 | -0/+9 | |
| | ||||||
* | update license headers | umarcor | 2021-01-14 | 165 | -1815/+1485 | |
| | ||||||
* | vhdl-formatters: add realignment | Tristan Gingold | 2021-01-11 | 4 | -6/+234 | |
| | ||||||
* | Typo fixes in Ada code. | Patrick Lehmann | 2021-01-10 | 2 | -46/+46 | |
| | ||||||
* | vhdl: rework formatter engine, add 'ghdl fmt' command | Tristan Gingold | 2021-01-09 | 7 | -459/+688 | |
| | ||||||
* | src/vhd: remove use of chapter sign in comment to have on ASCII characters | Tristan Gingold | 2021-01-09 | 11 | -36/+36 | |
| | | | | (except for vhdl-scanner) | |||||
* | vhdl-parse_psl.adb: handle n_paren_prop in Psl_To_Vhdl | Tristan Gingold | 2021-01-05 | 1 | -0/+4 | |
| | ||||||
* | vhdl-parse.adb: improve diagnostic messages | Tristan Gingold | 2021-01-05 | 1 | -1/+2 | |
| | ||||||
* | vhdl: fix reprint of vhdl08 array element constraints. | Tristan Gingold | 2021-01-05 | 7 | -271/+362 | |
| | ||||||
* | vhdl-prints: avoid assertion on empty hbox for simple loop | Tristan Gingold | 2021-01-04 | 1 | -7/+16 | |
| | ||||||
* | vhdl: recognize ieee.numeric_std_unsigned. For #1572 | Tristan Gingold | 2021-01-01 | 4 | -1/+136 | |
| | ||||||
* | trans-chap3: also compute the size of record constraints for unbounded subtypes | Tristan Gingold | 2020-12-31 | 1 | -2/+23 | |
| | ||||||
* | vhdl: improve error message for invalid record element constraint. | Tristan Gingold | 2020-12-31 | 1 | -1/+1 | |
| | ||||||
* | Rework initialization and finalization. | Tristan Gingold | 2020-12-30 | 4 | -4/+16 | |
| | | | | libghdl can now be re-initialized. | |||||
* | trans-chap3: compute size of subelements for unconstrained parent subtypes | Tristan Gingold | 2020-12-29 | 1 | -8/+39 | |
| | | | | Fix #1549 | |||||
* | scripts: move 'pyGHDL/xtools' to 'scripts', update Makefiles and docs ↵ | umarcor | 2020-12-28 | 1 | -15/+20 | |
| | | | | accordingly | |||||
* | libraries: Load_Std_Library: now return a status. | Tristan Gingold | 2020-12-26 | 3 | -6/+34 | |
| | | | | | | Propagate this change to libghdl and python binding to avoid abort. For #1551 | |||||
* | vhdl: handle locally static attributes on entity/architecture/configurations | Tristan Gingold | 2020-12-08 | 8 | -279/+348 | |
| | | | | | | | | | | | | | Attributes of entity/architecture/configurations are expected to be locally static so that they can be referenced from outside (so on the non-instantiated entity). But many designs break this assumption. In relaxed mode, non-locally static attributes are allowed but now cannot be referenced outside the entity. Locally static attributes can be referenced from outside. Fix #1528 | |||||
* | vhdl: recognize logica vec/log and log/vec operators. For #1520 | Tristan Gingold | 2020-12-03 | 2 | -0/+96 | |
| | ||||||
* | vhdl-sem_stmts: fix typo (#1518) | Douwe den Blanken | 2020-11-20 | 1 | -1/+1 | |
| | | | | | "time must be **greather** than previous transaction" -> "time must be **greater** than previous transaction" (h was in the word 'greater') | |||||
* | vhdl-parse: improve error recovery on extra right parenthesis | Tristan Gingold | 2020-11-04 | 1 | -7/+21 | |
| | ||||||
* | vhdl-parse: improve error recovery on tick. | Tristan Gingold | 2020-11-04 | 1 | -0/+5 | |
| | ||||||
* | vhdl-parse: do not skip token in case of error. Fix #1500 | Tristan Gingold | 2020-10-29 | 1 | -1/+1 | |
| |