aboutsummaryrefslogtreecommitdiffstats
path: root/src/synth/synth-flags.ads
Commit message (Expand)AuthorAgeFilesLines
* elab-debugger: remove duplicate flagTristan Gingold2022-06-031-3/+0
* ghdlsynth: add debug option for elaborationTristan Gingold2021-08-281-0/+3
* update license headersumarcor2021-02-051-5/+3
* synth: add option to treat asserts as assumes and vice-versatmeissner2021-01-021-0/+6
* synth: add --no-assert-cover option. Fix #1414Tristan Gingold2020-07-311-0/+4
* synth: add -g option to enable debugger on some errors.Tristan Gingold2020-07-261-1/+1
* ghdlsynth: add --no-formal and help.Tristan Gingold2020-06-161-0/+3
* synth: refine -dm debug option. Add -dm2Tristan Gingold2020-05-311-1/+4
* synth-flags: consider severity error as an error.Tristan Gingold2020-05-151-1/+1
* synth-stmts: factorize code for assertion errors, use a level.Tristan Gingold2020-05-141-0/+5
* synth: support -v option.Tristan Gingold2020-04-221-0/+2
* synth-stmts: add a limit to the number of iterations. Fix #1242Tristan Gingold2020-04-211-0/+3
* synth: preliminary work to export module parameters.Tristan Gingold2020-03-311-1/+4
* synth: top entity name is not anymore hashed by default.Tristan Gingold2020-03-011-0/+20
* synth-context: add source_scope (for debugger).Tristan Gingold2019-11-231-0/+4
* synth: infrastructure for debugger.Tristan Gingold2019-11-201-0/+2
* synth: add traces for debugging.Tristan Gingold2019-11-171-0/+2
* netlists: enable expansion.Tristan Gingold2019-11-041-1/+1
* netlists: add code to expand dyn_extract gates (WIP).Tristan Gingold2019-10-271-1/+3
* synth: add netlists-memories to extract memories. Still WIP.Tristan Gingold2019-10-171-0/+2
* synth: add debug flag -dc to not clean.Tristan Gingold2019-09-171-0/+2
* synth: add synth-flags, add debug option -di.Tristan Gingold2019-09-171-0/+23