iCE40/yosys - [no description]

	Commit message (Collapse)	Author	Age	Files	Lines
*	smtbmc: Add native json based witness format + smt2 backend support	Jannis Harder	2022-08-16	1	-0/+3
\| \| \| \| \| \| \| \| \| \| \| \| \| \| \| \| \| \| \| \|	This adds a native json based witness trace format. By having a common format that includes everything we support, and providing a conversion utility (yosys-witness) we no longer need to implement every format for every tool that deals with witness traces, avoiding a quadratic opportunity to introduce subtle bugs. Included: * smt2: New yosys-smt2-witness info lines containing full hierarchical paths without lossy escaping. * yosys-smtbmc --dump-yw trace.yw: Dump results in the new format. * yosys-smtbmc --yw trace.yw: Read new format as constraints. * yosys-witness: New tool to convert witness formats. Currently this can only display traces in a human-readable-only format and do a passthrough read/write of the new format. * ywio.py: Small python lib for reading and writing the new format. Used by yosys-smtbmc and yosys-witness to avoid duplication.
*	Add mandatory wasm file to zip file as well	Miodrag Milanovic	2020-03-12	1	-0/+1
\|
*	Add files to ignore for python build	Miodrag Milanovic	2019-05-26	1	-0/+3
\|
*	Install launcher executable when running yosys-smtbmc on Windows.	William D. Jones	2019-03-13	1	-0/+2
\| \| \| \|	Signed-off-by: William D. Jones <thor0505@comcast.net>
*	Add "make ystests"	Clifford Wolf	2018-08-30	1	-0/+1
\| \| \| \|	Signed-off-by: Clifford Wolf <clifford@clifford.at>
*	Add "make coverage"	Clifford Wolf	2018-08-27	1	-0/+4
\| \| \| \|	Signed-off-by: Clifford Wolf <clifford@clifford.at>
*	Added required structure to implement unit tests	rodrigosiqueira	2016-12-04	1	-0/+3
\| \| \| \| \| \| \| \| \| \|	Added modifications inside the main Makefile to refers the unit test Makefile. Added separated Makefile only for compiling unit tests. Added simple example of unit test. Signed-off-by: Charles Oliveira <18oliveira.charles@gmail.com> Signed-off-by: Pablo Alejandro <pabloabur@usp.br> Signed-off-by: Rodrigo Siqueira <siqueira@ime.usp.br>
*	Added first help messages for cell types	Clifford Wolf	2015-10-14	1	-0/+1
\|
*	Added libyosys.so build	Clifford Wolf	2015-08-04	1	-0/+1
\|
*	More YosysJS stuff	Clifford Wolf	2015-02-16	1	-1/+1
\|
*	Added YosysJS wrapper	Clifford Wolf	2015-02-16	1	-1/+0
\|
*	Added Viz to yosys.js	Clifford Wolf	2015-02-15	1	-0/+1
\|
*	More emscripten stuff, Added example app	Clifford Wolf	2015-02-15	1	-1/+1
\|
*	Added "make mklibyosys", some minor API changes	Clifford Wolf	2015-02-01	1	-0/+1
\|
*	Create vcxsrc in mxe build "make dist"	Clifford Wolf	2014-10-18	1	-0/+2
\|
*	Various Makefile changes for cross-compiling ABC for Win32	Clifford Wolf	2014-10-12	1	-0/+1
\|
*	added .exe and .html output files to .gitignore	Clifford Wolf	2014-10-09	1	-0/+4
\|
*	Removed references to yosys-svgviewer from docs	Clifford Wolf	2014-09-02	1	-1/+0
\|
*	Added eclipse .setting folder to .gitignore	Clifford Wolf	2014-07-23	1	-0/+1
\|
*	Added API and Makefile rules for share/ files	Clifford Wolf	2013-10-27	1	-0/+1
\|
*	Added version info to yosys command and added -V option	Clifford Wolf	2013-08-20	1	-0/+1
\|
*	Added $lut cells and abc lut mapping support	Clifford Wolf	2013-07-23	1	-14/+14
\|
*	Added "make abc" and "make install-abc"	Clifford Wolf	2013-06-08	1	-0/+2
\|
*	Added yosys-svgviewer to build system and renamed filterlib to yosys-filterlib	Clifford Wolf	2013-03-27	1	-1/+2
\|
*	Added eclipse CDT project files to .gitignore	Clifford Wolf	2013-03-21	1	-0/+2
\|
*	Added vi .*.swp files to .gitignore	Clifford Wolf	2013-03-15	1	-0/+1
\|
*	Added support for loadable modules (aka plugins)	Clifford Wolf	2013-03-06	1	-0/+2
\|
*	Added qtcreator.creator.user to top level .gitignore	Clifford Wolf	2013-01-05	1	-2/+3
\|
*	More .gitignore and fixed "make mrproper"	Clifford Wolf	2013-01-05	1	-0/+4
\|
*	added .gitignore files	Clifford Wolf	2013-01-05	1	-0/+4