iCE40/ghdl - [no description]

	Commit message (Collapse)	Author	Age	Files	Lines
*	python: execute 'black'	eine	2020-08-23	1	-2/+0
\|
*	vhdl: add force and release tokens. For #1416	Tristan Gingold	2020-08-01	1	-53/+55
\|
*	vhdl: create default configuration for a vunit. Fix #1372	Tristan Gingold	2020-06-15	1	-158/+159
\|
*	vhdl: parse PSL prev/stable/rose/fell builtin calls. For #662	Tristan Gingold	2020-06-02	1	-0/+4
\|
*	vhdl: recognize 1164 condition operator, handle in synth.	Tristan Gingold	2019-08-30	1	-10/+16
\|
*	vhdl: recognize PSL units reserved words.	Tristan Gingold	2019-08-16	1	-44/+47
\|
*	Add support for PSL assumptions, used in formal verification (#880)	Pepijn de Vos	2019-08-07	1	-23/+24
\| \| \| \| \| \| \| \| \| \| \| \| \| \| \| \| \| \| \| \| \| \| \| \| \| \|	* 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
*	vhdl: parse and analyze restrict directive.	Tristan Gingold	2019-07-04	1	-20/+22
\|
*	Rework libghdl build/install procedure (#840)	1138-4EB	2019-06-17	1	-0/+203
	* feat(libghdl): add libghdl_pkg.py, add option to generate libghdl-py.tgz with dist/travis/build.sh * libghdl.so is now part of GHDL move python sources to python/libghdl and python/pnodes * rename src/vhdl/python to src/vhdl/libghdl * add generation of tarball for libghdl-py to the makefile * deprecate --enable-python and --disable-python * add configuration option --disable-libghdl * feat(python/libghdl): add support for LIBGHDL_PREFIX (#844) * fix(travis): disable libghdl on mac * feat(python/libghdl): add support for GHDL_BIN_PATH and VUNIT_GHDL_PATH