iCE40/ghdl - [no description]

	Commit message (Collapse)	Author	Age	Files	Lines
*	pnodes.py: be strict about comments, refactoring.	Tristan Gingold	2019-08-07	1	-42/+62
\|
*	Add support for PSL assumptions, used in formal verification (#880)	Pepijn de Vos	2019-08-07	2	-110/+117
\| \| \| \| \| \| \| \| \| \| \| \| \| \| \| \| \| \| \| \| \| \| \| \| \| \|	* 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
*	python: regenerate files.	Tristan Gingold	2019-07-26	3	-287/+302
\|
*	libghdl: import Free_Dependence_List.	Tristan Gingold	2019-07-11	1	-0/+2
\|
*	libghdl: automatically set the prefix from shared library	Tristan Gingold	2019-07-09	1	-12/+17
\|
*	python: add errorout_console, disp_config.	Tristan Gingold	2019-07-08	2	-0/+6
\|
*	Fix a merge collision.	Tristan Gingold	2019-07-08	1	-154/+84
\|
*	vhdl: rename Cover_Statement to Cover_Directive.	Tristan Gingold	2019-07-04	1	-3/+3
\|
*	vhdl: parse and analyze restrict directive.	Tristan Gingold	2019-07-04	2	-21/+96
\|
*	Move pnodes.py.py to xtools directory.	Tristan Gingold	2019-07-04	1	-3/+0
\|
*	vhdl: add anonymous_signal_declaration.	Tristan Gingold	2019-07-03	2	-340/+401
\|
*	python: refine the result of set_option.	Tristan Gingold	2019-06-26	1	-1/+2
\|
*	python: add __init__.py files.	Tristan Gingold	2019-06-25	2	-0/+0
\|
*	libghdl: fix support for non-posix OS.	Tristan Gingold	2019-06-24	1	-1/+2
\|
*	python: add version.py, check it in configure.	Tristan Gingold	2019-06-24	3	-21/+4
\|
*	libraries.py: add more bindings.	Tristan Gingold	2019-06-24	1	-0/+4
\|
*	setup.py: rework version extraction.	Tristan Gingold	2019-06-21	2	-3/+37
\|
*	libghdl: just put the version in config.py	Tristan Gingold	2019-06-20	1	-23/+33
\|
*	libghdl/__init__.py: rework prefix search.	Tristan Gingold	2019-06-20	1	-23/+55
\|
*	Move setup.py	Tristan Gingold	2019-06-20	1	-2/+2
\|
*	fix: move src/xtools to python/xtools (#846)	1138-4EB	2019-06-17	1	-0/+929
\| \| \| \| \| \|	* fix: move src/xtools to python/xtools * fix Makefiles affected by xtools and pnodes being moved
*	Rework libghdl build/install procedure (#840)	1138-4EB	2019-06-17	27	-0/+5864
	* 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