iCE40/yosys - [no description]

	Commit message (Expand)	Author	Age	Files	Lines
*	Revert "abc9: fix abc9_arrival for flops"	Eddie Hung	2020-02-14	1	-5/+2
*	write_xaiger: default value for abc9_init	Eddie Hung	2020-02-13	1	-1/+1
*	abc9: fix abc9_arrival for flops	Eddie Hung	2020-02-13	1	-2/+5
*	Merge branch 'eddie/abc9_refactor' into eddie/abc9_required	Eddie Hung	2020-01-27	1	-3/+3
\|\
\| *	write_xaiger: fix for (* keep *) on flop output	Eddie Hung	2020-01-21	1	-3/+3
* \|	Merge remote-tracking branch 'origin/eddie/abc9_refactor' into eddie/abc9_req...	Eddie Hung	2020-01-15	1	-1/+2
\|\\|
\| *	write_xaiger: skip abc9_flop only if abc_box_seq present	Eddie Hung	2020-01-15	1	-1/+2
* \|	abc9_ops: cope with (* abc9_flop ) in place of ( abc9_box_id *)	Eddie Hung	2020-01-14	1	-1/+1
* \|	Merge remote-tracking branch 'origin/eddie/abc9_refactor' into eddie/abc9_req...	Eddie Hung	2020-01-14	1	-2/+6
\|\\|
\| *	write_xaiger: do not export flop inputs as POs	Eddie Hung	2020-01-14	1	-2/+6
* \|	abc9_ops: generate flop box ids, add abc9_required to FD* cells	Eddie Hung	2020-01-14	1	-1/+5
* \|	Merge remote-tracking branch 'origin/eddie/abc9_refactor' into eddie/abc9_req...	Eddie Hung	2020-01-14	1	-1/+1
\|\\|
\| *	abc9_ops: -reintegrate to not trim box padding anymore	Eddie Hung	2020-01-14	1	-1/+1
* \|	write_xaiger: skip if no arrival times	Eddie Hung	2020-01-14	1	-0/+3
* \|	Merge remote-tracking branch 'origin/eddie/abc9_refactor' into eddie/abc9_req...	Eddie Hung	2020-01-14	1	-69/+108
\|\\|
\| *	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
* \|	Merge remote-tracking branch 'origin/eddie/abc9_refactor' into eddie/abc9_req...	Eddie Hung	2020-01-12	1	-19/+28
\|\\|
\| *	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
* \| \|	log_debug() for abc9_{arrival,required} times	Eddie Hung	2020-01-10	1	-0/+8
* \| \|	write_xaiger: cleanup	Eddie Hung	2020-01-09	1	-17/+15
* \| \|	write_xaiger: cope with abc9_arrival as string of ints	Eddie Hung	2020-01-09	1	-8/+21
\|/ /
* \|	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
* \|	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
\| *	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