iCE40/yosys - [no description]

	Commit message (Expand)	Author	Age	Files	Lines
*	write_xaiger: inherit port ordering from original module	Eddie Hung	2019-12-27	1	-5/+16
*	Revert "Merge pull request #1598 from YosysHQ/revert-1588-eddie/xaiger_cleanup"	Eddie Hung	2019-12-27	1	-19/+27
*	Merge branch 'master' of github.com:YosysHQ/yosys	Eddie Hung	2019-12-27	1	-27/+19
\|\
\| *	Revert "write_xaiger: only instantiate each whitebox cell type once"	David Shah	2019-12-27	1	-27/+19
* \|	write_xaiger: simplify c{i,o}_bits	Eddie Hung	2019-12-27	1	-12/+6
\|/
*	write_xaiger: only instantiate each whitebox cell type once	Eddie Hung	2019-12-20	1	-19/+27
*	Revert "Optimise write_xaiger"	Eddie Hung	2019-12-20	1	-24/+21
*	Stray newline	Eddie Hung	2019-12-06	1	-1/+0
*	write_xaiger to inst each cell type once, do not call techmap/aigmap	Eddie Hung	2019-12-06	1	-21/+25
*	Revert "Fold loop"	Eddie Hung	2019-11-27	1	-3/+6
*	latch -> box	Eddie Hung	2019-11-26	1	-1/+1
*	Fold loop	Eddie Hung	2019-11-26	1	-6/+3
*	Do not sigmap keep bits inside write_xaiger	Eddie Hung	2019-11-26	1	-1/+1
*	xaiger: do not promote output wires	Eddie Hung	2019-11-26	1	-5/+0
*	write_verilog: add -extmem option, to write split memory init files.	whitequark	2019-11-18	1	-10/+80
*	Use cell name for btor bad state props when it is a public name	Clifford Wolf	2019-11-14	1	-9/+5
*	Add an info string symbol for bad states in btor backend	Makai Mann	2019-11-11	1	-1/+10
*	Fix write_aiger bug added in 524af21	Clifford Wolf	2019-11-04	1	-0/+3
*	Merge pull request #1393 from whitequark/write_verilog-avoid-init	Clifford Wolf	2019-10-27	1	-4/+5
\|\
\| *	write_verilog: do not print (init) attributes on regs.	whitequark	2019-09-22	1	-4/+5
* \|	Bugfix in smtio vcd handling of $-identifiers	Clifford Wolf	2019-10-23	1	-6/+9
* \|	Rename abc_* names/attributes to more precisely be abc9_*	Eddie Hung	2019-10-04	1	-9/+9
* \|	Change smtbmc "Warmup failed" status to "PREUNSAT"	Clifford Wolf	2019-10-03	1	-14/+14
* \|	Fix btor back-end to use "state" instead of "input" for undef init bits	Clifford Wolf	2019-10-02	1	-6/+9
* \|	Merge pull request #1359 from YosysHQ/xc7dsp	Eddie Hung	2019-09-29	1	-8/+8
\|\ \
\| * \|	"abc_padding" attr for blackbox outputs that were padded, remove them later	Eddie Hung	2019-09-23	1	-1/+6
\| * \|	Force $inout.out ports to begin with '$' to indicate internal	Eddie Hung	2019-09-23	1	-1/+1
\| * \|	When two boxes connect to each other, need not be a (* keep *)	Eddie Hung	2019-09-19	1	-6/+1
* \| \|	Merge pull request #1413 from YosysHQ/mmicko/backend_binary_out	Miodrag Milanović	2019-09-29	3	-4/+4
\|\ \ \
\| * \| \|	Add aiger and protobuf backends binary support	Miodrag Milanovic	2019-09-28	2	-3/+3
\| * \| \|	Support binary files for backends, fixes #1407	Miodrag Milanovic	2019-09-28	1	-1/+1
\| \|/ /
* / /	Corrects btor2 backend	Aman Goel	2019-09-27	1	-1/+4
\|/ /
* \|	Add "write_aiger -L"	Clifford Wolf	2019-09-18	1	-5/+16
* \|	Fix stupid bug in btor back-end	Clifford Wolf	2019-09-18	1	-1/+1
* \|	backends: smt2: use $(CXX) variable for compiler	Sean Cross	2019-09-08	1	-1/+1
\|/
*	Recognise built-in types (e.g. $_DFF_*)	Eddie Hung	2019-08-30	1	-3/+3
*	Revert "Revert "Fix omode which inserts an output if none exists (otherwise a...	Eddie Hung	2019-08-28	1	-7/+8
*	Revert "Output "h" extension only if boxes"	Eddie Hung	2019-08-28	1	-32/+28
*	Output "h" extension only if boxes	Eddie Hung	2019-08-21	1	-28/+32
*	Revert "Fix omode which inserts an output if none exists (otherwise abc9 brea...	Eddie Hung	2019-08-21	1	-8/+7
*	Fix omode which inserts an output if none exists (otherwise abc9 breaks)	Eddie Hung	2019-08-20	1	-7/+8
*	Revert "Only xaig if GetSize(output_bits) > 0"	Eddie Hung	2019-08-20	1	-149/+147
*	Only xaig if GetSize(output_bits) > 0	Eddie Hung	2019-08-20	1	-147/+149
*	Remove sequential extension	Eddie Hung	2019-08-20	1	-270/+29
*	Do not sigmap!	Eddie Hung	2019-08-20	1	-2/+2
*	Minor refactor	Eddie Hung	2019-08-20	1	-7/+6
*	Output i/o/h extensions even if no boxes or flops	Eddie Hung	2019-08-19	1	-65/+66
*	Add (* abc_arrival *) attribute	Eddie Hung	2019-08-19	1	-9/+66
*	Merge remote-tracking branch 'origin/master' into xaig_dff	Eddie Hung	2019-08-19	1	-1/+1
\|\
\| *	Fix various NDEBUG compiler warnings, closes #1255	Clifford Wolf	2019-08-13	1	-1/+1