iCE40/ghdl - [no description]

	Commit message (Expand)	Author	Age	Files	Lines
*	vhdl: recognize PSL units reserved words.	Tristan Gingold	2019-08-16	6	-14/+29
*	synth: handle array attributes; handle integer subtypes in generics.	Tristan Gingold	2019-08-16	2	-2/+91
*	add synthesis support for logic operators on numeric types (#893)	Pepijn de Vos	2019-08-15	4	-4/+149
*	synth: fix handling of assume/assert.	Tristan Gingold	2019-08-14	1	-6/+65
*	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
*	ghdlsynth: declare init_for_ghdl_synth.	Tristan Gingold	2019-08-14	1	-1/+4
*	vhdl: handle PSL keywords as vhdl08 reserved words; switch to PSL scanner mode.	Tristan Gingold	2019-08-14	2	-0/+12
*	vhdl: add PSL keywords to vhdl08 reserved words.	Tristan Gingold	2019-08-14	10	-242/+257
*	synth: also extract edge in PSL expressions.	Tristan Gingold	2019-08-13	3	-18/+36
*	synth: extract edge for PSL clocks.	Tristan Gingold	2019-08-13	1	-27/+34
*	vhdl-nodes_walk: handle iir_kind_psl_default_clock.	Tristan Gingold	2019-08-13	1	-1/+2
*	libghdlsynth: make it almost empty, as libghdl will be used instead.	Tristan Gingold	2019-08-13	1	-8/+0
*	Support for PSL assert and assume in synthesis (#892)	Pepijn de Vos	2019-08-13	1	-4/+53
*	libghdl: also add synthesis part. For #884	Tristan Gingold	2019-08-13	6	-52/+56
*	synth: build_header was replaced by a Makefile target.	Tristan Gingold	2019-08-13	1	-8/+0
*	libghdl: preliminary work to also support synth.	Tristan Gingold	2019-08-13	2	-4/+9
*	vhdl: improve reprint of inertial association.	Tristan Gingold	2019-08-11	6	-181/+206
*	vhdl-sem: fix minor thinko for sem_insert_anonymous_signal.	Tristan Gingold	2019-08-11	1	-1/+24
*	vhdl: avoid crash on incorrect unit name.	Tristan Gingold	2019-08-10	2	-6/+36
*	vhdl: handle subtype indication (with range) in discrete_range.	Tristan Gingold	2019-08-10	7	-63/+105
*	synth: add comments.	Tristan Gingold	2019-08-09	1	-1/+9
*	vhdl: remove unused Get/Set_Choice_Order.	Tristan Gingold	2019-08-09	5	-304/+247
*	synth: fix crash when assignment target is an aggregate.	Tristan Gingold	2019-08-08	1	-5/+7
*	vhdl: remove -Whides warnings for processes without a label.	Tristan Gingold	2019-08-08	1	-0/+9
*	synth: handle 1 bit integer in disp_vhdl, fix range in synth-expr.	Tristan Gingold	2019-08-08	2	-4/+13
*	vhdl: remove severity from cover, report and severity from assume.	Tristan Gingold	2019-08-08	11	-142/+160
*	vhdl-nodes: gather PSL nodes, regenerate nodes_meta.	Tristan Gingold	2019-08-07	2	-125/+91
*	Add support for PSL assumptions, used in formal verification (#880)	Pepijn de Vos	2019-08-07	30	-141/+334
*	vhdl: allow discrete subtype indication for discrete_range.	Tristan Gingold	2019-08-06	5	-45/+53
*	vhdl: for time resolution, do not consider unit name from textio body.	Tristan Gingold	2019-08-06	2	-10/+38
*	synth: improve support of vhdl08. Fix #882	Tristan Gingold	2019-08-05	2	-5/+22
*	synth: add asserts in synth-values	Tristan Gingold	2019-08-05	1	-0/+5
*	synth: handle subtype conversions.	Tristan Gingold	2019-08-05	5	-73/+154
*	synth: handle signed conversions in disp_vhdl.	Tristan Gingold	2019-08-05	1	-2/+6
*	synth: preliminary support of integer literals.	Tristan Gingold	2019-08-02	2	-18/+67
*	synth: add a debug procedure.	Tristan Gingold	2019-08-02	2	-0/+22
*	synth: improve error message for multiple assignments.	Tristan Gingold	2019-08-02	1	-4/+20
*	synth: handle signed integer comparisons (#878)	Pepijn de Vos	2019-08-01	3	-0/+43
*	synth: handle partial assignments in a process (WIP).	Tristan Gingold	2019-08-01	1	-18/+75
*	synth: refactoring in inference/environment.	Tristan Gingold	2019-08-01	3	-7/+13
*	synth: refactor inference, add comment, strengthen check.	Tristan Gingold	2019-08-01	4	-31/+62
*	synth: refactoring in synth-inference.	Tristan Gingold	2019-07-31	1	-129/+137
*	synth: add location on monadic operators.	Tristan Gingold	2019-07-31	1	-7/+10
*	synth: regenerate ghdlsynth_gates.h	Tristan Gingold	2019-07-31	1	-3/+4
*	synth: fix a crash in instantiation.	Tristan Gingold	2019-07-31	2	-8/+9
*	synth: slightly improve output for indexes.	Tristan Gingold	2019-07-30	1	-3/+7
*	synth: adjust output for dyn_insert, add dpram2 test.	Tristan Gingold	2019-07-30	1	-2/+2
*	synth: fixes for indexed names.	Tristan Gingold	2019-07-30	3	-3/+13
*	synth: rework indexed names.	Tristan Gingold	2019-07-30	4	-101/+106