iCE40/ghdl - [no description]

	Commit message (Collapse)	Author	Age	Files	Lines
*	testsuite/testenv.sh: define PYTHON	Tristan Gingold	2019-08-14	1	-0/+2
\|
*	testsuite/python: add testsuite.sh	Tristan Gingold	2019-08-14	1	-0/+53
\|
*	testsuite: add testsuite.sh in 001units	Tristan Gingold	2019-08-14	1	-0/+7
\|
*	synth: also extract edge in PSL expressions.	Tristan Gingold	2019-08-13	2	-1/+28
\|
*	synth: extract edge for PSL clocks.	Tristan Gingold	2019-08-13	4	-2/+86
\|
*	Support for PSL assert and assume in synthesis (#892)	Pepijn de Vos	2019-08-13	1	-1/+2
\| \| \| \| \| \| \| \|	* initial support for PSL assert and assume * add support for true, false, and, or in psl synth * update testsuite with new psl things
*	Add testcase for #885	Tristan Gingold	2019-08-11	2	-0/+44
\|
*	Add testcase for #886	Tristan Gingold	2019-08-10	5	-0/+141
\|
*	synth: add testcase from #872	Tristan Gingold	2019-08-08	2	-0/+51
\|
*	synth: add testcase for aggregate target.	Tristan Gingold	2019-08-08	3	-0/+56
\|
*	Add reproducer for tgingold/ghdlsynth-beta#26	Tristan Gingold	2019-08-08	2	-0/+29
\|
*	Add support for PSL assumptions, used in formal verification (#880)	Pepijn de Vos	2019-08-07	4	-0/+104
\| \| \| \| \| \| \| \| \| \| \| \| \| \| \| \| \| \| \| \| \| \| \| \| \| \|	* 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
*	Add testcase for #877	Tristan Gingold	2019-08-06	5	-0/+43
\|
*	Add more tests in issue613	Tristan Gingold	2019-08-06	2	-0/+5
\|
*	Add a testcase for #881	Tristan Gingold	2019-08-06	3	-0/+57
\|
*	Add testcase for #882	Tristan Gingold	2019-08-05	2	-0/+23
\|
*	synth: add test for previous commit.	Tristan Gingold	2019-08-05	3	-2/+77
\|
*	synth: add tests for uns/uns comparisons.	Tristan Gingold	2019-08-02	3	-0/+102
\|
*	synth: add tests for partial assignment.	Tristan Gingold	2019-08-01	5	-0/+106
\|
*	synth: add a dff test.	Tristan Gingold	2019-07-31	3	-1/+65
\|
*	synth: add a counter test.	Tristan Gingold	2019-07-30	3	-0/+117
\|
*	synth: add dpram3 test.	Tristan Gingold	2019-07-30	3	-1/+77
\|
*	synth: adjust output for dyn_insert, add dpram2 test.	Tristan Gingold	2019-07-30	3	-1/+65
\|
*	synth: add a test for a ram.	Tristan Gingold	2019-07-30	3	-1/+65
\|
*	synth: add a test for idff.	Tristan Gingold	2019-07-30	3	-1/+74
\|
*	synth: add a test for psl.	Tristan Gingold	2019-07-29	2	-0/+38
\|
*	synth: add arr02 test.	Tristan Gingold	2019-07-29	3	-0/+73
\|
*	vhdl: add tests for concat.	Tristan Gingold	2019-07-26	5	-0/+99
\|
*	testenv.sh: improve comment.	Tristan Gingold	2019-07-26	1	-1/+1
\|
*	synth: add test for previous commit.	Tristan Gingold	2019-07-25	3	-1/+49
\|
*	synth: add testcase for previous commit.	Tristan Gingold	2019-07-24	3	-0/+68
\|
*	synth: add testcase for previous commit.	Tristan Gingold	2019-07-24	5	-0/+114
\|
*	synth: add testcase for pragma translate_off.	Tristan Gingold	2019-07-24	4	-0/+69
\|
*	synth: add testcase for previous commit.	Tristan Gingold	2019-07-23	3	-0/+81
\|
*	vhdl: add testcase.	Tristan Gingold	2019-07-22	2	-0/+93
\| \| \| \|	Close #875
*	synth: fix test name.	Tristan Gingold	2019-07-20	3	-0/+0
\|
*	synth: add testcase for concurrent selected signal assignment.	Tristan Gingold	2019-07-20	3	-0/+75
\|
*	synth: add a test for for-generate statement.	Tristan Gingold	2019-07-20	3	-0/+49
\|
*	synth: add a test for previous commit.	Tristan Gingold	2019-07-20	5	-0/+111
\|
*	synth: add a test for previous commit (aggr).	Tristan Gingold	2019-07-20	5	-0/+101
\|
*	synth: add testcase from issue8	Tristan Gingold	2019-07-19	8	-0/+156
\|
*	synth: add a test for concatenation.	Tristan Gingold	2019-07-19	3	-0/+62
\|
*	Add a testcase about distinct alternate labels.	Tristan Gingold	2019-07-16	3	-0/+145
\|
*	Add testcase for #869	Tristan Gingold	2019-07-15	2	-0/+30
\|
*	Add a test for previous commit.	Tristan Gingold	2019-07-13	1	-0/+3
\|
*	Add a test for component instances.	Tristan Gingold	2019-07-13	2	-3/+14
\|
*	synth: add a simple test for instantiation.	Tristan Gingold	2019-07-10	5	-0/+105
\|
*	Add a test for ghdl/ghdl-language-server#7	Tristan Gingold	2019-07-09	3	-2/+10
\|
*	Add testcase for #864	Tristan Gingold	2019-07-09	3	-0/+90
\|
*	Add testcase for #860	Tristan Gingold	2019-07-08	2	-0/+68
\|