aboutsummaryrefslogtreecommitdiffstats
Commit message (Expand)AuthorAgeFilesLines
...
* vhdl-prints: handle restrict in vunit.Tristan Gingold2019-10-211-0/+2
* psl-nfas-utils: reuse True_Node.Tristan Gingold2019-10-211-4/+2
* nelists-memories: reject memories with reset.Tristan Gingold2019-10-211-1/+4
* synth-stmts: set location of muxes on case statements.Tristan Gingold2019-10-211-6/+13
* synth: fixes for value_const.Tristan Gingold2019-10-202-0/+11
* Add testcase for #983Tristan Gingold2019-10-202-0/+53
* vhdl: try to convert identifier to token only for identifiersTristan Gingold2019-10-201-1/+3
* netlists-memories: fixes in ROM.Tristan Gingold2019-10-201-48/+51
* netlists-disp_vhdl: display memory initialization value.Tristan Gingold2019-10-201-2/+46
* synth: add value_const.Tristan Gingold2019-10-207-9/+69
* netlists-memories: preliminary work to handle ROM.Tristan Gingold2019-10-201-111/+194
* synth: add more locations.Tristan Gingold2019-10-202-0/+2
* netlists-dump: also dump instances location.Tristan Gingold2019-10-201-6/+34
* synth: use note messages for memories (instead of warnings).Tristan Gingold2019-10-194-28/+34
* ghdlsynth.h: add functions.Tristan Gingold2019-10-191-0/+4
* Regenerate ghdlsynth_gates.hTristan Gingold2019-10-181-0/+5
* netlists-memories: check ports.Tristan Gingold2019-10-181-7/+161
* vhdl-prints: add parenthesis around boolean and/or.Tristan Gingold2019-10-181-0/+4
* synth-stmts: ignore EOS in PSL expressions.Tristan Gingold2019-10-181-1/+8
* syn_interning: add get_index.Tristan Gingold2019-10-172-14/+31
* netlists-disp_vhdl: display memories.Tristan Gingold2019-10-171-1/+97
* synth: add netlists-memories to extract memories. Still WIP.Tristan Gingold2019-10-178-18/+553
* netlists: add remove_instance.Tristan Gingold2019-10-162-0/+35
* vhdl: check cover/restrict is followed by a sequence.Tristan Gingold2019-10-164-11/+65
* synth: fix psl cover - test when the final state is reached.Tristan Gingold2019-10-151-3/+14
* vhdl: Add the implicit [*] at start of PSL cover sequence.Tristan Gingold2019-10-153-0/+37
* vhdl: handle cover and restrict within vunit.Tristan Gingold2019-10-155-1/+17
* synth: handle overflow literal.Tristan Gingold2019-10-152-1/+9
* netlists: declare memory gates.Tristan Gingold2019-10-153-3/+215
* synth-expr: handle any discrete_range in aggregate choices.Tristan Gingold2019-10-151-1/+2
* testsuite/synth: add testcase for previous commit.Tristan Gingold2019-10-156-0/+118
* synth-insts: accept architecture instantiation in synth_dependencies.Tristan Gingold2019-10-151-2/+3
* Use Decode_Work_Option in options. Factorize code.Tristan Gingold2019-10-154-25/+11
* testsuite/synth: add a test for --work option within files.Tristan Gingold2019-10-154-0/+75
* ghdlsynth: allow --work= option in the middle of files.Tristan Gingold2019-10-153-1/+48
* testsuite/synth: add a test.Tristan Gingold2019-10-153-1/+68
* testsuite/synth: add a test for previous commit.Tristan Gingold2019-10-143-1/+87
* synth-inference: handle multiple connections.Tristan Gingold2019-10-141-14/+31
* testsuite/synth: add testcases for previous commit.Tristan Gingold2019-10-1413-0/+494
* synth-infere: extract clock from and tree.Tristan Gingold2019-10-141-17/+102
* netlists-dump: do not print name of anonymous parameters.Tristan Gingold2019-10-141-2/+6
* testsuite/synth: add testcase for previous commit.Tristan Gingold2019-10-143-1/+80
* synth-infere: fix partial assignment with clock enable.Tristan Gingold2019-10-141-2/+9
* vhdl-evaluation: handle bit condition operator. Fix #977Tristan Gingold2019-10-131-0/+3
* synth: handle constants for condition operator.Tristan Gingold2019-10-133-1/+20
* synth-stmts: fix thinko (need to adjust type for indexed a 1-bit array).Tristan Gingold2019-10-131-2/+5
* testsuite/synth: add testcase for previous commit.Tristan Gingold2019-10-133-1/+46
* synth-stmts: handle const indexed array.Tristan Gingold2019-10-131-0/+5
* synth-oper: handle const array array concat.Tristan Gingold2019-10-131-16/+41
* synth-oper: add more operations (float div, less for arrays)Tristan Gingold2019-10-131-7/+39