index
:
iCE40/ghdl
master
[no description]
about
summary
refs
log
tree
commit
diff
stats
log msg
author
committer
range
path:
root
/
src
/
vhdl
/
vhdl-canon.adb
Commit message (
Expand
)
Author
Age
Files
Lines
*
vhdl-canon: canon generic associations for subprogram instantiations.
Tristan Gingold
2020-09-28
1
-1
/
+6
*
vhdl: analyze subprogram instantiations. WIP. For #1470
Tristan Gingold
2020-09-26
1
-6
/
+9
*
vhdl-canon: minor cleanup.
Tristan Gingold
2020-08-08
1
-57
/
+0
*
vhdl: renaming in vhdl-canon.
Tristan Gingold
2020-08-08
1
-182
/
+195
*
vhdl: check missing association to generics. Fix #1379
Tristan Gingold
2020-06-26
1
-0
/
+9
*
vhdl: create default configuration for a vunit. Fix #1372
Tristan Gingold
2020-06-15
1
-158
/
+190
*
vhdl: analyze and synth concurrent statements in vunit. Fix #1366
Tristan Gingold
2020-06-12
1
-7
/
+12
*
psl: keep denoting names in the PSL ast.
Tristan Gingold
2020-03-13
1
-1
/
+2
*
synth: simplify support of inertial associations.
Tristan Gingold
2020-01-09
1
-1
/
+1
*
ams-vhdl: add simultaneous null statement.
Tristan Gingold
2019-12-30
1
-4
/
+23
*
ams-vhdl: analyze, canon and print simultaneous procedural statements.
Tristan Gingold
2019-12-30
1
-0
/
+11
*
vhdl-ams: fix tree consistency for subnature declaration.
Tristan Gingold
2019-12-29
1
-1
/
+2
*
vhdl: improve support of AMS-vhdl (array and record natures, source quantities)
Tristan Gingold
2019-12-28
1
-2
/
+148
*
vhdl: allow attributes in vunit declarations.
Tristan Gingold
2019-10-30
1
-1
/
+3
*
vhdl-canon: handle simple signal assignment in vunits.
Tristan Gingold
2019-10-25
1
-273
/
+272
*
vhdl-canon: extract canon_concurrent_label.
Tristan Gingold
2019-10-25
1
-20
/
+25
*
vhdl-canon: handle some declarations in vunits.
Tristan Gingold
2019-10-23
1
-2
/
+18
*
vhdl: Add the implicit [*] at start of PSL cover sequence.
Tristan Gingold
2019-10-15
1
-0
/
+7
*
vhdl: handle cover and restrict within vunit.
Tristan Gingold
2019-10-15
1
-0
/
+4
*
vhdl: renames Conditional_Expression to Conditional_Expression_Chain.
Tristan Gingold
2019-09-02
1
-1
/
+1
*
vhdl: handle assume in verification units.
Tristan Gingold
2019-08-20
1
-0
/
+2
*
synth: handle verification units.
Tristan Gingold
2019-08-20
1
-31
/
+57
*
vhdl: parse verification unit (WIP).
Tristan Gingold
2019-08-17
1
-0
/
+2
*
vhdl: improve reprint of inertial association.
Tristan Gingold
2019-08-11
1
-27
/
+37
*
Add support for PSL assumptions, used in formal verification (#880)
Pepijn de Vos
2019-08-07
1
-1
/
+2
*
vhdl: cleanup in clear_instantiation_configuration.
Tristan Gingold
2019-07-13
1
-2
/
+2
*
vhdl: minor reformating.
Tristan Gingold
2019-07-11
1
-3
/
+3
*
vhdl: rename Cover_Statement to Cover_Directive.
Tristan Gingold
2019-07-04
1
-1
/
+1
*
vhdl: parse and analyze restrict directive.
Tristan Gingold
2019-07-04
1
-14
/
+26
*
vhdl: add anonymous_signal_declaration.
Tristan Gingold
2019-07-03
1
-13
/
+61
*
vhdl: renames disp_vhdl to prints
Tristan Gingold
2019-05-30
1
-2
/
+2
*
psl: add psl-types, psl-nodes_priv.
Tristan Gingold
2019-05-10
1
-0
/
+1
*
Extract psl-errors from errorout.
Tristan Gingold
2019-05-10
1
-1
/
+2
*
vhdl: extract vhdl.errors from errorout.
Tristan Gingold
2019-05-08
1
-0
/
+1
*
vhdl: remove too strict assertion in canon. Fix #816
Tristan Gingold
2019-05-07
1
-11
/
+3
*
vhdl-nodes_utils: renaming.
Tristan Gingold
2019-05-07
1
-13
/
+13
*
vhdl: renames iir_chains to vhdl.nodes_utils. Remove iir_chain_handling.
Tristan Gingold
2019-05-06
1
-11
/
+12
*
vhdl: move iirs_utils to vhdl.utils
Tristan Gingold
2019-05-06
1
-1
/
+1
*
vhdl: move sem* packages to vhdl children.
Tristan Gingold
2019-05-05
1
-3
/
+3
*
vhdl: move canon to a vhdl child package.
Tristan Gingold
2019-05-05
1
-0
/
+3290