aboutsummaryrefslogtreecommitdiffstats
path: root/src/synth/synth-environment.ads
Commit message (Expand)AuthorAgeFilesLines
* synth-environment: add Loc parameter to Add_Conc_AssignTristan Gingold2022-07-111-1/+6
* synth: add hooks to support elaboration of foreign instancesTristan Gingold2021-11-281-0/+1
* synth-environment: add subprograms for signals (preliminary work)Tristan Gingold2021-08-281-5/+12
* synth-environment: add Set/Get_Kind, Wire_UnsetTristan Gingold2021-05-071-0/+6
* synth: use a generic version of synth-environment.Tristan Gingold2021-04-271-42/+54
* update license headersumarcor2021-02-051-5/+3
* synth: always finalize declarations. Fix #1591Tristan Gingold2021-01-131-1/+4
* synth: improve diagnostic for multiple assignment. Fix #1428Tristan Gingold2020-08-261-1/+5
* synth: add support for sequential assertions. Fix #1273Tristan Gingold2020-05-061-1/+12
* synth: minor refactoring for clean-up.Tristan Gingold2020-05-041-19/+28
* synth-stmts: propagate constant values in case statements.Tristan Gingold2020-05-041-17/+18
* synth: partial refactoring to improve handling of controls in case statements.Tristan Gingold2020-05-041-1/+7
* synth: use tri_state_type for seq_assign_value.Tristan Gingold2020-05-041-3/+8
* synth: use static values for control nets when possible.Tristan Gingold2020-05-021-0/+3
* synth: refactoring to store static values in wires.Tristan Gingold2020-04-091-8/+25
* synth-environment: add comments.Tristan Gingold2020-04-091-41/+66
* synth-environment: keep order of seq_assign in phi nodes.Tristan Gingold2020-03-211-0/+1
* synth: handle some rotation and shifts. Fix #1077Tristan Gingold2020-01-301-1/+1
* synth: move net_table to netlists-utils.Tristan Gingold2019-11-111-7/+2
* synth: create build2_concat from netlists-concat.Tristan Gingold2019-10-271-1/+0
* synth: propagate assignments out of subprograms. Fix #960Tristan Gingold2019-10-061-0/+7
* synth: finalize declarations and free wires.Tristan Gingold2019-09-271-0/+17
* synth: improve locations tracking.Tristan Gingold2019-09-181-1/+2
* synth: fold addition on constant nets.Tristan Gingold2019-09-171-0/+8
* synth: improve support of return statement.Tristan Gingold2019-09-111-0/+1
* synth: handle partial assignments in case statements.Tristan Gingold2019-09-071-5/+36
* synth: add support for record types.Tristan Gingold2019-08-291-0/+5
* synth: rework partial assignmentsTristan Gingold2019-08-271-8/+38
* synth: add comments.Tristan Gingold2019-08-091-1/+9
* synth: refactoring in inference/environment.Tristan Gingold2019-08-011-0/+2
* synth: refactor inference, add comment, strengthen check.Tristan Gingold2019-08-011-0/+2
* synth: finalize concurrent assignments (WIP).Tristan Gingold2019-07-191-1/+26
* synth: make more types private.Tristan Gingold2019-07-171-34/+47
* synth: make type Wire_Id_Record private.Tristan Gingold2019-07-171-23/+37
* synth: renaming of Assign to Seq_Assign.Tristan Gingold2019-07-171-14/+15
* synth: add comments.Tristan Gingold2019-07-171-0/+1
* synth-environement: add comments.Tristan Gingold2019-07-081-3/+2
* synth: add comments.Tristan Gingold2019-06-071-3/+6
* Add netlist generation infrastructure.Tristan Gingold2017-01-311-0/+153