Commit message (Expand) | Author | Age | Files | Lines | |
---|---|---|---|---|---|
* | 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 |