aboutsummaryrefslogtreecommitdiffstats
Commit message (Expand)AuthorAgeFilesLines
...
* 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 chec...Ondrej Ille2021-03-281-5/+5
* 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
* 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>" wi...Ondrej Ille2021-03-282-0/+11
* 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 PS...Ondrej Ille2021-03-224-31/+17
* Revert "src: Fix build warning for redundant comparison."Ondrej Ille2021-03-221-1/+1
* Revert "src: Fix notes on pull-request."Ondrej Ille2021-03-223-9/+10
* 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 sequen...Ondrej Ille2021-03-224-17/+31
* 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
* testsuite/gna: add a test for #1691Tristan Gingold2021-03-202-0/+22
* vhdl: make standard.now impure for vhdl 2008. Fix #1691Tristan Gingold2021-03-201-5/+11
* testsuite/gna: add a test for #1688Tristan Gingold2021-03-193-0/+80
* vhdl: handle alias of protected objects. Fix #1688Tristan Gingold2021-03-192-8/+23
* testsuite/gna: add test for #1687Tristan Gingold2021-03-183-0/+43
* configure: work-around unexpected regexp range with sv_SE locale. Fix #1581Tristan Gingold2021-03-181-2/+5
* netlists-dump: also dump attributesTristan Gingold2021-03-173-74/+168
* synth: handle loc attribute (for ports). Fix #1682Tristan Gingold2021-03-172-1/+5
* netlists: do not remove net gates that have an attributeTristan Gingold2021-03-173-25/+36
* std_names: add Name_LocTristan Gingold2021-03-172-1/+3
* synth-expr.adb: add commentsTristan Gingold2021-03-141-0/+5
* testsuite/synth: add test for #1685Tristan Gingold2021-03-142-0/+43
* synth-expr.adb: handle const right in synth_short_circuit. Fix #1685Tristan Gingold2021-03-141-0/+6
* testsuite/gna: add a test for #1684Tristan Gingold2021-03-135-0/+90
* vhdl-canon.adb: handle individual assoc in extract sensitivity. Fix #1684Tristan Gingold2021-03-131-0/+2
* testsuite/synth: add a test for #1679Tristan Gingold2021-03-132-0/+30
* synth-oper: handle const for numeric_std.match Fix #1679Tristan Gingold2021-03-131-0/+1
* testsuite/synth: add a test for #1681Tristan Gingold2021-03-134-0/+119
* synth-expr: allow non-simple name for FF clocks. Fix #1681Tristan Gingold2021-03-131-12/+17
* testsuite/synth: add a test for #1680Tristan Gingold2021-03-132-0/+40
* synth: handle attributes of length 0. Fix #1680Tristan Gingold2021-03-132-3/+6
* scripts/vendors: add missing workdir argumentNicola Corna2021-03-131-3/+3
generated by cgit v1.2.3 (git 2.25.1) at 2024-08-25 04:40:05 +0000