iCE40/yosys - [no description]

	Commit message (Expand)	Author	Age	Files	Lines
*	Fix opt_rmdff handling of $_DFFSR_???_ and $_DLATCHSR_???_, fixes #816	Clifford Wolf	2019-02-21	1	-6/+7
*	fsm_opt: Fix runtime error for FSMs without a reset state	David Shah	2019-02-07	1	-1/+2
*	proc_clean: fix critical typo.	whitequark	2019-01-23	1	-1/+1
*	proc_clean: fix fully def check to consider compare/signal length.	whitequark	2019-01-18	1	-1/+7
*	flowmap: clean up terminology.	whitequark	2019-01-08	1	-17/+18
*	flowmap: implement depth relaxation.	whitequark	2019-01-08	7	-22/+762
*	Bugfix in $memrd sharing	Clifford Wolf	2019-01-07	1	-2/+6
*	Merge pull request #782 from whitequark/flowmap_dfs	Clifford Wolf	2019-01-07	3	-124/+243
\|\
\| *	flowmap: construct a max-volume max-flow min-cut, not just any one.	whitequark	2019-01-06	1	-7/+10
\| *	flowmap: add -minlut option, to allow postprocessing with opt_lut.	whitequark	2019-01-04	1	-7/+21
\| *	flowmap: cleanup for clarity. NFCI.	whitequark	2019-01-04	3	-107/+179
\| *	flowmap: improve debug graph output. NFC.	whitequark	2019-01-04	1	-47/+76
\| *	flowmap: add link to longer version of paper. NFC.	whitequark	2019-01-04	1	-2/+3
* \|	Switch "bugpoint" from system() to run_command()	Clifford Wolf	2019-01-07	1	-1/+1
* \|	bugpoint: new pass.	whitequark	2019-01-07	2	-1/+370
* \|	Rename cells based on the wires they drive.	Scott Mansell	2019-01-06	1	-0/+66
\|/
*	Merge pull request #775 from whitequark/opt_flowmap	Clifford Wolf	2019-01-03	3	-1/+875
\|\
\| *	flowmap: new techmap pass.	whitequark	2019-01-03	3	-1/+875
* \|	Merge pull request #770 from whitequark/opt_expr_cmp	Clifford Wolf	2019-01-02	1	-97/+134
\|\ \ \| \|/ \|/\|
\| *	opt_expr: improve simplification of comparisons with large constants.	whitequark	2019-01-02	1	-70/+47
\| *	opt_expr: refactor simplification of unsigned X<onehot and X>=onehot. NFCI.	whitequark	2019-01-02	1	-31/+37
\| *	opt_expr: refactor simplification of signed X>=0 and X<0. NFCI.	whitequark	2019-01-02	1	-24/+26
\| *	opt_expr: simplify any unsigned comparisons with all-0 and all-1.	whitequark	2019-01-02	1	-17/+69
* \|	Merge pull request #750 from Icenowy/anlogic-ff-init	Clifford Wolf	2019-01-02	1	-3/+30
\|\ \
\| * \|	Add "dffinit -noreinit" parameter	Icenowy Zheng	2018-12-18	1	-1/+14
\| * \|	Add "dffinit -strinit high low"	Icenowy Zheng	2018-12-18	1	-2/+16
* \| \|	Merge pull request #773 from whitequark/opt_lut_elim_fixes	Clifford Wolf	2019-01-02	1	-8/+31
\|\ \ \
\| * \| \|	opt_lut: reflect changes in sigmap.	whitequark	2019-01-02	1	-0/+2
\| * \| \|	opt_lut: use a worklist, and revisit cells affected by elimination.	whitequark	2019-01-02	1	-3/+10
\| * \| \|	opt_lut: count eliminated cells, and set opt.did_something for them.	whitequark	2019-01-02	1	-6/+20
\| \| \|/ \| \|/\|
* / \|	Fix typographical and grammatical errors and inconsistencies.	whitequark	2019-01-02	11	-19/+19
\|/ /
* \|	opt_lut: eliminate LUTs evaluating to constants or inputs.	whitequark	2018-12-31	1	-0/+81
* \|	Fix handling of (* keep *) wires in wreduce	Clifford Wolf	2018-12-31	1	-1/+4
* \|	proc_clean: remove any empty cases if all cases use all-def compare.	whitequark	2018-12-23	1	-6/+28
* \|	proc_clean: remove any empty cases at the end of the switch.	whitequark	2018-12-22	1	-7/+3
* \|	memory_collect: do not truncate 'x from \INIT.	whitequark	2018-12-21	1	-3/+0
* \|	memory_dff: Fix typo when checking init value	David Shah	2018-12-18	1	-1/+1
\|/
*	Revert "Proof-of-concept: preserve naming through ABC using dress"	Clifford Wolf	2018-12-16	1	-51/+29
*	Merge pull request #736 from whitequark/select_assert_list	Clifford Wolf	2018-12-16	1	-8/+50
\|\
\| *	select: print selection if a -assert-* flag causes an error.	whitequark	2018-12-16	1	-8/+50
* \|	Merge pull request #735 from daveshah1/trifixes	Clifford Wolf	2018-12-16	1	-3/+4
\|\ \
\| * \|	deminout: Consider $tribuf cells	David Shah	2018-12-12	1	-2/+2
\| * \|	deminout: Don't demote constant-driven inouts to inputs	David Shah	2018-12-12	1	-1/+2
\| \|/
* \|	Fix equiv_opt indenting	Clifford Wolf	2018-12-16	1	-139/+129
* \|	Merge pull request #724 from whitequark/equiv_opt	Clifford Wolf	2018-12-16	2	-1/+168
\|\ \
\| * \|	equiv_opt: pass -D EQUIV when techmapping.	whitequark	2018-12-07	1	-2/+4
\| * \|	equiv_opt: new command, for verifying optimization passes.	whitequark	2018-12-07	2	-1/+166
* \| \|	Merge pull request #734 from grahamedgecombe/fix-shuffled-bram-initdata	Clifford Wolf	2018-12-16	1	-0/+17
\|\ \ \
\| * \| \|	memory_bram: Fix initdata bit order after shuffling	Graham Edgecombe	2018-12-11	1	-0/+17
\| \| \|/ \| \|/\|
* \| \|	Merge pull request #714 from daveshah1/abc_preserve_naming	Clifford Wolf	2018-12-16	1	-29/+51
\|\ \ \