Commit message (Collapse) | Author | Age | Files | Lines | |
---|---|---|---|---|---|
* | fix: avoid "unnecessary with of ancestor [-gnatwr]" with GCC 12 | Xiretza | 2022-05-14 | 1 | -1/+0 |
| | |||||
* | synth: add --latches option to enable latches. Fix #938 | Tristan Gingold | 2021-12-06 | 1 | -0/+3 |
| | |||||
* | synth: use a generic version of synth-environment. | Tristan Gingold | 2021-04-27 | 1 | -3/+2 |
| | |||||
* | update license headers | umarcor | 2021-02-05 | 1 | -5/+3 |
| | |||||
* | synth: add support for sequential assertions. Fix #1273 | Tristan Gingold | 2020-05-06 | 1 | -0/+6 |
| | |||||
* | synth: do not try to do inference on unused nets. Fix #1225 | Tristan Gingold | 2020-04-14 | 1 | -1/+5 |
| | |||||
* | synth: rework (again) memory inference. | Tristan Gingold | 2020-02-10 | 1 | -0/+40 |
Preliminary work to support multi-clock memories. Strengthen and fix fallout of Check_Connected. Rename synth.inference to netlists.inference. |