aboutsummaryrefslogtreecommitdiffstats
path: root/src/ghdldrv
Commit message (Collapse)AuthorAgeFilesLines
* synth: add debug flag -dc to not clean.Tristan Gingold2019-09-171-0/+3
|
* synth: add synth-flags, add debug option -di.Tristan Gingold2019-09-171-0/+4
|
* synth-disp_vhdl: handle record for input ports.Tristan Gingold2019-09-031-3/+6
|
* synth: add support for --synth on llvm, link with -lm.Tristan Gingold2019-08-301-0/+2
|
* vhdl psl: fully scan PSL keywords in scanner.Tristan Gingold2019-08-201-1/+7
|
* synth: analyze input files.Tristan Gingold2019-08-201-1/+8
|
* synth: handle verification units.Tristan Gingold2019-08-201-0/+2
|
* vhdl: recognize PSL units reserved words.Tristan Gingold2019-08-161-1/+1
|
* ghdlsynth: add command to get libghdl paths.Tristan Gingold2019-08-144-22/+97
|
* ghdldrv: move command_str_disp from ghdlvpi to ghdlmainTristan Gingold2019-08-143-38/+38
|
* 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
| | | | | | | | | | | | | | | | | | | | | | | | | | * vhdl: make the parser understand PSL assume * assume does not actually have report according to the spec. Just a property. * add SPL assume to semantic analysis * canonicalise PSL assume * add assume to annotations * add PSL assume to simulation code * statement -> directive * add assume to translation files * update ticked24 testcase * correctly parse assume * add assume testcase * refactor chunk of duplicated code
* 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
|