aboutsummaryrefslogtreecommitdiffstats
path: root/src/synth/netlists-inference.ads
Commit message (Expand)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