aboutsummaryrefslogtreecommitdiffstats
path: root/src/synth
Commit message (Expand)AuthorAgeFilesLines
* netlists-disp_vhdl: do not used literals for prefixes.Tristan Gingold2019-08-271-12/+53
* synth: add support for constant exponentiation.Tristan Gingold2019-08-201-0/+10
* synth: set name to assert/assume gates.Tristan Gingold2019-08-204-12/+44
* netlist: fix minor pasto.Tristan Gingold2019-08-201-1/+1
* initial support for reduce and/or (#900)Pepijn de Vos2019-08-203-1/+30
* vhdl: handle assume in verification units.Tristan Gingold2019-08-201-0/+2
* synth: set location on assume/assert gates.Tristan Gingold2019-08-203-8/+19
* synth: handle verification units.Tristan Gingold2019-08-203-2/+37
* synth: handle array attribute "length" (#895)marph912019-08-191-0/+10
* synth: fix tgingold/ghdlsynth#34 (association).Tristan Gingold2019-08-171-2/+1
* synth: handle integer values in subtype conversion.Tristan Gingold2019-08-161-0/+2
* synth: handle integers for displaying vhdl ports.Tristan Gingold2019-08-161-0/+10
* vhdl: declare verification units (WIP).Tristan Gingold2019-08-161-0/+2
* synth: handle array attributes; handle integer subtypes in generics.Tristan Gingold2019-08-162-2/+91
* add synthesis support for logic operators on numeric types (#893)Pepijn de Vos2019-08-152-4/+35
* synth: fix handling of assume/assert.Tristan Gingold2019-08-141-6/+65
* ghdlsynth: declare init_for_ghdl_synth.Tristan Gingold2019-08-141-1/+4
* vhdl: handle PSL keywords as vhdl08 reserved words; switch to PSL scanner mode.Tristan Gingold2019-08-141-0/+3
* synth: also extract edge in PSL expressions.Tristan Gingold2019-08-133-18/+36
* synth: extract edge for PSL clocks.Tristan Gingold2019-08-131-27/+34
* libghdlsynth: make it almost empty, as libghdl will be used instead.Tristan Gingold2019-08-131-8/+0
* Support for PSL assert and assume in synthesis (#892)Pepijn de Vos2019-08-131-4/+53
* libghdl: also add synthesis part. For #884Tristan Gingold2019-08-133-44/+4
* synth: build_header was replaced by a Makefile target.Tristan Gingold2019-08-131-8/+0
* synth: add comments.Tristan Gingold2019-08-091-1/+9
* synth: fix crash when assignment target is an aggregate.Tristan Gingold2019-08-081-5/+7
* synth: handle 1 bit integer in disp_vhdl, fix range in synth-expr.Tristan Gingold2019-08-082-4/+13
* synth: improve support of vhdl08. Fix #882Tristan Gingold2019-08-051-4/+13
* synth: add asserts in synth-valuesTristan Gingold2019-08-051-0/+5
* synth: handle subtype conversions.Tristan Gingold2019-08-055-73/+154
* synth: handle signed conversions in disp_vhdl.Tristan Gingold2019-08-051-2/+6
* synth: preliminary support of integer literals.Tristan Gingold2019-08-022-18/+67
* synth: add a debug procedure.Tristan Gingold2019-08-022-0/+22
* synth: improve error message for multiple assignments.Tristan Gingold2019-08-021-4/+20
* synth: handle signed integer comparisons (#878)Pepijn de Vos2019-08-013-0/+43
* synth: handle partial assignments in a process (WIP).Tristan Gingold2019-08-011-18/+75
* synth: refactoring in inference/environment.Tristan Gingold2019-08-013-7/+13
* synth: refactor inference, add comment, strengthen check.Tristan Gingold2019-08-014-31/+62
* synth: refactoring in synth-inference.Tristan Gingold2019-07-311-129/+137
* synth: add location on monadic operators.Tristan Gingold2019-07-311-7/+10
* synth: regenerate ghdlsynth_gates.hTristan Gingold2019-07-311-3/+4
* synth: fix a crash in instantiation.Tristan Gingold2019-07-312-8/+9
* synth: slightly improve output for indexes.Tristan Gingold2019-07-301-3/+7
* synth: adjust output for dyn_insert, add dpram2 test.Tristan Gingold2019-07-301-2/+2
* synth: fixes for indexed names.Tristan Gingold2019-07-303-3/+13
* synth: rework indexed names.Tristan Gingold2019-07-304-101/+106
* synth: handle more conversions in disp_vhdlTristan Gingold2019-07-291-1/+44
* synth: add support for memories.Tristan Gingold2019-07-2914-152/+443
* synth: remove extract_bound (trivial).Tristan Gingold2019-07-285-15/+6
* synth: unconstrained arrays.Tristan Gingold2019-07-284-17/+68
generated by cgit v1.2.3 (git 2.25.1) at 2024-10-30 06:14:57 +0000