iCE40/ghdl - [no description]

	Commit message (Collapse)	Author	Age	Files	Lines
*	ghdl -s: do not perform analysis in case of parse error. Fix #1196	Tristan Gingold	2020-04-06	1	-1/+1
\|
*	vhdl: add scalar_size. Size of scalar types is computed during analysis.	Tristan Gingold	2020-04-06	1	-0/+2
\|
*	ghdlmain: minor refactoring.	Tristan Gingold	2020-03-10	2	-18/+2
\|
*	synthesis: add option --vendor-library= for synthesis.	Tristan Gingold	2020-03-10	3	-34/+82
\|
*	ghdlprint: add --force flag.	Tristan Gingold	2020-03-06	1	-4/+10
\|
*	ghdllocal: improve help.	Tristan Gingold	2020-03-06	1	-5/+3
\|
*	Warn on unexpected options for command '-a'. Fix #1066	Tristan Gingold	2020-03-04	4	-0/+23
\|
*	vhdl: merge synopsys into the ieee libraries. For #980	Tristan Gingold	2020-03-04	2	-2/+14
\|
*	Remove --ieee=mentor and build of mentor libraries.	Tristan Gingold	2020-03-02	1	-9/+7
\|
*	synth: top entity name is not anymore hashed by default.	Tristan Gingold	2020-03-01	1	-2/+13
\| \| \| \|	Use --top-name=hash to get the previous behaviour.
*	Update copyright years before the release.	Tristan Gingold	2020-02-26	1	-1/+1
\|
*	ghdllocal: remove unused use clause.	Tristan Gingold	2020-02-01	1	-1/+0
\|
*	ghdllocal: add command --elab-order	Tristan Gingold	2020-02-01	2	-1/+72
\|
*	ghdlcomp: renaming; allow files in any order for --synth.	Tristan Gingold	2020-01-30	3	-8/+14
\|
*	synth: add --expect-failure for command --synth	Tristan Gingold	2020-01-11	1	-1/+18
\|
*	synth: simplify support of inertial associations.	Tristan Gingold	2020-01-09	2	-0/+5
\|
*	vhdl: handle -gGEN=VAL for --synth. Fix #1062	Tristan Gingold	2020-01-01	3	-5/+86
\|
*	ghdlsynth: allow display for libghdl.	Tristan Gingold	2019-12-24	1	-21/+42
\|
*	ghdlsynth: fix crash on synthesis of a second design.	Tristan Gingold	2019-12-05	1	-0/+4
\|
*	synth: support multiple synthesis.	Tristan Gingold	2019-12-02	2	-18/+34
\|
*	netlists-dump: add option --disp-noid	Tristan Gingold	2019-11-30	1	-0/+5
\|
*	synth: infrastructure for debugger.	Tristan Gingold	2019-11-20	1	-0/+3
\|
*	ghdlsynth: add option -t for tracing.	Tristan Gingold	2019-11-17	1	-0/+3
\|
*	ghdldrv: adjust after change in Dyn_Tables. Fix breakage.	Tristan Gingold	2019-11-11	1	-6/+5
\|
*	ghdlmain: simplify code.	Tristan Gingold	2019-11-04	1	-4/+1
\|
*	ghdlmain: fix deallocation in response file handling.	Tristan Gingold	2019-11-04	1	-0/+10
\|
*	ghdlsynth: add -de option.	Tristan Gingold	2019-10-27	1	-0/+3
\|
*	synth: add netlists-memories to extract memories. Still WIP.	Tristan Gingold	2019-10-17	1	-0/+3
\|
*	synth: handle overflow literal.	Tristan Gingold	2019-10-15	1	-1/+0
\|
*	Use Decode_Work_Option in options. Factorize code.	Tristan Gingold	2019-10-15	1	-1/+3
\|
*	ghdlsynth: allow --work= option in the middle of files.	Tristan Gingold	2019-10-15	1	-1/+13
\|
*	ghdlsynth: add --out=none to not display the result.	Tristan Gingold	2019-10-10	1	-1/+6
\|
*	ghdlsynth: setup error messages for netlists.	Tristan Gingold	2019-10-07	1	-0/+2
\|
*	ghdlsynth: add --out=dump	Tristan Gingold	2019-10-07	1	-1/+7
\|
*	ghdlsynth: fix crash when using libghdl.	Tristan Gingold	2019-10-06	1	-0/+2
\|
*	ghdlsynth: display bugbox in case of unknown exception.	Tristan Gingold	2019-10-02	1	-1/+3
\|
*	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
\|