aboutsummaryrefslogtreecommitdiffstats
path: root/src/ghdldrv
Commit message (Expand)AuthorAgeFilesLines
* vhdl: add PSL keywords to vhdl08 reserved words.Tristan Gingold2019-08-141-9/+2
* libghdl: also add synthesis part. For #884Tristan Gingold2019-08-132-8/+50
* Add support for PSL assumptions, used in formal verification (#880)Pepijn de Vos2019-08-072-0/+3
* synth: enable handling of pragma translate_on/off.Tristan Gingold2019-07-241-0/+3
* synth: use original entity to display netlist.Tristan Gingold2019-07-231-2/+10
* ghdlsynth: preliminary work for wrapped generation.Tristan Gingold2019-07-221-1/+8
* synth: minor rework.Tristan Gingold2019-07-221-10/+23
* ghdlsynth: quit early in case of error.Tristan Gingold2019-07-151-1/+10
* ghdlsynth: check top entity can be a top entity.Tristan Gingold2019-07-142-19/+35
* vhdl: refactoring: remove configure function with string access.Tristan Gingold2019-07-144-76/+81
* ghdlsynth: automatically find top entity if not specified.Tristan Gingold2019-07-141-8/+33
* synth: set flag_elaborate.Tristan Gingold2019-07-111-0/+2
* libghdl: automatically set the prefix from shared libraryTristan Gingold2019-07-091-1/+1
* ghdllocal: correctly disp GHDL_PREFIX in --disp-config.Tristan Gingold2019-07-093-8/+8
* configure: add --enable-synth (off by default).Tristan Gingold2019-07-064-4/+27
* libghdlsynth: decode options.Tristan Gingold2019-07-042-75/+96
* vhdl: parse and analyze restrict directive.Tristan Gingold2019-07-041-0/+2
* ghdllocal: fix a typo in an error message.Tristan Gingold2019-07-021-1/+1
* ghdlsynth: add option to select the output format.Tristan Gingold2019-07-011-6/+16
* ghdldrv: add comments, analyze files for --synth/-eTristan Gingold2019-07-012-1/+5
* ghdlsimul: fix warning.Tristan Gingold2019-06-301-1/+1
* ghdlcomp: fix warnings.Tristan Gingold2019-06-291-4/+1
* ghdl_jit: almost add ghdlsynthTristan Gingold2019-06-291-0/+2
* vhdl: move annotations from simul to vhdl.Tristan Gingold2019-06-292-7/+7
* ghdldrv: refactoring - share more code, isolate ghdlsynth from ghdlsimul.Tristan Gingold2019-06-296-123/+111
* Error_Msg_Option: do not raise exception.Tristan Gingold2019-06-259-114/+102
* synth: get rid of execution and elaboration.Tristan Gingold2019-06-191-2/+6
* ghdlcomp: really obey to --force-analysis.Tristan Gingold2019-06-051-11/+6
* ghdldrv: handle --force-analysis for llvm and gcc.Tristan Gingold2019-06-052-5/+1
* ghdl import: avoid a crash in case of error.Tristan Gingold2019-06-041-20/+19
* ghdldrv: reject empty argument. Fix #830Tristan Gingold2019-06-041-0/+5
* vhdl-formatters: add range for indent.Tristan Gingold2019-06-033-2/+42
* vhdl-formatters: add indent.Tristan Gingold2019-06-011-1/+9
* vhdl: add code formatter (WIP)Tristan Gingold2019-05-301-1/+12
* vhdl: differenciate block and line comments.Tristan Gingold2019-05-301-1/+2
* vhdl-prints: handle PSL, add psl tokens for strong and inclusive variants.Tristan Gingold2019-05-301-0/+6
* vhdl: renames disp_vhdl to printsTristan Gingold2019-05-302-5/+11
* ghdlprint: exit in case of error.Tristan Gingold2019-05-231-2/+4
* ghdlprint: add --no-sem to --reprintTristan Gingold2019-05-221-9/+33
* synth: add disp_vhdl.Tristan Gingold2019-05-211-2/+7
* ghdldrv: use Dyn_Table instead of the GNAT package.Tristan Gingold2019-05-191-8/+6
* Add simple_IO - to be used instead of Text_IO.Tristan Gingold2019-05-198-44/+41
* vhdl: decouple errorouts a bit more.Tristan Gingold2019-05-102-3/+3
* vhdl: replace Iir_Int64 by Int64, and Iir_Fp64 by Fp64.Tristan Gingold2019-05-101-4/+4
* Make lists a generic package, add vhdl-lists.Tristan Gingold2019-05-091-2/+2
* vhdl: extract vhdl.errors from errorout.Tristan Gingold2019-05-082-0/+2
* vhdl: move iirs_utils to vhdl.utilsTristan Gingold2019-05-063-4/+4
* vhdl: move xrefs to vhdl child package.Tristan Gingold2019-05-061-11/+11
* vhdl: move nodes_meta package to vhdl child.Tristan Gingold2019-05-061-1/+1
* vhdl: rename iirs to vhdl.nodesTristan Gingold2019-05-057-8/+8