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
...
*
trans-chap9: handle N_Imp_Bool for PSL. For #1721
Tristan Gingold
2021-04-13
1
-0
/
+21
*
psl: suffix implication are properties (for simple subset). For #1721
Tristan Gingold
2021-04-13
3
-6
/
+5
*
vhdl-sem_psl.adb: can also extract clock from SERE. For #1721
Tristan Gingold
2021-04-13
1
-1
/
+5
*
vhdl-sem_names.adb: fix check for object prefix of subtype attribute. Fix #1717
Tristan Gingold
2021-04-11
1
-3
/
+1
*
src: Clarify error for conditional signal assignment.
Ondrej Ille
2021-04-11
1
-1
/
+2
*
src: Allow case generate only in VHDL 2008.
Ondrej Ille
2021-04-11
1
-0
/
+1
*
src: Unify check for VHDL at least 2008
Ondrej Ille
2021-04-11
1
-47
/
+25
*
trans-chap9.adb: fix out of scope reference.
Tristan Gingold
2021-04-10
1
-2
/
+3
*
ghdldrv,configure: allow LIB.UNIT name for -e/-r commands. Fix #1718
Tristan Gingold
2021-04-10
8
-38
/
+129
*
src/grt: Avhpi - Specify enum numbers as in VHDL LRM. Add 2008 version enumer...
Ondrej Ille
2021-04-08
1
-5
/
+483
*
src: Fix PSL start count assignment for PSL endpoints.
Ondrej Ille
2021-04-08
1
-9
/
+9
*
src: Introduce two separate PSL counters (Finish and Start).
Ondrej Ille
2021-04-08
5
-19
/
+57
*
src: Adjust grt-psl to use PSL RTI type.
Ondrej Ille
2021-04-08
1
-5
/
+5
*
src: Adjust disp-rti for new PSL RTI type.
Ondrej Ille
2021-04-08
1
-12
/
+27
*
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
[prev]
[next]