index
:
iCE40/ghdl
master
[no description]
about
summary
refs
log
tree
commit
diff
stats
log msg
author
committer
range
Commit message (
Expand
)
Author
Age
Files
Lines
...
*
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
*
synth: handle attributes of length 0. Fix #1680
Tristan Gingold
2021-03-13
2
-3
/
+6
*
scripts/vendors: add missing workdir argument
Nicola Corna
2021-03-13
1
-3
/
+3
[prev]
[next]