iCE40/ghdl - [no description]

	Commit message (Expand)	Author	Age	Files	Lines
*	update license headers	umarcor	2021-02-05	1	-5/+3
*	synth: add option to treat asserts as assumes and vice-versa	tmeissner	2021-01-02	1	-0/+6
*	synth: add --no-assert-cover option. Fix #1414	Tristan Gingold	2020-07-31	1	-0/+4
*	synth: add -g option to enable debugger on some errors.	Tristan Gingold	2020-07-26	1	-1/+1
*	ghdlsynth: add --no-formal and help.	Tristan Gingold	2020-06-16	1	-0/+3
*	synth: refine -dm debug option. Add -dm2	Tristan Gingold	2020-05-31	1	-1/+4
*	synth-flags: consider severity error as an error.	Tristan Gingold	2020-05-15	1	-1/+1
*	synth-stmts: factorize code for assertion errors, use a level.	Tristan Gingold	2020-05-14	1	-0/+5
*	synth: support -v option.	Tristan Gingold	2020-04-22	1	-0/+2
*	synth-stmts: add a limit to the number of iterations. Fix #1242	Tristan Gingold	2020-04-21	1	-0/+3
*	synth: preliminary work to export module parameters.	Tristan Gingold	2020-03-31	1	-1/+4
*	synth: top entity name is not anymore hashed by default.	Tristan Gingold	2020-03-01	1	-0/+20
*	synth-context: add source_scope (for debugger).	Tristan Gingold	2019-11-23	1	-0/+4
*	synth: infrastructure for debugger.	Tristan Gingold	2019-11-20	1	-0/+2
*	synth: add traces for debugging.	Tristan Gingold	2019-11-17	1	-0/+2
*	netlists: enable expansion.	Tristan Gingold	2019-11-04	1	-1/+1
*	netlists: add code to expand dyn_extract gates (WIP).	Tristan Gingold	2019-10-27	1	-1/+3
*	synth: add netlists-memories to extract memories. Still WIP.	Tristan Gingold	2019-10-17	1	-0/+2
*	synth: add debug flag -dc to not clean.	Tristan Gingold	2019-09-17	1	-0/+2
*	synth: add synth-flags, add debug option -di.	Tristan Gingold	2019-09-17	1	-0/+23