iCE40/ghdl - [no description]

	Commit message (Expand)	Author	Age	Files	Lines
*	synth: rework partial assignments	Tristan Gingold	2019-08-27	10	-182/+608
*	netlists-disp_vhdl: do not used literals for prefixes.	Tristan Gingold	2019-08-27	1	-12/+53
*	Makefile.in: Add .NOTPARALLEL. For #888	Tristan Gingold	2019-08-27	1	-0/+9
*	testsuite/synth: add fsm02 test.	Tristan Gingold	2019-08-27	5	-0/+181
*	ignore restrict in simulation (#897)	Pepijn de Vos	2019-08-20	2	-18/+17
*	synth: add support for constant exponentiation.	Tristan Gingold	2019-08-20	1	-0/+10
*	synth: set name to assert/assume gates.	Tristan Gingold	2019-08-20	4	-12/+44
*	netlist: fix minor pasto.	Tristan Gingold	2019-08-20	1	-1/+1
*	initial support for reduce and/or (#900)	Pepijn de Vos	2019-08-20	7	-6/+77
*	vhdl psl: fully scan PSL keywords in scanner.	Tristan Gingold	2019-08-20	7	-67/+148
*	vhdl-prints: handle architecture in verification unit hierarchical name.	Tristan Gingold	2019-08-20	1	-0/+7
*	testsuite/synth: add a test for previous commit.	Tristan Gingold	2019-08-20	2	-0/+13
*	vhdl: handle architecture in verification unit hierarchical name.	Tristan Gingold	2019-08-20	3	-13/+53
*	vhdl-prints: handle verification units.	Tristan Gingold	2019-08-20	1	-318/+354
*	testsuite/synth: add a test for assume directive in verification units.	Tristan Gingold	2019-08-20	2	-2/+11
*	vhdl: handle assume in verification units.	Tristan Gingold	2019-08-20	5	-1/+11
*	testsuite/synth: add psl02	Tristan Gingold	2019-08-20	4	-0/+74
*	synth: analyze input files.	Tristan Gingold	2019-08-20	1	-1/+8
*	synth: set location on assume/assert gates.	Tristan Gingold	2019-08-20	3	-8/+19
*	synth: handle verification units.	Tristan Gingold	2019-08-20	15	-491/+703
*	synth: handle array attribute "length" (#895)	marph91	2019-08-19	1	-0/+10
*	synth: add testcase for issue 34	Tristan Gingold	2019-08-17	13	-0/+442
*	synth: fix tgingold/ghdlsynth#34 (association).	Tristan Gingold	2019-08-17	1	-2/+1
*	vhdl: parse verification unit (WIP).	Tristan Gingold	2019-08-17	16	-605/+792
*	testsuite/synth: add reproducer for tgingold/ghdlsynth-beta#33	Tristan Gingold	2019-08-16	3	-0/+73
*	synth: handle integer values in subtype conversion.	Tristan Gingold	2019-08-16	1	-0/+2
*	synth: handle integers for displaying vhdl ports.	Tristan Gingold	2019-08-16	1	-0/+10
*	vhdl: declare verification units (WIP).	Tristan Gingold	2019-08-16	15	-759/+1061
*	testsuite: strenghten a testcase.	Tristan Gingold	2019-08-16	1	-0/+1
*	vhdl: recognize PSL units reserved words.	Tristan Gingold	2019-08-16	9	-737/+774
*	testsuite/python: fix test name (to follow the testsuite.sh convention)	Tristan Gingold	2019-08-16	3	-0/+0
*	synth: handle array attributes; handle integer subtypes in generics.	Tristan Gingold	2019-08-16	2	-2/+91
*	Makefile.in: install synth include files as part of libghdl.	Tristan Gingold	2019-08-15	1	-1/+6
*	configure: complete --help	Tristan Gingold	2019-08-15	1	-0/+2
*	testsuite/synth: fix assert1 assertion.	Tristan Gingold	2019-08-15	1	-1/+1
*	add synthesis support for logic operators on numeric types (#893)	Pepijn de Vos	2019-08-15	5	-7/+152
*	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
*	testenv: also applies GHDL_FLAGS for synth.	Tristan Gingold	2019-08-14	1	-1/+1
*	ghdlsynth: declare init_for_ghdl_synth.	Tristan Gingold	2019-08-14	1	-1/+4
*	update NEWS.md. Fix #891	Tristan Gingold	2019-08-14	1	-1/+8
*	synth: add test for previous commit.	Tristan Gingold	2019-08-14	3	-2/+29
*	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
*	testsuite/gna: use common testsuite.sh	Tristan Gingold	2019-08-14	1	-14/+5
*	testsuite/gna/README: document naming convention.	Tristan Gingold	2019-08-14	1	-2/+11
*	testsuite/gna: make testsuite.py neutral.	Tristan Gingold	2019-08-14	1	-4/+1
*	testsuite/gna: rename perf02 to not run it normally.	Tristan Gingold	2019-08-14	36	-0/+0
*	testsuite/synth: make testsuite.sh more neutral.	Tristan Gingold	2019-08-14	1	-2/+2