iCE40/yosys - [no description]

	Commit message (Expand)	Author	Age	Files	Lines
...
\| \| * \|	Add "fmcombine -fwd -bwd -nop"	Clifford Wolf	2019-03-15	1	-10/+59
\| \| * \|	Add fmcombine pass	Clifford Wolf	2019-03-15	4	-17/+325
\| \|/ /
\| * \|	Merge pull request #875 from YosysHQ/clifford/mutate	Clifford Wolf	2019-03-15	4	-5/+862
\| \|\ \
\| \| * \|	Improvements in "mutate" list-reduce algorithm	Clifford Wolf	2019-03-15	1	-13/+36
\| \| * \|	Add "mutate -cfg", improve pick_cover behavior	Clifford Wolf	2019-03-14	1	-46/+101
\| \| * \|	Add a strictly coverage-driven mutation selection strategy	Clifford Wolf	2019-03-14	1	-1/+70
\| \| * \|	Improve "mutate" wire coverage metric	Clifford Wolf	2019-03-14	1	-1/+16
\| \| * \|	Add more mutation types, improve mutation src cover	Clifford Wolf	2019-03-14	1	-92/+268
\| \| * \|	Fix smtbmc.py handling of zero appended steps	Clifford Wolf	2019-03-14	1	-5/+5
\| \| * \|	Add "mutate" command DB reduce functionality	Clifford Wolf	2019-03-14	1	-12/+181
\| \| * \|	Add hashlib "<container>::element(int n)" methods	Clifford Wolf	2019-03-14	1	-0/+6
\| \| * \|	Add "mutate -mode inv", various other mutate improvements	Clifford Wolf	2019-03-14	1	-99/+213
\| \| * \|	Add basic "mutate -list N" framework	Clifford Wolf	2019-03-14	2	-0/+230
\| * \| \|	Disable realmath tests	Clifford Wolf	2019-03-15	1	-1/+1
\| \|/ /
\| * \|	Merge pull request #874 from YosysHQ/clifford/andopt	Clifford Wolf	2019-03-14	1	-0/+7
\| \|\ \
\| \| * \|	Improve handling of and-with-1 and or-with-0 in opt_expr, fixes #327	Clifford Wolf	2019-03-14	1	-0/+7
\| \|/ /
\| * \|	Merge pull request #872 from YosysHQ/clifford/pmuxfix	Clifford Wolf	2019-03-14	2	-1/+10
\| \|\ \
\| \| * \|	Improve handling of "full_case" attributes	Clifford Wolf	2019-03-14	1	-0/+9
\| \| * \|	Fix a syntax bug in ilang backend related to process case statements	Clifford Wolf	2019-03-14	1	-1/+1
\| \|/ /
\| * \|	Merge pull request #869 from cr1901/win-shell	Clifford Wolf	2019-03-14	3	-1/+377
\| \|\ \
\| \| * \|	Install launcher executable when running yosys-smtbmc on Windows.	William D. Jones	2019-03-13	3	-1/+377
\| * \| \|	Merge pull request #868 from YosysHQ/clifford/fixmem	Clifford Wolf	2019-03-13	2	-40/+24
\| \|\ \ \
\| \| * \| \|	Remove ice40/cells_sim.v hack to avoid warning for blocking memory writes	Clifford Wolf	2019-03-12	1	-19/+0
\| \| * \| \|	Improve handling of memories used in mem index expressions on LHS of an assig...	Clifford Wolf	2019-03-12	1	-5/+16
\| \| * \| \|	Remove outdated "blocking assignment to memory" warning	Clifford Wolf	2019-03-12	1	-10/+0
\| \| * \| \|	Only set MEM2REG_FL_CONST_LHS/MEM2REG_FL_VAR_LHS for non-init writes, fixes #867	Clifford Wolf	2019-03-12	1	-6/+8
\| \| \|/ /
\| * \| \|	Fix a bug in handling quotes in multi-cmd lines in Yosys scripts	Clifford Wolf	2019-03-12	1	-1/+7
\| * \| \|	Merge pull request #866 from YosysHQ/clifford/idstuff	Clifford Wolf	2019-03-12	5	-5/+71
\| \|\ \ \ \| \| \|/ / \| \|/\| \|
\| \| * \|	Improve determinism of IdString DB for similar scripts	Clifford Wolf	2019-03-11	5	-5/+71
\| * \| \|	Merge pull request #864 from YosysHQ/svalabelfix	Eddie Hung	2019-03-11	2	-92/+66
\| \|\ \ \ \| \| \|/ / \| \|/\| \|
\| \| * \|	Fix handling of cases that look like sva labels, fixes #862	Clifford Wolf	2019-03-10	2	-92/+66
\| * \| \|	Add ENABLE_GLOB Makefile switch	Clifford Wolf	2019-03-11	2	-3/+10
\| \|/ /
\| * \|	Fix typo in ice40_braminit help msg	Clifford Wolf	2019-03-09	1	-1/+1
\| * \|	Merge pull request #859 from smunaut/ice40_braminit	Clifford Wolf	2019-03-09	4	-37/+212
\| \|\ \
\| \| * \|	ice40: Run ice40_braminit pass by default	Sylvain Munaut	2019-03-08	1	-0/+1
\| \| * \|	ice40: Add ice40_braminit pass to allow initialization of BRAM from file	Sylvain Munaut	2019-03-08	3	-37/+211
\| * \| \|	Fix signed $shift/$shiftx handling in write_smt2	Clifford Wolf	2019-03-09	1	-1/+2
\| * \| \|	Add $dffsr support to async2sync	Clifford Wolf	2019-03-09	1	-2/+51
\| * \| \|	Merge pull request #858 from YosysHQ/clifford/svalabels	Clifford Wolf	2019-03-09	6	-58/+203
\| \|\ \ \
\| \| * \| \|	Also add support for labels on sva module items, fixes #699	Clifford Wolf	2019-03-08	2	-44/+113
\| \| * \| \|	Use SVA label in smt export if available	Clifford Wolf	2019-03-07	1	-2/+2
\| \| * \| \|	Add support for SVA labels in read_verilog	Clifford Wolf	2019-03-07	3	-26/+89
\| \| * \| \|	Add hack for handling SVA labels via Verific	Clifford Wolf	2019-03-07	1	-1/+14
\| * \| \| \|	Merge pull request #861 from YosysHQ/verific_chparam	Clifford Wolf	2019-03-08	2	-3/+20
\| \|\ \ \ \
\| \| * \| \| \|	Update help message for -chparam	Eddie Hung	2019-03-09	1	-1/+2
\| \| * \| \| \|	Add -chparam option to verific command	Eddie Hung	2019-03-09	1	-2/+18
\| \| * \| \| \|	Fix spelling	Eddie Hung	2019-03-09	1	-1/+1
\| \|/ / / /
\| * \| \| \|	Merge branch 'master' of github.com:YosysHQ/yosys	Clifford Wolf	2019-03-07	6	-10/+12
\| \|\ \ \ \
\| \| * \ \ \	Merge pull request #856 from kprasadvnsi/master	Clifford Wolf	2019-03-07	6	-10/+12
\| \| \|\ \ \ \ \| \| \| \|/ / / \| \| \|/\| \| \|
\| \| \| * \| \|	examples/anlogic/ now also output the SVF file.	Kali Prasad	2019-03-06	6	-10/+12