iCE40/yosys - [no description]

	Commit message (Expand)	Author	Age	Files	Lines
*	Add support for mockup clock signals in yosys-smtbmc vcd output	Clifford Wolf	2018-02-20	3	-6/+111
*	Merge pull request #507 from cr1901/msys2	Clifford Wolf	2018-02-19	1	-3/+3
\|\
\| *	Improve msys2 flags for building abc.	William D. Jones	2018-02-19	1	-3/+3
\|/
*	Add support for SVA sequence concatenation ranges via verific	Clifford Wolf	2018-02-18	3	-16/+144
*	Add support for SVA until statements via Verific	Clifford Wolf	2018-02-18	3	-34/+138
*	Move Verific SVA importer to extra C++ source file	Clifford Wolf	2018-02-18	4	-1279/+1370
*	Merge Verific SVA preprocessor and SVA importer	Clifford Wolf	2018-02-18	1	-79/+44
*	Merge branch 'master' of github.com:cliffordwolf/yosys	Clifford Wolf	2018-02-16	1	-0/+6
\|\
\| *	Improve handling of "bus" pins in liberty front-end (some files use bus.pin.d...	Clifford Wolf	2018-02-15	1	-0/+6
* \|	Fix verific PRIM_SVA_AT handling in properties with PRIM_SVA_DISABLE_IFF	Clifford Wolf	2018-02-15	2	-1/+35
\|/
*	Fixed yosys-config for binary distributions with Verific	Clifford Wolf	2018-02-13	1	-3/+11
*	Recognize stand-alone obj pattern even when it contains a slash	Clifford Wolf	2018-02-13	1	-0/+3
*	Fix handling of zero-length cell connections in SMT2 back-end	Clifford Wolf	2018-02-08	1	-0/+8
*	Merge branch 'master' of github.com:cliffordwolf/yosys	Clifford Wolf	2018-02-03	1	-0/+2
\|\
\| *	Merge pull request #488 from azonenberg/for_clifford	Clifford Wolf	2018-02-03	1	-0/+2
\| \|\
\| \| *	coolrunner2: Move LOC attributes onto the IO cells	Robert Ou	2018-01-17	1	-0/+2
* \| \|	Do not create deep backtraces unless in ENABLE_DEBUG mode	Clifford Wolf	2018-02-03	2	-2/+6
* \| \|	Fixed gcc 7.2 "statement will never be executed" warning	Clifford Wolf	2018-02-03	1	-1/+1
\|/ /
* \|	Fix single-bit $stable handling in verific front-end	Clifford Wolf	2018-02-01	1	-0/+22
* \|	Add Verific attribute handling for assert/assume/cover/live/fair cells	Clifford Wolf	2018-01-31	1	-10/+16
* \|	Fix smtio.py for large SMT2 S-expressions	Clifford Wolf	2018-01-29	1	-1/+12
* \|	Fix permissions on verific vdb files	Clifford Wolf	2018-01-28	1	-0/+1
* \|	Fixed handling of synchronous and asynchronous assertion/assumption/cover in ...	Clifford Wolf	2018-01-23	1	-27/+29
* \|	Use "strip -S" instead of "strip -d" for Mac OS X compatibility	Clifford Wolf	2018-01-19	1	-2/+2
* \|	Improve log messages in equiv_make	Clifford Wolf	2018-01-19	1	-2/+2
* \|	Move user-provided smt2 info stmts to the top of the yosys-smtbmc smt2 output	Clifford Wolf	2018-01-18	1	-3/+3
\|/
*	Strip debug symbols from binaries on install	Clifford Wolf	2018-01-17	1	-1/+12
*	Add "dffinit -highlow" and fix synth_intel	Clifford Wolf	2018-01-09	2	-1/+21
*	Add support for "yosys -E"	Clifford Wolf	2018-01-07	13	-4/+53
*	Bugfix in hierarchy blackbox module port width handling	Clifford Wolf	2018-01-07	1	-1/+2
*	Update ABC to hg rev 6e3c24b3308a	Clifford Wolf	2018-01-07	1	-1/+1
*	Merge pull request #479 from Fatsie/latch_without_data	Clifford Wolf	2018-01-05	1	-4/+23
\|\
\| *	Some standard cell libraries include a latch with only set/reset.	Staf Verhaegen	2018-01-03	1	-4/+23
* \|	Bugfix in hierarchy handling of blackbox module ports	Clifford Wolf	2018-01-05	5	-9/+10
* \|	Merge pull request #480 from Fatsie/liberty_value_expression	Clifford Wolf	2018-01-04	1	-2/+22
\|\ \
\| * \|	Value of properties can be expression.	Staf Verhaegen	2018-01-03	1	-2/+22
\| \|/
* /	Temporarily derive blackbox modules in hierarchy to evaluate port widths	Clifford Wolf	2018-01-04	1	-1/+14
\|/
*	Add "no driver for signal bit" error msg to btor back-end	Clifford Wolf	2017-12-24	1	-0/+2
*	Bugfix in verilog_defaults argument parser	Clifford Wolf	2017-12-24	1	-1/+1
*	Fix minor typo in "prep" help message	Clifford Wolf	2017-12-19	1	-1/+1
*	Simple fix BTOR memory encoding	Clifford Wolf	2017-12-17	1	-2/+2
*	Improve BTOR memory encoding	Clifford Wolf	2017-12-17	1	-2/+16
*	Merge branch 'btor-ng'	Clifford Wolf	2017-12-15	4	-987/+959
\|\
\| *	Add array support to btor back-end	Clifford Wolf	2017-12-15	1	-6/+169
\| *	Add $anyconst/$anyseq support to btor back-end	Clifford Wolf	2017-12-15	1	-13/+51
\| *	Merge branch 'master' into btor-ng	Clifford Wolf	2017-12-14	4	-8/+12
\| \|\ \| \|/ \|/\|
* \|	Add yosys-smtbmc VCD writer support for memories with async writes	Clifford Wolf	2017-12-14	3	-7/+11
* \|	Fix a bug in clk2fflogic memory handling	Clifford Wolf	2017-12-14	1	-1/+1
\| *	Merge branch 'master' into btor-ng	Clifford Wolf	2017-12-14	9	-38/+178
\| \|\ \| \|/ \|/\|
* \|	Add clk2fflogic memory support	Clifford Wolf	2017-12-14	1	-1/+77