aboutsummaryrefslogtreecommitdiffstats
path: root/src/synth/synth-inference.ads
Commit message (Expand)AuthorAgeFilesLines
* synth: rework partial assignmentsTristan Gingold2019-08-271-0/+2
* synth: refactor inference, add comment, strengthen check.Tristan Gingold2019-08-011-1/+7
* Add netlist generation infrastructure.Tristan Gingold2017-01-311-0/+29