iCE40/ghdl - [no description]

	Commit message (Collapse)	Author	Age	Files	Lines
...
*	ghdlsynth: add command to get libghdl paths.	Tristan Gingold	2019-08-14	4	-22/+97
\|
*	ghdldrv: move command_str_disp from ghdlvpi to ghdlmain	Tristan Gingold	2019-08-14	3	-38/+38
\|
*	vhdl: add PSL keywords to vhdl08 reserved words.	Tristan Gingold	2019-08-14	1	-9/+2
\|
*	libghdl: also add synthesis part. For #884	Tristan Gingold	2019-08-13	2	-8/+50
\|
*	Add support for PSL assumptions, used in formal verification (#880)	Pepijn de Vos	2019-08-07	2	-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 Gingold	2019-07-24	1	-0/+3
\|
*	synth: use original entity to display netlist.	Tristan Gingold	2019-07-23	1	-2/+10
\|
*	ghdlsynth: preliminary work for wrapped generation.	Tristan Gingold	2019-07-22	1	-1/+8
\|
*	synth: minor rework.	Tristan Gingold	2019-07-22	1	-10/+23
\|
*	ghdlsynth: quit early in case of error.	Tristan Gingold	2019-07-15	1	-1/+10
\|
*	ghdlsynth: check top entity can be a top entity.	Tristan Gingold	2019-07-14	2	-19/+35
\|
*	vhdl: refactoring: remove configure function with string access.	Tristan Gingold	2019-07-14	4	-76/+81
\|
*	ghdlsynth: automatically find top entity if not specified.	Tristan Gingold	2019-07-14	1	-8/+33
\|
*	synth: set flag_elaborate.	Tristan Gingold	2019-07-11	1	-0/+2
\|
*	libghdl: automatically set the prefix from shared library	Tristan Gingold	2019-07-09	1	-1/+1
\|
*	ghdllocal: correctly disp GHDL_PREFIX in --disp-config.	Tristan Gingold	2019-07-09	3	-8/+8
\|
*	configure: add --enable-synth (off by default).	Tristan Gingold	2019-07-06	4	-4/+27
\|
*	libghdlsynth: decode options.	Tristan Gingold	2019-07-04	2	-75/+96
\|
*	vhdl: parse and analyze restrict directive.	Tristan Gingold	2019-07-04	1	-0/+2
\|
*	ghdllocal: fix a typo in an error message.	Tristan Gingold	2019-07-02	1	-1/+1
\|
*	ghdlsynth: add option to select the output format.	Tristan Gingold	2019-07-01	1	-6/+16
\|
*	ghdldrv: add comments, analyze files for --synth/-e	Tristan Gingold	2019-07-01	2	-1/+5
\|
*	ghdlsimul: fix warning.	Tristan Gingold	2019-06-30	1	-1/+1
\|
*	ghdlcomp: fix warnings.	Tristan Gingold	2019-06-29	1	-4/+1
\|
*	ghdl_jit: almost add ghdlsynth	Tristan Gingold	2019-06-29	1	-0/+2
\|
*	vhdl: move annotations from simul to vhdl.	Tristan Gingold	2019-06-29	2	-7/+7
\|
*	ghdldrv: refactoring - share more code, isolate ghdlsynth from ghdlsimul.	Tristan Gingold	2019-06-29	6	-123/+111
\|
*	Error_Msg_Option: do not raise exception.	Tristan Gingold	2019-06-25	9	-114/+102
\|
*	synth: get rid of execution and elaboration.	Tristan Gingold	2019-06-19	1	-2/+6
\|
*	ghdlcomp: really obey to --force-analysis.	Tristan Gingold	2019-06-05	1	-11/+6
\|
*	ghdldrv: handle --force-analysis for llvm and gcc.	Tristan Gingold	2019-06-05	2	-5/+1
\|
*	ghdl import: avoid a crash in case of error.	Tristan Gingold	2019-06-04	1	-20/+19
\|
*	ghdldrv: reject empty argument. Fix #830	Tristan Gingold	2019-06-04	1	-0/+5
\|
*	vhdl-formatters: add range for indent.	Tristan Gingold	2019-06-03	3	-2/+42
\|
*	vhdl-formatters: add indent.	Tristan Gingold	2019-06-01	1	-1/+9
\|
*	vhdl: add code formatter (WIP)	Tristan Gingold	2019-05-30	1	-1/+12
\|
*	vhdl: differenciate block and line comments.	Tristan Gingold	2019-05-30	1	-1/+2
\|
*	vhdl-prints: handle PSL, add psl tokens for strong and inclusive variants.	Tristan Gingold	2019-05-30	1	-0/+6
\|
*	vhdl: renames disp_vhdl to prints	Tristan Gingold	2019-05-30	2	-5/+11
\|
*	ghdlprint: exit in case of error.	Tristan Gingold	2019-05-23	1	-2/+4
\|
*	ghdlprint: add --no-sem to --reprint	Tristan Gingold	2019-05-22	1	-9/+33
\|
*	synth: add disp_vhdl.	Tristan Gingold	2019-05-21	1	-2/+7
\|
*	ghdldrv: use Dyn_Table instead of the GNAT package.	Tristan Gingold	2019-05-19	1	-8/+6
\|
*	Add simple_IO - to be used instead of Text_IO.	Tristan Gingold	2019-05-19	8	-44/+41
\|
*	vhdl: decouple errorouts a bit more.	Tristan Gingold	2019-05-10	2	-3/+3
\|
*	vhdl: replace Iir_Int64 by Int64, and Iir_Fp64 by Fp64.	Tristan Gingold	2019-05-10	1	-4/+4
\|
*	Make lists a generic package, add vhdl-lists.	Tristan Gingold	2019-05-09	1	-2/+2
\|
*	vhdl: extract vhdl.errors from errorout.	Tristan Gingold	2019-05-08	2	-0/+2
\|
*	vhdl: move iirs_utils to vhdl.utils	Tristan Gingold	2019-05-06	3	-4/+4
\|
*	vhdl: move xrefs to vhdl child package.	Tristan Gingold	2019-05-06	1	-11/+11
\|