aboutsummaryrefslogtreecommitdiffstats
path: root/src/synth/synth-inference.adb
Commit message (Expand)AuthorAgeFilesLines
* synth-inference: optimize for controls.Tristan Gingold2019-09-231-1/+7
* synth: completly disable inference with -di.Tristan Gingold2019-09-221-4/+6
* synth: improve locations tracking.Tristan Gingold2019-09-181-0/+3
* synth-inference: detect false loop.Tristan Gingold2019-09-171-2/+109
* synth: add synth-flags, add debug option -di.Tristan Gingold2019-09-171-1/+5
* synth: add support for record types.Tristan Gingold2019-08-291-6/+3
* synth: rework partial assignmentsTristan Gingold2019-08-271-8/+29
* synth: refactoring in inference/environment.Tristan Gingold2019-08-011-6/+3
* synth: refactor inference, add comment, strengthen check.Tristan Gingold2019-08-011-18/+35
* synth: refactoring in synth-inference.Tristan Gingold2019-07-311-129/+137
* synth: fix Idff; fix 'edge and enable'.Tristan Gingold2019-07-021-8/+5
* synth: add get_input_net helper.Tristan Gingold2019-06-281-2/+2
* synth: use only one edge gate, make it fully abstract. Handle falling_edge.Tristan Gingold2019-05-221-4/+5
* synth: handle synchronous enable in inference.Tristan Gingold2019-04-161-23/+45
* synth: support async reset in inference.Tristan Gingold2019-04-161-95/+114
* synth: add comments.Tristan Gingold2019-04-161-0/+56
* synth: defer gates removal after at end of entity synthesis.Tristan Gingold2017-02-151-3/+4
* Add netlist generation infrastructure.Tristan Gingold2017-01-311-0/+235