index
:
iCE40/ghdl
master
[no description]
about
summary
refs
log
tree
commit
diff
stats
log msg
author
committer
range
path:
root
/
src
Commit message (
Expand
)
Author
Age
Files
Lines
*
src: grt-utils. Fix path look-up fo PSL RTis since they now have Parent.
Ondrej Ille
2021-04-08
2
-8
/
+7
*
src: Define PSL type RTI with simplified assertion state.
Ondrej Ille
2021-04-08
5
-6
/
+110
*
grt: Dont build path for PSL RTIs. They dont have parents, therefore Get_Path...
Ondrej Ille
2021-04-08
1
-0
/
+12
*
vhdl-sem_decls.adb: handle both anonymous signal and signal attribute. Fix #...
Tristan Gingold
2021-04-07
1
-0
/
+2
*
src: Set fcaret-diagnostics to be on by default. Clean unused Warn_Undriven.
Ondrej Ille
2021-04-05
1
-4
/
+1
*
src: Remove obsolete FIXME, file_open_information parsed. Default "IN"/"READ_...
Ondrej Ille
2021-04-05
1
-1
/
+0
*
ghdlsynth.adb: fix a previous commit
Tristan Gingold
2021-04-05
1
-1
/
+1
*
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
9
-318
/
+432
*
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
*
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
4
-0
/
+70
*
vhdl-sem_expr.adb: detect incorrect static aggregate length mismatch. For #1697
Tristan Gingold
2021-03-30
1
-1
/
+9
*
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
*
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
*
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
*
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
*
synth: expand ports for record. Fix #1675
Tristan Gingold
2021-03-27
3
-65
/
+270
*
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
*
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
*
vhdl-sem_types: fix staticness of constrained array. For #1689
Tristan Gingold
2021-03-21
1
-7
/
+10
*
vhdl: make standard.now impure for vhdl 2008. Fix #1691
Tristan Gingold
2021-03-20
1
-5
/
+11
*
vhdl: handle alias of protected objects. Fix #1688
Tristan Gingold
2021-03-19
2
-8
/
+23
*
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
*
synth-expr.adb: handle const right in synth_short_circuit. Fix #1685
Tristan Gingold
2021-03-14
1
-0
/
+6
*
vhdl-canon.adb: handle individual assoc in extract sensitivity. Fix #1684
Tristan Gingold
2021-03-13
1
-0
/
+2
*
synth-oper: handle const for numeric_std.match Fix #1679
Tristan Gingold
2021-03-13
1
-0
/
+1
[next]