aboutsummaryrefslogtreecommitdiffstats
path: root/src/vhdl
Commit message (Collapse)AuthorAgeFilesLines
...
* src: Un-handle Equal and Goto repeat sequences in sem_property. Some form of ↵Ondrej Ille2021-03-281-10/+5
| | | | check that SERE is only boolean is needed.
* 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>" ↵Ondrej Ille2021-03-281-0/+10
| | | | with suffixed repetition operator without surrounding sequence braces.
* 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 ↵Ondrej Ille2021-03-221-11/+9
| | | | | | PSL sequences at the end of simulation." This reverts commit e20d4477f9b55f897d4f9008d6c94db8d8c3a54f.
* Revert "src: Fix build warning for redundant comparison."Ondrej Ille2021-03-221-1/+1
| | | | This reverts commit 575d36067953ae20e76d64bc95d8b3c4577995db.
* Revert "src: Fix notes on pull-request."Ondrej Ille2021-03-221-1/+1
| | | | This reverts commit c7a6eda4640ae235c944168ca6c536434808ece8.
* 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 ↵Ondrej Ille2021-03-221-9/+11
| | | | sequences at the end of simulation.
* 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
| | | | Avoid crash in Eval_Discrete_Range_Length on overflow.
* 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: 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 copyright headers for vhdl-elocations*Tristan Gingold2021-02-046-39/+33
|
* vhdl: recognize to_stdlogicvector. For #1628Tristan Gingold2021-02-042-6/+26
|
* trans-chap7.adb: handle universal integer/real multiplication. Fix #1624Tristan Gingold2021-01-291-0/+4
|
* trans-chap5: use value mode to get object bounds. Fix #1612Tristan Gingold2021-01-191-1/+1
|
* vhdl-sem_names: avoid duplicate messages for -fsynopsysTristan Gingold2021-01-161-0/+9
|
* update license headersumarcor2021-01-14165-1815/+1485
|
* vhdl-formatters: add realignmentTristan Gingold2021-01-114-6/+234
|
* Typo fixes in Ada code.Patrick Lehmann2021-01-102-46/+46
|
* vhdl: rework formatter engine, add 'ghdl fmt' commandTristan Gingold2021-01-097-459/+688
|
* src/vhd: remove use of chapter sign in comment to have on ASCII charactersTristan Gingold2021-01-0911-36/+36
| | | | (except for vhdl-scanner)
* vhdl-parse_psl.adb: handle n_paren_prop in Psl_To_VhdlTristan Gingold2021-01-051-0/+4
|
* vhdl-parse.adb: improve diagnostic messagesTristan Gingold2021-01-051-1/+2
|
* vhdl: fix reprint of vhdl08 array element constraints.Tristan Gingold2021-01-057-271/+362
|
* vhdl-prints: avoid assertion on empty hbox for simple loopTristan Gingold2021-01-041-7/+16
|
* vhdl: recognize ieee.numeric_std_unsigned. For #1572Tristan Gingold2021-01-014-1/+136
|
* trans-chap3: also compute the size of record constraints for unbounded subtypesTristan Gingold2020-12-311-2/+23
|
* vhdl: improve error message for invalid record element constraint.Tristan Gingold2020-12-311-1/+1
|
* Rework initialization and finalization.Tristan Gingold2020-12-304-4/+16
| | | | libghdl can now be re-initialized.
generated by cgit v1.2.3 (git 2.25.1) at 2024-10-21 12:55:59 +0000