iCE40/yosys - [no description]

	Commit message (Collapse)	Author	Age	Files	Lines
*	write_xaiger: fix for (* keep *) on flop output	Eddie Hung	2020-01-21	1	-3/+3
\|
*	write_xaiger: skip abc9_flop only if abc_box_seq present	Eddie Hung	2020-01-15	1	-1/+2
\|
*	write_xaiger: do not export flop inputs as POs	Eddie Hung	2020-01-14	1	-2/+6
\|
*	abc9_ops: -reintegrate to not trim box padding anymore	Eddie Hung	2020-01-14	1	-1/+1
\|
*	abc9_ops/write_xaiger: update doc	Eddie Hung	2020-01-14	1	-1/+2
\|
*	abc9_ops: -prep_holes -> -prep_xaiger, move padding to write_xaiger	Eddie Hung	2020-01-14	1	-3/+6
\|
*	write_xaiger: fix case of PI and CI and (* keep *)	Eddie Hung	2020-01-13	1	-0/+5
\|
*	abc9: break SCC by setting (* keep *) on output wires	Eddie Hung	2020-01-13	1	-8/+15
\|
*	abc9: respect (* keep *) on cells	Eddie Hung	2020-01-13	1	-61/+69
\|
*	write_xaiger: add support and test for (* keep *) on wires	Eddie Hung	2020-01-13	1	-7/+17
\|
*	write_xaiger: cache arrival times	Eddie Hung	2020-01-13	1	-11/+17
\|
*	cleanup	Eddie Hung	2020-01-11	1	-1/+1
\|
*	Merge remote-tracking branch 'origin/master' into eddie/abc9_refactor	Eddie Hung	2020-01-11	1	-18/+27
\|\
\| *	write_xaiger: sort holes by offset as well as port_id	Eddie Hung	2020-01-11	1	-1/+2
\| \|
\| *	write_xaiger: cleanup holes generation	Eddie Hung	2020-01-08	1	-80/+89
\| \|
\| *	write_xaiger: holes PIs only if whitebox	Eddie Hung	2020-01-08	1	-13/+18
\| \|
* \|	Stray log_module	Eddie Hung	2020-01-06	1	-2/+0
\| \|
* \|	Revert "write_xaiger to pad, not abc9_ops -prep_holes"	Eddie Hung	2020-01-06	1	-16/+10
\| \| \| \| \| \| \| \|	This reverts commit b5f60e055d07579a2d4f23fc053ca030f103f377.
* \|	Merge remote-tracking branch 'origin/xaig_dff' into eddie/abc9_refactor	Eddie Hung	2020-01-06	2	-56/+41
\|\\|
\| *	write_xaiger: make more robust, update doc	Eddie Hung	2020-01-06	1	-29/+14
\| \|
\| *	write_aiger: make more robust	Eddie Hung	2020-01-06	1	-0/+8
\| \|
\| *	Restore write_xaiger's holes_mode since port_id order causes QoR	Eddie Hung	2020-01-03	1	-27/+19
\| \| \| \| \| \| \| \|	regressions inside abc9
\| *	Cleanup	Eddie Hung	2020-01-02	1	-2/+1
\| \|
\| *	write_xaiger: get rid of external_bits dict	Eddie Hung	2020-01-02	1	-1/+1
\| \|
* \|	write_xaiger to pad, not abc9_ops -prep_holes	Eddie Hung	2020-01-05	1	-10/+16
\| \|
* \|	Fix when -dff not given	Eddie Hung	2020-01-04	1	-14/+10
\| \|
* \|	Call -prep_holes before aigmap; fix topo ordering	Eddie Hung	2020-01-03	1	-8/+1
\| \|
* \|	WIP	Eddie Hung	2020-01-03	1	-56/+0
\| \|
* \|	Preserve topo ordering from -prep_holes to write_xaiger	Eddie Hung	2020-01-03	1	-159/+77
\| \|
* \|	WIP	Eddie Hung	2020-01-03	1	-67/+8
\| \|
* \|	WIP	Eddie Hung	2020-01-03	1	-23/+141
\| \|
* \|	Merge remote-tracking branch 'origin/xaig_dff' into eddie/abc9_refactor	Eddie Hung	2020-01-02	1	-145/+128
\|\\|
\| *	abc9 -keepff -> -dff; refactor dff operations	Eddie Hung	2020-01-02	1	-89/+47
\| \|
\| *	Get rid of (* abc9_keep *) in write_xaiger too	Eddie Hung	2020-01-01	1	-15/+18
\| \|
\| *	attributes.count() -> get_bool_attribute()	Eddie Hung	2020-01-01	1	-1/+1
\| \|
\| *	parse_xaiger to not take box_lookup	Eddie Hung	2019-12-31	1	-2/+13
\| \|
\| *	Do not re-order carry chain ports, just precompute iteration order	Eddie Hung	2019-12-31	1	-22/+32
\| \|
\| *	write_xaiger: be more precise with ff_bits, remove ff_aig_map	Eddie Hung	2019-12-31	1	-21/+19
\| \|
\| *	Retry getting rid of write_xaiger's holes_mode	Eddie Hung	2019-12-31	1	-81/+41
\| \|
\| *	Revert "Get rid of holes_mode"	Eddie Hung	2019-12-30	1	-35/+70
\| \| \| \| \| \| \| \|	This reverts commit 7997e2a90fd37886241b7eb657408177ef7f6fa7.
\| *	Get rid of holes_mode	Eddie Hung	2019-12-30	1	-70/+35
\| \|
* \|	Move Pass::call() out of abc9_ops into abc9	Eddie Hung	2019-12-30	1	-0/+4
\| \|
* \|	Cleanup	Eddie Hung	2019-12-30	1	-7/+3
\| \|
* \|	Rid unnecessary if	Eddie Hung	2019-12-30	1	-13/+11
\| \|
* \|	Get rid of holes_mode	Eddie Hung	2019-12-30	1	-70/+35
\| \|
* \|	Add abc9_ops -prep_holes	Eddie Hung	2019-12-30	1	-132/+8
\|/
*	write_xaiger to use scratchpad for stats; cleanup abc9	Eddie Hung	2019-12-30	1	-17/+5
\|
*	Remove unused	Eddie Hung	2019-12-30	1	-5/+0
\|
*	Call "proc" if processes inside whiteboxes	Eddie Hung	2019-12-30	1	-1/+1
\|
*	Merge remote-tracking branch 'origin/master' into xaig_dff	Eddie Hung	2019-12-30	1	-21/+27
\|\