aboutsummaryrefslogtreecommitdiffstats
Commit message (Collapse)AuthorAgeFilesLines
* testsuite/synth: add tests for #1273Tristan Gingold2020-05-046-0/+129
|
* synth: preliminary support of sequential assertions. For #1273Tristan Gingold2020-05-043-23/+99
|
* Document and use --vpi-library-dir-unix (#1279)umarcor2020-05-033-45/+9
| | | | | * testsuite: use '--vpi-library-dir-unix' in 'add_vpi_path' * doc: add '--vpi-library-dir-unix', remove redundant headers
* doc: add hint about passing multiple '--vpi=' (#1276)umarcor2020-05-031-0/+4
|
* testsuite/gna: add tests for #1274Tristan Gingold2020-05-026-0/+104
|
* vhdl-sem_names: handle deference in create_list_of_types.Tristan Gingold2020-05-021-1/+2
|
* vhdl-sem_expr: fix handling of overload lists in merge_wildcard_type. Fix #1274Tristan Gingold2020-05-021-6/+11
|
* synth-context: remove unused bit0/bit1 nets.Tristan Gingold2020-05-022-26/+2
|
* synth: use static values for control nets when possible.Tristan Gingold2020-05-028-130/+241
|
* synth-stmts: reduce use of global context.Tristan Gingold2020-05-011-13/+8
|
* synth-stmts: add use clause for netlists.gatesTristan Gingold2020-05-012-17/+12
|
* synth: propagate enable condition to expressions. For #1273Tristan Gingold2020-05-0112-250/+364
|
* netlists-folds: add Buil2_ImpTristan Gingold2020-05-012-4/+24
|
* testsuite/synth: add and adjust tests for signals default value. #1273Tristan Gingold2020-04-304-3/+21
|
* synth: also check default value of signals. For #1271Tristan Gingold2020-04-301-18/+26
|
* testsuite/synth: add tests for #1271Tristan Gingold2020-04-303-0/+44
|
* synth: do not allow signals in default values. Fix #1271Tristan Gingold2020-04-301-4/+22
| | | | Only for default values of 'global' objects.
* testsuite/synth: add test for #1272Tristan Gingold2020-04-292-0/+21
|
* psl: set locations in CSE. Fix #1272Tristan Gingold2020-04-292-14/+4
|
* testsuite/synth: add a test for previous commit.Tristan Gingold2020-04-281-1/+1
|
* synth: improve handling of synchronous memory read.Tristan Gingold2020-04-281-6/+92
|
* testsuite/gna: add a test for #1269Tristan Gingold2020-04-283-0/+52
|
* vhdl-sem_expr: fix crash on incorrect aggregate. Fix #1269Tristan Gingold2020-04-281-1/+2
|
* testsuite/gna: add test for #1268Tristan Gingold2020-04-273-0/+81
|
* vhdl: fix handling of types name in name attributes. Fix #1268Tristan Gingold2020-04-272-9/+23
|
* testsuite/gna: add a test for the previous commit.Tristan Gingold2020-04-272-0/+4
|
* vhdl: avoid crash on incorrect type mark in subtype indication.Tristan Gingold2020-04-273-10/+21
|
* testsuite/gna: add a test for #1262Tristan Gingold2020-04-275-0/+106
|
* vhdl: minimal support of interface package in entities. For #1262Tristan Gingold2020-04-278-21/+47
|
* testsuite/synth: add test for #1266Tristan Gingold2020-04-273-0/+46
|
* synth-expr: fix handling of array attributes. Fix #1266Tristan Gingold2020-04-271-2/+19
|
* netlists: ignore missing location on more const.Tristan Gingold2020-04-271-7/+10
|
* testsuite/synth: add a test for #1267Tristan Gingold2020-04-272-0/+36
|
* synth-stmts: add a missing location. Fix #1267Tristan Gingold2020-04-271-1/+4
|
* netlists-disp_vhdl: check presence location on significant instances.Tristan Gingold2020-04-261-0/+15
|
* synth: add many calls to set_locationTristan Gingold2020-04-268-56/+134
|
* psl: keep locations.Tristan Gingold2020-04-267-20/+52
|
* testsuite/synth: test more shifts for #1264Tristan Gingold2020-04-262-0/+21
|
* synth-oper: handle more shifts for #1264Tristan Gingold2020-04-261-2/+4
|
* testsuite/synth: add test for #1265Tristan Gingold2020-04-262-0/+22
|
* synth: implement static sub_sgn_int. Fix #1265Tristan Gingold2020-04-263-0/+50
|
* testsuite/synth: add test for #1264Tristan Gingold2020-04-263-0/+51
|
* synth-static_oper: handle sll/srl for signed/unsigned. Fix #1264Tristan Gingold2020-04-261-1/+78
|
* synth-oper: propagate error.Tristan Gingold2020-04-261-4/+8
|
* testsuite/synth: add tests from ghdl/ghdl-yosys-plugin#109Tristan Gingold2020-04-2613-0/+866
|
* netlists-memories: Handle gated dyn_extract.Tristan Gingold2020-04-262-30/+241
|
* netlists: add a very simple dot dump.Tristan Gingold2020-04-254-1/+159
|
* Makefile.in: minor cleanup.Tristan Gingold2020-04-251-3/+0
|
* Makefiles: fixed race condition in creation of "grt" directory before main.o ↵Forrest Voight2020-04-241-6/+6
| | | | is put in it (#1260)
* Makefile: add test target. Fix #1255Tristan Gingold2020-04-241-0/+11
|