iCE40/yosys - [no description]

	Commit message (Expand)	Author	Age	Files	Lines
*	sim: Improvements and fixes for yw cosim	Jannis Harder	2023-01-11	1	-12/+1
*	aiger: Use new JSON code for writing aiger witness map files	Jannis Harder	2023-01-11	1	-49/+49
*	write_aiger: Fix non-$_FF_ FFs	Jannis Harder	2022-08-18	1	-1/+1
*	aiger: Add yosys-witness support	Jannis Harder	2022-08-16	1	-0/+169
*	aiger: Support $anyinit cells	Jannis Harder	2022-08-16	1	-0/+11
*	Add -no-startoffset option to write_aiger	Miodrag Milanovic	2022-03-25	1	-8/+17
*	sta: very crude static timing analysis pass	Lofty	2021-11-25	1	-15/+16
*	Fixing old e-mail addresses and deadnames	Claire Xenia Wolf	2021-06-08	2	-2/+2
*	abc9: fix SCC issues (#2694)	Eddie Hung	2021-03-29	1	-5/+4
*	Replace assert in xaiger with more useful error message	Dan Ravensloft	2021-03-10	1	-1/+2
*	use the new isPublic() in a few places	N. Engelhardt	2020-09-14	2	-2/+2
*	Use C++11 final/override keywords.	whitequark	2020-06-18	2	-4/+4
*	Merge pull request #2077 from YosysHQ/eddie/abc9_dff_improve	Eddie Hung	2020-06-04	1	-28/+22
\|\
\| *	xaiger: cleanup	Eddie Hung	2020-05-25	1	-28/+22
* \|	xaiger: promote abc9_keep wires	Eddie Hung	2020-05-25	1	-1/+1
\|/
*	xaiger: do not derive cells	Eddie Hung	2020-05-24	1	-7/+1
*	abc9: use (* abc9_keep ) instead of ( abc9_scc *); apply to $_DFF_?_	Eddie Hung	2020-05-14	1	-5/+5
*	abc9_ops/xaiger: further reducing Module::derive() calls by ...	Eddie Hung	2020-05-14	1	-40/+32
*	Cleanup; reduce Module::derive() calls	Eddie Hung	2020-05-14	1	-18/+20
*	xaiger: no longer use nonstandard even/odd to designate +ve/-ve polarity	Eddie Hung	2020-05-14	1	-16/+5
*	abc9: not enough to techmap_fail on (* init=1 *), hide them using $__	Eddie Hung	2020-05-14	1	-0/+1
*	Revert "Merge pull request #1917 from YosysHQ/eddie/abc9_delay_check"	Eddie Hung	2020-05-14	1	-4/+0
*	xaiger: always sort input/output bits by port id	Eddie Hung	2020-05-14	1	-12/+10
*	abc9: generate $abc9_holes design instead of <name>$holes	Eddie Hung	2020-05-14	1	-3/+9
*	aiger/xaiger: use odd for negedge clk, even for posedge	Eddie Hung	2020-05-14	1	-6/+10
*	xaiger: update help text	Eddie Hung	2020-05-14	1	-4/+4
*	xaiger: do not treat (* init=1'bx *) as 1'b0	Eddie Hung	2020-05-14	1	-1/+1
*	xaiger: when -dff use (* init *) for initial state	Eddie Hung	2020-05-14	1	-3/+15
*	abc9_ops: add 'dff' label for auto handling of (* abc9_flop *) boxes	Eddie Hung	2020-05-14	1	-8/+2
*	xaiger: output $_DFF_[NP]_ with mergeability if -dff option	Eddie Hung	2020-05-14	1	-42/+44
*	aiger: fixes for ports that have start_offset != 0	Eddie Hung	2020-05-02	2	-9/+8
*	xaiger: add check for $__ABC9_DELAY model	Eddie Hung	2020-04-13	1	-0/+4
*	kernel: big fat patch to use more ID::, otherwise ID()	Eddie Hung	2020-04-02	2	-36/+36
*	kernel: use more ID::*	Eddie Hung	2020-04-02	2	-17/+17
*	xaiger: remove some unnecessary operations ...	Eddie Hung	2020-03-06	1	-9/+2
*	abc9: (* keep *) wires to be PO only, not PI as well; fix scc handling	Eddie Hung	2020-03-06	1	-3/+4
*	Make TimingInfo::TimingInfo(SigBit) constructor explicit	Eddie Hung	2020-02-27	1	-1/+1
*	write_xaiger: add comment about arrival times of flop outputs	Eddie Hung	2020-02-27	1	-0/+1
*	Get rid of (* abc9_{arrival,required} *) entirely	Eddie Hung	2020-02-27	1	-29/+15
*	abc9_ops: ignore (* abc9_flop *) if not '-dff'	Eddie Hung	2020-02-27	1	-38/+44
*	xilinx: improve specify functionality	Eddie Hung	2020-02-27	1	-0/+3
*	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
\|\\|