| Commit message (Expand) | Author | Age | Files | Lines |
|---|
| * | src: Remove obsolete FIXME, file_open_information parsed. Default "IN"/"READ_... | Ondrej Ille | 2021-04-05 | 1 | -1/+0 |
| * | testsuite.py: set exit status | Tristan Gingold | 2021-04-05 | 1 | -1/+5 |
| * | ghdlsynth.adb: fix a previous commit | Tristan Gingold | 2021-04-05 | 1 | -1/+1 |
| * | testsuite/gna: add more tests for #1708 | Tristan Gingold | 2021-04-05 | 6 | -0/+176 |
| * | vhdl-sem_psl.adb: handle goto/equal repeated sequence. For #1708 | Tristan Gingold | 2021-04-05 | 1 | -8/+20 |
| * | vhdl-parse_psl.adb: handle parenthesis boolean prefixes. For #1708 | Tristan Gingold | 2021-04-05 | 1 | -29/+62 |
| * | vhdl and libraries: add support for binding to a foreign module | Tristan Gingold | 2021-04-05 | 7 | -124/+237 |
| * | ghdldrv/: initial support for foreign modules | Tristan Gingold | 2021-04-05 | 5 | -11/+28 |
| * | vhdl: add Iir_Kind_Foreign_Module | Tristan Gingold | 2021-04-05 | 11 | -631/+757 |
| * | pnodes.py: fix a typo | Tristan Gingold | 2021-04-05 | 1 | -1/+1 |
| * | psl-subsets: fix fallout of #1708 | Tristan Gingold | 2021-04-03 | 1 | -2/+3 |
| * | src: Better reporting of missing parenthesis. | Ondrej Ille | 2021-04-03 | 1 | -5/+24 |
| * | src: Add Resync_To_End_Of_External_Name. | Ondrej Ille | 2021-04-03 | 1 | -1/+21 |
| * | testsuite/gna: add a test for #1708 | Tristan Gingold | 2021-04-03 | 2 | -0/+44 |
| * | psl: prefix of goto/non-consecutive repetition is a bool. Fix #1708 | Tristan Gingold | 2021-04-03 | 6 | -58/+118 |
| * | vhdl-parse.adb: fix indentation (for #1711) | Tristan Gingold | 2021-04-03 | 1 | -30/+31 |
| * | src: More detailed message on invalid variable locations. | Ondrej Ille | 2021-04-03 | 1 | -12/+46 |
| * | src: Provide nicer message if Tok_Is is swapped with Tok_Assign for alias. | Ondrej Ille | 2021-04-03 | 1 | -2/+6 |
| * | Add base support for the attribue element in vhdl 08 | Anselmo95 | 2021-04-03 | 6 | -0/+136 |
| * | testsuite/gna: add a testcase for #1704 | Tristan Gingold | 2021-04-02 | 5 | -0/+82 |
| * | doc/using: document synth option '--out' (#1705) | Unai Martinez-Corral | 2021-03-31 | 1 | -7/+26 |
| * | testsuite/gna: add a test for #1697 | Tristan Gingold | 2021-03-30 | 4 | -0/+49 |
| * | vhdl-sem_expr.adb: detect incorrect static aggregate length mismatch. For #1697 | Tristan Gingold | 2021-03-30 | 1 | -1/+9 |
| * | testsuite/synth: add a test for #1703 | Tristan Gingold | 2021-03-29 | 2 | -0/+44 |
| * | netlists-disp_vhdl: do not display edge net when not needed. Fix #1703 | Tristan Gingold | 2021-03-29 | 3 | -25/+49 |
| * | ghdlsynth: add --out=raw-vhdl. For #1702 | Tristan Gingold | 2021-03-29 | 1 | -7/+7 |
| * | ci/msys2: MINGW_INSTALLS is deprecated, use MINGW_ARCH instead | umarcor | 2021-03-29 | 1 | -1/+1 |
| * | vhdl-parse_psl: avoid crash in case of error. For #1701 | Tristan Gingold | 2021-03-28 | 1 | -3/+8 |
| * | vhdl-parse_psl: minor reformating | Tristan Gingold | 2021-03-28 | 1 | -10/+9 |
| * | src: Handle also Equal Repeat and Goto repeat sequences. Keep TODO about chec... | Ondrej Ille | 2021-03-28 | 1 | -5/+5 |
| * | testsuite: Update index | Ondrej Ille | 2021-03-28 | 2 | -0/+0 |
| * | testsuite: Add test for #1700 | Ondrej Ille | 2021-03-28 | 2 | -0/+49 |
| * | src: Un-handle Equal and Goto repeat sequences in sem_property. Some form of ... | Ondrej Ille | 2021-03-28 | 1 | -10/+5 |
| * | src: Psl, check positive count range already during parsing. | Ondrej Ille | 2021-03-28 | 1 | -0/+16 |
| * | psl, vhdl: Extend semantic pass for PSL to allow "assert never <Sequence>" wi... | Ondrej Ille | 2021-03-28 | 2 | -0/+11 |
| * | testsuite/synth: add a test for #1698 | Tristan Gingold | 2021-03-27 | 3 | -0/+41 |
| * | psl-subsets.adb: allow optionnal sequence to plus repeat. Fix #1698 | Tristan Gingold | 2021-03-27 | 1 | -3/+2 |
| * | ghdlsynth.adb: also allow .psl files without any warning | Tristan Gingold | 2021-03-27 | 2 | -6/+13 |
| * | testsuite/synth: Add a test case. For #1675 | Tristan Gingold | 2021-03-27 | 10 | -0/+379 |
| * | synth: expand ports for record. Fix #1675 | Tristan Gingold | 2021-03-27 | 3 | -65/+270 |
| * | doc: Add --psl-report-uncovered documentation option. | Ondrej Ille | 2021-03-23 | 1 | -0/+4 |
| * | git: update-index, allow +x for execution | Ondrej Ille | 2021-03-22 | 1 | -0/+0 |
| * | testsuite/gna: Adjust issue1690 test to work with --psl-report-uncovered. | Ondrej Ille | 2021-03-22 | 1 | -2/+2 |
| * | 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 PS... | Ondrej Ille | 2021-03-22 | 4 | -31/+17 |
| * | Revert "src: Fix build warning for redundant comparison." | Ondrej Ille | 2021-03-22 | 1 | -1/+1 |
| * | Revert "src: Fix notes on pull-request." | Ondrej Ille | 2021-03-22 | 3 | -9/+10 |
| * | testsuite: Add gna for 1690. | Ondrej Ille | 2021-03-22 | 2 | -0/+59 |
| * | 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 |
