aboutsummaryrefslogtreecommitdiffstats
path: root/src/synth/synth-stmts.adb
Commit message (Expand)AuthorAgeFilesLines
* synth: fixes after previous patch.Tristan Gingold2019-09-251-1/+1
* synth: rework type for expression.Tristan Gingold2019-09-251-56/+139
* synth: handle subtype conversions on interfaces.Tristan Gingold2019-09-221-4/+2
* synth: preliminary work for subtype conversions on interfaces.Tristan Gingold2019-09-221-4/+9
* synth: handle exit/next statements.Tristan Gingold2019-09-221-5/+179
* synth: remove T_En from Seq_Context.Tristan Gingold2019-09-211-25/+19
* synth: add bit0/bit1 in instance.Tristan Gingold2019-09-211-6/+3
* synth: rename get/set_module for instances.Tristan Gingold2019-09-201-2/+0
* synth-context: get rid off Set_Block_Scope.Tristan Gingold2019-09-201-8/+4
* synth: make synth_instance_type private.Tristan Gingold2019-09-191-14/+18
* synth: Add support for PSL cover directive (#930)T. Meissner2019-09-191-0/+20
* synth: improve locations tracking.Tristan Gingold2019-09-181-3/+4
* synth: remove value_mux2.Tristan Gingold2019-09-181-16/+26
* synth-stmts: fix uninitialized variable.Tristan Gingold2019-09-131-1/+9
* synth: initialize subprogram variables.Tristan Gingold2019-09-131-1/+1
* synth: improve support of return statement.Tristan Gingold2019-09-111-14/+86
* synth: introduce Seq_Context.Tristan Gingold2019-09-111-68/+62
* synth: move synth_user_function_call to synth-stmts.Tristan Gingold2019-09-111-1/+60
* synth: handle alias (WIP, read only).Tristan Gingold2019-09-111-8/+29
* synth: handle partial assignments in case statements.Tristan Gingold2019-09-071-22/+59
* synth: handle large width in get_net.Tristan Gingold2019-09-041-1/+3
* synth: handle conditional variable assignment.Tristan Gingold2019-09-021-0/+34
* synth: fix type elaboration of interfaces.Tristan Gingold2019-08-301-2/+0
* synth: ignore report statement.Tristan Gingold2019-08-301-0/+2
* synth: add support for record types.Tristan Gingold2019-08-291-62/+132
* synth: support sequential conditional signal assignment.Tristan Gingold2019-08-271-0/+2
* synth: rework partial assignmentsTristan Gingold2019-08-271-24/+24
* synth: set name to assert/assume gates.Tristan Gingold2019-08-201-4/+15
* vhdl: handle assume in verification units.Tristan Gingold2019-08-201-0/+2
* synth: set location on assume/assert gates.Tristan Gingold2019-08-201-4/+13
* synth: handle verification units.Tristan Gingold2019-08-201-2/+19
* synth: fix handling of assume/assert.Tristan Gingold2019-08-141-6/+65
* synth: also extract edge in PSL expressions.Tristan Gingold2019-08-131-4/+20
* synth: extract edge for PSL clocks.Tristan Gingold2019-08-131-27/+34
* Support for PSL assert and assume in synthesis (#892)Pepijn de Vos2019-08-131-4/+53
* synth: fix crash when assignment target is an aggregate.Tristan Gingold2019-08-081-5/+7
* synth: handle subtype conversions.Tristan Gingold2019-08-051-24/+45
* synth: preliminary support of integer literals.Tristan Gingold2019-08-021-6/+2
* synth: rework indexed names.Tristan Gingold2019-07-301-34/+36
* synth: add support for memories.Tristan Gingold2019-07-291-3/+5
* synth: remove extract_bound (trivial).Tristan Gingold2019-07-281-1/+1
* synth: preliminary support of dynamic indexing.Tristan Gingold2019-07-281-41/+34
* synth: preliminary support of integer subtypes.Tristan Gingold2019-07-261-1/+3
* synth: array inequality, integer in choices.Tristan Gingold2019-07-251-0/+4
* synth: save and display locations for instances.Tristan Gingold2019-07-251-1/+4
* synth: fix bad ordering in case statement.Tristan Gingold2019-07-241-2/+3
* synth: fix slice/indexed assignment that partially override previous assign.Tristan Gingold2019-07-231-5/+8
* synth: rework names.Tristan Gingold2019-07-221-1/+6
* synth: add support for concurrent selected signal assignment.Tristan Gingold2019-07-201-2/+138
* synth: initial support for for-generate statement.Tristan Gingold2019-07-201-29/+84
generated by cgit v1.2.3 (git 2.25.1) at 2025-07-27 23:57:33 +0000