aboutsummaryrefslogtreecommitdiffstats
path: root/src/synth/netlists-inference.ads
Commit message (Collapse)AuthorAgeFilesLines
* fix: avoid "unnecessary with of ancestor [-gnatwr]" with GCC 12Xiretza2022-05-141-1/+0
|
* synth: add --latches option to enable latches. Fix #938Tristan Gingold2021-12-061-0/+3
|
* synth: use a generic version of synth-environment.Tristan Gingold2021-04-271-3/+2
|
* update license headersumarcor2021-02-051-5/+3
|
* synth: add support for sequential assertions. Fix #1273Tristan Gingold2020-05-061-0/+6
|
* synth: do not try to do inference on unused nets. Fix #1225Tristan Gingold2020-04-141-1/+5
|
* synth: rework (again) memory inference.Tristan Gingold2020-02-101-0/+40
Preliminary work to support multi-clock memories. Strengthen and fix fallout of Check_Connected. Rename synth.inference to netlists.inference.