iCE40/ghdl-yosys-plugin - [no description]

	Commit message (Collapse)	Author	Age	Files	Lines
*	testsuite: Add formal tests (#57)	T. Meissner	2019-10-07	1	-5/+22
\| \| \| \| \| \| \| \| \| \| \| \| \| \| \| \| \| \|	* Add formal tests for shift operations * ci: build ghdl/synth:formal and run test suites in it * add testsuite/formal/testsuite.sh * create testsuite/issues * ci: remove a level of grouping * testenv: fix SYMBIYOSYS * refactor * testsuite/formal/shifts: Add check for shifts > vector length
*	Run testsuite in Travis CI with docker images (#31)	1138-4EB	2019-08-16	1	-0/+77
	* makefile: use '--build' shortcut to build ghdl.so * move: rename subdir 'ghdl' to 'src' * travis: add travis config file, build script and utils script * testsuite: do not call ghdl explicitly * readme: update