aboutsummaryrefslogtreecommitdiffstats
path: root/src/synth/synth-stmts.adb
Commit message (Expand)AuthorAgeFilesLines
* synth: always finalize declarations. Fix #1591Tristan Gingold2021-01-131-8/+43
* synth: add option to treat asserts as assumes and vice-versatmeissner2021-01-021-2/+10
* synth-stmts: avoid a crash on empty memories.Tristan Gingold2020-12-081-1/+4
* synth-stmts.adb: fix crash on unconditional exit. Fix #1503Tristan Gingold2020-11-011-26/+76
* synth: minor refactoring. Move In_Bounds/In_Range to synth-objtypes.Tristan Gingold2020-09-261-10/+0
* synth: improve diagnostic for multiple assignment. Fix #1428Tristan Gingold2020-08-261-7/+7
* synth-stmts: convert the waveform to the target subtype.Tristan Gingold2020-08-251-7/+13
* synth: add --no-assert-cover option. Fix #1414Tristan Gingold2020-07-311-6/+9
* synth-stmts: improve support of instantiated subprograms. Fix #1408Tristan Gingold2020-07-271-3/+3
* synth: generalize static condition for if statement. Fix #1407Tristan Gingold2020-07-261-4/+4
* synth: avoid crash on invalid range. For ghdl/ghdl-yosys-plugin#126Tristan Gingold2020-06-191-8/+10
* ghdlsynth: add --no-formal and help.Tristan Gingold2020-06-161-0/+26
* vhdl: create default configuration for a vunit. Fix #1372Tristan Gingold2020-06-151-0/+3
* vhdl: analyze and synth concurrent statements in vunit. Fix #1366Tristan Gingold2020-06-121-1/+6
* Synthesis of PSL prev function.Tristan Gingold2020-06-021-68/+0
* synth: use expanded name for assert labels. Fix #1314Tristan Gingold2020-05-161-8/+11
* synth-stmts: ignore choices with L/H/W/X/Z/-/U values.Tristan Gingold2020-05-151-6/+86
* synth-stmts: factorize code for assertion errors, use a level.Tristan Gingold2020-05-141-33/+22
* synth_stmts: handle ranges in case. Fix ghdl/ghdl-yosys-plugin#104Tristan Gingold2020-05-091-9/+53
* synth-stmts: refactoring for synth_choice.Tristan Gingold2020-05-091-85/+84
* synth-stmts: use pmux to implement case statements.Tristan Gingold2020-05-091-127/+127
* synth-stmts: improve support of nested memories.Tristan Gingold2020-05-071-4/+5
* synth: revert a previous commit: remove the En parameter.Tristan Gingold2020-05-061-127/+99
* synth: add support for sequential assertions. Fix #1273Tristan Gingold2020-05-061-9/+8
* synth: revert part of sequential assertion support. Fix #1285Tristan Gingold2020-05-051-76/+20
* synth: handle non-static vectors in target aggregates. Fix #1277Tristan Gingold2020-05-041-18/+71
* synth: add comments.Tristan Gingold2020-05-041-0/+3
* synth: remove Global_Context (cleanup).Tristan Gingold2020-05-041-1/+1
* synth: reduce use of global context.Tristan Gingold2020-05-041-30/+42
* synth-stmts: unshare assigned value.Tristan Gingold2020-05-041-2/+3
* synth: minor refactoring for clean-up.Tristan Gingold2020-05-041-47/+2
* synth-stmts: reduce use of Build_Context.Tristan Gingold2020-05-041-37/+46
* synth-stmts: fix incorrect assumption for control logic.Tristan Gingold2020-05-041-5/+0
* synth-stmts: propagate constant values in case statements.Tristan Gingold2020-05-041-42/+102
* synth: partial refactoring to improve handling of controls in case statements.Tristan Gingold2020-05-041-8/+8
* synth: use tri_state_type for seq_assign_value.Tristan Gingold2020-05-041-1/+2
* synth: preliminary support of sequential assertions. For #1273Tristan Gingold2020-05-041-22/+93
* synth: use static values for control nets when possible.Tristan Gingold2020-05-021-80/+106
* synth-stmts: reduce use of global context.Tristan Gingold2020-05-011-13/+8
* synth-stmts: add use clause for netlists.gatesTristan Gingold2020-05-011-16/+11
* synth: propagate enable condition to expressions. For #1273Tristan Gingold2020-05-011-108/+152
* synth-stmts: add a missing location. Fix #1267Tristan Gingold2020-04-271-1/+4
* synth: add many calls to set_locationTristan Gingold2020-04-261-36/+61
* synth-stmts: add a limit to the number of iterations. Fix #1242Tristan Gingold2020-04-211-0/+11
* types: introduce Direction_Type, which replaces Iir_Direction.Tristan Gingold2020-04-201-6/+6
* synth: avoid a crash while assigning null wires. Fix #1251Tristan Gingold2020-04-201-1/+5
* synth: improve handling of nested memories. Fix #1250Tristan Gingold2020-04-201-70/+73
* synth-stmts: add comments.Tristan Gingold2020-04-191-1/+9
* synth-stmts: propagate errors. For #1243Tristan Gingold2020-04-181-18/+23
* netlists-expands: fix handling of non-consective extractions. Fix #1241Tristan Gingold2020-04-181-0/+1
generated by cgit v1.2.3 (git 2.25.1) at 2024-07-17 05:51:37 +0000