aboutsummaryrefslogtreecommitdiffstats
path: root/src/synth/synth-environment.adb
Commit message (Collapse)AuthorAgeFilesLines
* synth: fix extract_merge_partial_assigns.Tristan Gingold2019-10-021-5/+15
|
* synth: fix in extract_merge_partial_assigns.Tristan Gingold2019-10-011-0/+5
|
* synth-environment: optimize cascaded if.Tristan Gingold2019-09-281-1/+27
|
* synth: finalize declarations and free wires.Tristan Gingold2019-09-271-14/+92
|
* synth: improve locations tracking.Tristan Gingold2019-09-181-3/+9
|
* synth: fix to get_current_assign_value.Tristan Gingold2019-09-171-7/+4
|
* synth: fold addition on constant nets.Tristan Gingold2019-09-171-0/+45
|
* synth: improve support of return statement.Tristan Gingold2019-09-111-0/+5
|
* synth: handle partial assignments in case statements.Tristan Gingold2019-09-071-17/+0
|
* synth: abstract of Merge_Assigns.Tristan Gingold2019-09-061-56/+111
|
* synth: add netlists.concatsTristan Gingold2019-09-051-31/+7
|
* [PATCH] synth-environment: fix thinkos.Tristan Gingold2019-08-311-14/+57
|
* synth: add support for record types.Tristan Gingold2019-08-291-4/+0
| | | | (WIP: need to fix regression of stmt01).
* synth: rework partial assignmentsTristan Gingold2019-08-271-130/+488
|
* synth: improve error message for multiple assignments.Tristan Gingold2019-08-021-4/+20
|
* synth: handle partial assignments in a process (WIP).Tristan Gingold2019-08-011-18/+75
|
* synth: refactoring in inference/environment.Tristan Gingold2019-08-011-1/+8
|
* synth: refactor inference, add comment, strengthen check.Tristan Gingold2019-08-011-12/+18
|
* synth: add concatn gateTristan Gingold2019-07-191-1/+10
|
* synth: finalize concurrent assignments (WIP).Tristan Gingold2019-07-191-23/+274
|
* synth: make type Wire_Id_Record private.Tristan Gingold2019-07-171-0/+29
|
* synth: renaming of Assign to Seq_Assign.Tristan Gingold2019-07-171-50/+52
|
* synth: add comments.Tristan Gingold2019-07-171-0/+1
|
* synth: add comments.Tristan Gingold2019-07-151-6/+10
|
* synth-environement: add comments.Tristan Gingold2019-07-081-0/+3
|
* synth: support async reset in inference.Tristan Gingold2019-04-161-0/+3
|
* Add netlist generation infrastructure.Tristan Gingold2017-01-311-0/+334