| Commit message (Expand) | Author | Age | Files | Lines |
|---|
| ... | |
| * | 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 |
| * | src: Add -Wpsl-uncovered option to optionally warn about uncovered PSL sequen... | Ondrej Ille | 2021-03-22 | 4 | -17/+31 |
| * | testsuite/gna: add a test for #1689 | Tristan Gingold | 2021-03-21 | 2 | -0/+39 |
| * | vhdl-sem_types: fix staticness of constrained array. For #1689 | Tristan Gingold | 2021-03-21 | 1 | -7/+10 |
| * | pyGHDL: regenerate | Tristan Gingold | 2021-03-20 | 1 | -180/+181 |
| * | testsuite/gna: add a test for #1691 | Tristan Gingold | 2021-03-20 | 2 | -0/+22 |
| * | vhdl: make standard.now impure for vhdl 2008. Fix #1691 | Tristan Gingold | 2021-03-20 | 1 | -5/+11 |
| * | testsuite/gna: add a test for #1688 | Tristan Gingold | 2021-03-19 | 3 | -0/+80 |
| * | vhdl: handle alias of protected objects. Fix #1688 | Tristan Gingold | 2021-03-19 | 2 | -8/+23 |
| * | testsuite/gna: add test for #1687 | Tristan Gingold | 2021-03-18 | 3 | -0/+43 |
| * | configure: work-around unexpected regexp range with sv_SE locale. Fix #1581 | Tristan Gingold | 2021-03-18 | 1 | -2/+5 |
| * | 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 |
| * | testsuite/synth: add test for #1685 | Tristan Gingold | 2021-03-14 | 2 | -0/+43 |
| * | synth-expr.adb: handle const right in synth_short_circuit. Fix #1685 | Tristan Gingold | 2021-03-14 | 1 | -0/+6 |
| * | testsuite/gna: add a test for #1684 | Tristan Gingold | 2021-03-13 | 5 | -0/+90 |
| * | vhdl-canon.adb: handle individual assoc in extract sensitivity. Fix #1684 | Tristan Gingold | 2021-03-13 | 1 | -0/+2 |
| * | testsuite/synth: add a test for #1679 | Tristan Gingold | 2021-03-13 | 2 | -0/+30 |
| * | synth-oper: handle const for numeric_std.match Fix #1679 | Tristan Gingold | 2021-03-13 | 1 | -0/+1 |
| * | testsuite/synth: add a test for #1681 | Tristan Gingold | 2021-03-13 | 4 | -0/+119 |
| * | synth-expr: allow non-simple name for FF clocks. Fix #1681 | Tristan Gingold | 2021-03-13 | 1 | -12/+17 |
| * | testsuite/synth: add a test for #1680 | Tristan Gingold | 2021-03-13 | 2 | -0/+40 |
