iCE40/ghdl - [no description]

	Commit message (Collapse)	Author	Age	Files	Lines
*	synth: add debug flag -dc to not clean.	Tristan Gingold	2019-09-17	1	-0/+3
\|
*	synth: add synth-flags, add debug option -di.	Tristan Gingold	2019-09-17	1	-0/+4
\|
*	synth-disp_vhdl: handle record for input ports.	Tristan Gingold	2019-09-03	1	-3/+6
\|
*	synth: add support for --synth on llvm, link with -lm.	Tristan Gingold	2019-08-30	1	-0/+2
\|
*	vhdl psl: fully scan PSL keywords in scanner.	Tristan Gingold	2019-08-20	1	-1/+7
\|
*	synth: analyze input files.	Tristan Gingold	2019-08-20	1	-1/+8
\|
*	synth: handle verification units.	Tristan Gingold	2019-08-20	1	-0/+2
\|
*	vhdl: recognize PSL units reserved words.	Tristan Gingold	2019-08-16	1	-1/+1
\|
*	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
\|