iCE40/ghdl - [no description]

	Commit message (Collapse)	Author	Age	Files	Lines
*	translate, grt: add lib function for div and rem.	Tristan Gingold	2022-10-02	1	-0/+44
\| \| \| \| \|	Do not rely on hardware exceptions to catch division by 0, they are caught in windows by the c handler and not propagated
*	synth: detect overflow in static exponentiation	Tristan Gingold	2022-09-14	1	-73/+14
\| \| \| \|	src/grt: extract grt.arith from grt.lib
*	translate: adjust null access check: add an explicit check.	Tristan Gingold	2022-03-26	1	-0/+9
\|
*	src: Move --psl-report-uncovered to run options, not analysis options.	Ondrej Ille	2021-03-22	1	-2/+4
\|
*	Revert "src: Add -Wpsl-uncovered option to optionally warn about uncovered ↵	Ondrej Ille	2021-03-22	1	-1/+2
\| \| \| \| \| \|	PSL sequences at the end of simulation." This reverts commit e20d4477f9b55f897d4f9008d6c94db8d8c3a54f.
*	src: Add -Wpsl-uncovered option to optionally warn about uncovered PSL ↵	Ondrej Ille	2021-03-22	1	-2/+1
\| \| \| \|	sequences at the end of simulation.
*	update license headers	umarcor	2021-01-14	1	-11/+9
\|
*	vhdl: add ghdl_integer_index_check_failed. For #1257	Tristan Gingold	2020-06-17	1	-0/+32
\| \| \| \|	Improve error message in case of (integer) index not in bounds.
*	grt-lib: minor reformatting.	Tristan Gingold	2020-06-04	1	-5/+3
\|
*	grt: add and document option --asserts	Tristan Gingold	2020-06-02	1	-12/+14
\|
*	grt: implement --backtrace-severity. For #1338	Tristan Gingold	2020-05-25	1	-0/+4
\|
*	grt: move severity levels from errors to grt.severity.	Tristan Gingold	2020-05-14	1	-1/+3
\|
*	grt: split grt-errors, disp current process.	Tristan Gingold	2020-02-10	1	-0/+2
\|
*	vhdl: remove severity from cover, report and severity from assume.	Tristan Gingold	2019-08-08	1	-3/+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
*	Improve help and doc for --max-stack-alloc.	Tristan Gingold	2018-12-03	1	-1/+6
\|
*	Add --max-stack-alloc option, check stack allocation of complex object.	Tristan Gingold	2018-11-23	1	-0/+13
\| \| \| \|	Fix #692
*	grt-lib: work-around for bug in old compilers.	Tristan Gingold	2018-11-14	1	-4/+8
\|
*	Fix overflow detection for , implement for i64.	Tristan Gingold	2018-11-14	1	-12/+61
\| \| \| \|	Fix #683
*	grt: rework error API (WIP) - rework report, add warning.	Tristan Gingold	2018-09-16	1	-28/+29
\|
*	grt: rework error API (WIP).	Tristan Gingold	2018-09-16	1	-23/+23
\|
*	Use specific error message for direction mismatch.	Tristan Gingold	2018-04-25	1	-3/+16
\| \| \| \|	Fix #559
*	textio: use grt.fcvt to write reals.	Tristan Gingold	2017-04-19	1	-1/+20
\|
*	textio: use grt.fcvt to read real numbers.	Tristan Gingold	2017-04-19	1	-0/+9
\|
*	Add symbolizer (for mcode).	Tristan Gingold	2015-11-19	1	-2/+7
\| \| \| \|	Display a backtrace in case of failed check or assert failure.
*	Replace fat accesses by bounds accesses	Tristan Gingold	2015-08-29	1	-6/+6
\| \| \| \| \|	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	-6/+6
\|
*	Move files and dirs from translate/	Tristan Gingold	2014-11-05	1	-0/+298