aboutsummaryrefslogtreecommitdiffstats
Commit message (Collapse)AuthorAgeFilesLines
...
* vhdl-sem_psl.adb: handle goto/equal repeated sequence. For #1708Tristan Gingold2021-04-051-8/+20
|
* vhdl-parse_psl.adb: handle parenthesis boolean prefixes. For #1708Tristan Gingold2021-04-051-29/+62
|
* vhdl and libraries: add support for binding to a foreign moduleTristan Gingold2021-04-057-124/+237
|
* ghdldrv/: initial support for foreign modulesTristan Gingold2021-04-055-11/+28
|
* vhdl: add Iir_Kind_Foreign_ModuleTristan Gingold2021-04-0511-631/+757
|
* pnodes.py: fix a typoTristan Gingold2021-04-051-1/+1
|
* psl-subsets: fix fallout of #1708Tristan Gingold2021-04-031-2/+3
|
* src: Better reporting of missing parenthesis.Ondrej Ille2021-04-031-5/+24
| | | | If multiple are missing, report only once and total missing count.
* src: Add Resync_To_End_Of_External_Name.Ondrej Ille2021-04-031-1/+21
|
* testsuite/gna: add a test for #1708Tristan Gingold2021-04-032-0/+44
|
* psl: prefix of goto/non-consecutive repetition is a bool. Fix #1708Tristan Gingold2021-04-036-58/+118
|
* vhdl-parse.adb: fix indentation (for #1711)Tristan Gingold2021-04-031-30/+31
|
* src: More detailed message on invalid variable locations.Ondrej Ille2021-04-031-12/+46
|
* src: Provide nicer message if Tok_Is is swapped with Tok_Assign for alias.Ondrej Ille2021-04-031-2/+6
|
* Add base support for the attribue element in vhdl 08Anselmo952021-04-036-0/+136
|
* testsuite/gna: add a testcase for #1704Tristan Gingold2021-04-025-0/+82
|
* doc/using: document synth option '--out' (#1705)Unai Martinez-Corral2021-03-311-7/+26
|
* testsuite/gna: add a test for #1697Tristan Gingold2021-03-304-0/+49
|
* vhdl-sem_expr.adb: detect incorrect static aggregate length mismatch. For #1697Tristan Gingold2021-03-301-1/+9
|
* testsuite/synth: add a test for #1703Tristan Gingold2021-03-292-0/+44
|
* netlists-disp_vhdl: do not display edge net when not needed. Fix #1703Tristan Gingold2021-03-293-25/+49
|
* ghdlsynth: add --out=raw-vhdl. For #1702Tristan Gingold2021-03-291-7/+7
|
* ci/msys2: MINGW_INSTALLS is deprecated, use MINGW_ARCH insteadumarcor2021-03-291-1/+1
|
* vhdl-parse_psl: avoid crash in case of error. For #1701Tristan Gingold2021-03-281-3/+8
|
* vhdl-parse_psl: minor reformatingTristan Gingold2021-03-281-10/+9
|
* src: Handle also Equal Repeat and Goto repeat sequences. Keep TODO about ↵Ondrej Ille2021-03-281-5/+5
| | | | check of simple combinatorial expression/
* testsuite: Update indexOndrej Ille2021-03-282-0/+0
|
* testsuite: Add test for #1700Ondrej Ille2021-03-282-0/+49
|
* 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-282-0/+11
| | | | with suffixed repetition operator without surrounding sequence braces.
* testsuite/synth: add a test for #1698Tristan Gingold2021-03-273-0/+41
|
* psl-subsets.adb: allow optionnal sequence to plus repeat. Fix #1698Tristan Gingold2021-03-271-3/+2
|
* ghdlsynth.adb: also allow .psl files without any warningTristan Gingold2021-03-272-6/+13
|
* testsuite/synth: Add a test case. For #1675Tristan Gingold2021-03-2710-0/+379
|
* synth: expand ports for record. Fix #1675Tristan Gingold2021-03-273-65/+270
|
* doc: Add --psl-report-uncovered documentation option.Ondrej Ille2021-03-231-0/+4
|
* git: update-index, allow +x for executionOndrej Ille2021-03-221-0/+0
|
* testsuite/gna: Adjust issue1690 test to work with --psl-report-uncovered.Ondrej Ille2021-03-221-2/+2
|
* src: Move --psl-report-uncovered to run options, not analysis options.Ondrej Ille2021-03-224-3/+12
|
* Revert "src: Add -Wpsl-uncovered option to optionally warn about uncovered ↵Ondrej Ille2021-03-224-31/+17
| | | | | | 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-223-9/+10
| | | | This reverts commit c7a6eda4640ae235c944168ca6c536434808ece8.
* testsuite: Add gna for 1690.Ondrej Ille2021-03-222-0/+59
|
* src: Fix notes on pull-request.Ondrej Ille2021-03-223-10/+9
|
* 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-224-17/+31
| | | | sequences at the end of simulation.
* testsuite/gna: add a test for #1689Tristan Gingold2021-03-212-0/+39
|
* vhdl-sem_types: fix staticness of constrained array. For #1689Tristan Gingold2021-03-211-7/+10
|
* pyGHDL: regenerateTristan Gingold2021-03-201-180/+181
|
generated by cgit v1.2.3 (git 2.25.1) at 2025-03-06 23:12:45 +0000