iCE40/ghdl - [no description]

	Commit message (Collapse)	Author	Age	Files	Lines
*	vhdl: remove severity from cover, report and severity from assume.	Tristan Gingold	2019-08-08	1	-8/+3
\|
*	Add support for PSL assumptions, used in formal verification (#880)	Pepijn de Vos	2019-08-07	1	-0/+6
\| \| \| \| \| \| \| \| \| \| \| \| \| \| \| \| \| \| \| \| \| \| \| \| \| \|	* 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 --max-stack-alloc option, check stack allocation of complex object.	Tristan Gingold	2018-11-23	1	-0/+8
\| \| \| \|	Fix #692
*	Fix overflow detection for , implement for i64.	Tristan Gingold	2018-11-14	1	-3/+4
\| \| \| \|	Fix #683
*	fix 'occured' typo	1138-4EB	2018-05-26	1	-1/+1
\|
*	Use specific error message for direction mismatch.	Tristan Gingold	2018-04-25	1	-4/+9
\| \| \| \|	Fix #559
*	textio: use grt.fcvt to write reals.	Tristan Gingold	2017-04-19	1	-0/+7
\|
*	textio: use grt.fcvt to read real numbers.	Tristan Gingold	2017-04-19	1	-0/+5
\|
*	grt-lib: Remove unused with-ed package.	Tristan Gingold	2016-01-06	1	-2/+1
\|
*	Replace fat accesses by bounds accesses	Tristan Gingold	2015-08-29	1	-10/+1
\| \| \| \| \|	translate: separate info for signals from object. Improve some error messages.
*	Rework procedure calls, now use a record to pass parameters.	Tristan Gingold	2015-06-05	1	-1/+11
\|
*	Fix typos in grt and translation.adb for vhdl2008 (gcc).	Tristan Gingold	2015-01-24	1	-2/+2
\|
*	Move files and dirs from translate/	Tristan Gingold	2014-11-05	1	-0/+127