Commit message (Collapse) | Author | Age | Files | Lines | |
---|---|---|---|---|---|
* | synth: expand ports for record. Fix #1675 | Tristan Gingold | 2021-03-27 | 3 | -65/+270 |
| | |||||
* | src: Move --psl-report-uncovered to run options, not analysis options. | Ondrej Ille | 2021-03-22 | 4 | -3/+12 |
| | |||||
* | Revert "src: Add -Wpsl-uncovered option to optionally warn about uncovered ↵ | Ondrej Ille | 2021-03-22 | 4 | -31/+17 |
| | | | | | | PSL sequences at the end of simulation." This reverts commit e20d4477f9b55f897d4f9008d6c94db8d8c3a54f. | ||||
* | Revert "src: Fix build warning for redundant comparison." | Ondrej Ille | 2021-03-22 | 1 | -1/+1 |
| | | | | This reverts commit 575d36067953ae20e76d64bc95d8b3c4577995db. | ||||
* | Revert "src: Fix notes on pull-request." | Ondrej Ille | 2021-03-22 | 3 | -9/+10 |
| | | | | This reverts commit c7a6eda4640ae235c944168ca6c536434808ece8. | ||||
* | src: Fix notes on pull-request. | Ondrej Ille | 2021-03-22 | 3 | -10/+9 |
| | |||||
* | src: Fix build warning for redundant comparison. | Ondrej Ille | 2021-03-22 | 1 | -1/+1 |
| | |||||
* | src: Add -Wpsl-uncovered option to optionally warn about uncovered PSL ↵ | Ondrej Ille | 2021-03-22 | 4 | -17/+31 |
| | | | | 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 |
| | |||||
* | netlists-dump: also dump attributes | Tristan Gingold | 2021-03-17 | 3 | -74/+168 |
| | |||||
* | synth: handle loc attribute (for ports). Fix #1682 | Tristan Gingold | 2021-03-17 | 2 | -1/+5 |
| | |||||
* | netlists: do not remove net gates that have an attribute | Tristan Gingold | 2021-03-17 | 3 | -25/+36 |
| | |||||
* | std_names: add Name_Loc | Tristan Gingold | 2021-03-17 | 2 | -1/+3 |
| | |||||
* | synth-expr.adb: add comments | Tristan Gingold | 2021-03-14 | 1 | -0/+5 |
| | |||||
* | synth-expr.adb: handle const right in synth_short_circuit. Fix #1685 | Tristan Gingold | 2021-03-14 | 1 | -0/+6 |
| | |||||
* | vhdl-canon.adb: handle individual assoc in extract sensitivity. Fix #1684 | Tristan Gingold | 2021-03-13 | 1 | -0/+2 |
| | |||||
* | synth-oper: handle const for numeric_std.match Fix #1679 | Tristan Gingold | 2021-03-13 | 1 | -0/+1 |
| | |||||
* | synth-expr: allow non-simple name for FF clocks. Fix #1681 | Tristan Gingold | 2021-03-13 | 1 | -12/+17 |
| | |||||
* | synth: handle attributes of length 0. Fix #1680 | Tristan Gingold | 2021-03-13 | 2 | -3/+6 |
| | |||||
* | Add a warning for processes without a wait statement. Fix #1677 | Tristan Gingold | 2021-03-08 | 2 | -7/+17 |
| | |||||
* | ghdlvpi.adb: use Directory_Separator. | Tristan Gingold | 2021-03-07 | 1 | -1/+3 |
| | |||||
* | Include directory structure proposal. | Michał Kruszewski | 2021-03-07 | 3 | -2/+2 |
| | |||||
* | VHPI: add initial minimal implementation | Marlon James | 2021-03-04 | 13 | -21/+3209 |
| | | | | | | | | Minimal implementation of VHPI provides library loading and error support. Calling most vhpi_* functions will raise a VHPI error condition. Incorporates VHPI thunks into libghdlvpi for linking. | ||||
* | VPI: support loading multiple libraries | Marlon James | 2021-03-02 | 1 | -13/+51 |
| | |||||
* | synth: handle pow and arctan from ieee.math_real. Fix #1665 | Tristan Gingold | 2021-02-27 | 5 | -6/+30 |
| | |||||
* | 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 |
| | |||||
* | synth-stmts: handle attributes in block and generate statements. Fix #1658 | Tristan Gingold | 2021-02-21 | 1 | -0/+5 |
| | |||||
* | std_names: add async_abort and sync_abort. For #1654 | Tristan Gingold | 2021-02-21 | 3 | -36/+40 |
| | |||||
* | 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 |
| | |||||
* | ghdlsynth.adb: unknown vendor library is now an error. Fix #1650 | Tristan Gingold | 2021-02-19 | 1 | -1/+6 |
| | |||||
* | grt-signals.adb: fix access. Fix #1652 | Tristan Gingold | 2021-02-18 | 1 | -1/+1 |
| | |||||
* | Makefile: put libraries in lib/. For #1642 | Tristan Gingold | 2021-02-13 | 1 | -2/+1 |
| | |||||
* | synth-expr: compute signess for range array attributes. Fix #1645 | Tristan Gingold | 2021-02-12 | 3 | -17/+9 |
| | |||||
* | 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 |
| | |||||
* | netlists-folds: add comments | Tristan Gingold | 2021-02-09 | 1 | -0/+4 |
| | |||||
* | Add support for PSL onehot/onehot0 functions (#1633) | T. Meissner | 2021-02-09 | 19 | -127/+352 |
| | | | | | | | | | | | | | | | * 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-02-05 | 98 | -549/+361 |
| |