iCE40/yosys - [no description]

	Commit message (Expand)	Author	Age	Files	Lines
*	Merge pull request #1567 from YosysHQ/eddie/sat_init_warning	Claire Wolf	2020-01-28	1	-1/+2
\|\
\| *	Suppress warning message for init[i] = 1'bx	Eddie Hung	2019-12-11	1	-1/+2
* \|	Add fminit pass	Clifford Wolf	2020-01-09	2	-0/+198
* \|	Fix sim for assignments with lhs<rhs size, fixes #1565	Clifford Wolf	2019-12-17	1	-1/+1
\|/
*	Revert "Be mindful that sigmap(wire) could have dupes when checking \init"	Eddie Hung	2019-10-08	1	-4/+1
*	Be mindful that sigmap(wire) could have dupes when checking \init	Eddie Hung	2019-10-02	1	-1/+4
*	Fix $dlatch handling in async2sync	Clifford Wolf	2019-09-30	1	-0/+1
*	Add $dlatch support to async2sync	Clifford Wolf	2019-08-28	1	-1/+36
*	Ignore all 1'bx in (* init *)	Eddie Hung	2019-08-27	1	-3/+1
*	In sat: 'x' in init attr should not override constant	Eddie Hung	2019-08-22	1	-0/+2
*	More use of IdString::in()	Eddie Hung	2019-08-15	1	-1/+1
*	substr() -> compare()	Eddie Hung	2019-08-07	3	-6/+6
*	Remove std:: namespace	Eddie Hung	2019-08-07	1	-5/+5
*	stoi -> atoi	Eddie Hung	2019-08-07	4	-33/+33
*	Use std::stoi instead of atoi(<str>.c_str())	Eddie Hung	2019-08-06	4	-33/+33
*	Use State::S{0,1}	Eddie Hung	2019-08-06	2	-3/+3
*	Fix tests/various/async FFL test	Clifford Wolf	2019-07-09	1	-0/+7
*	Add a few more filename rewrites	Ben Widawsky	2019-06-20	1	-0/+4
*	Fixed the help summary line for a few commands	acw1251	2019-06-19	2	-4/+4
*	Error out if no top module given before 'sim'	Eddie Hung	2019-06-05	1	-0/+5
*	Fix typo in fmcombine log message, fixes #1063	Clifford Wolf	2019-06-05	1	-2/+2
*	Add "fmcombine -initeq -anyeq"	Clifford Wolf	2019-05-11	1	-3/+38
*	Fix bug in "expose -input"	Clifford Wolf	2019-05-06	1	-1/+1
*	Add missing enable_undef to "sat -tempinduct-def", fixes #883	Clifford Wolf	2019-05-02	1	-0/+1
*	Add "techmap -wb", use in formal flows	Clifford Wolf	2019-04-20	1	-4/+4
*	Added missing argument checking to "mutate" command	Clifford Wolf	2019-04-04	1	-0/+32
*	Add "cutpoint -undef"	Clifford Wolf	2019-03-26	1	-10/+14
*	Add "cutpoint" pass	Clifford Wolf	2019-03-25	2	-0/+165
*	Add "mutate -none -mode", "mutate -mode none"	Clifford Wolf	2019-03-23	1	-1/+30
*	Add "mutate -s <filename>"	Clifford Wolf	2019-03-23	1	-2/+24
*	Improve mix of src/wire/wirebit coverage in "mutate -list"	Clifford Wolf	2019-03-16	1	-29/+84
*	Add "fmcombine -fwd -bwd -nop"	Clifford Wolf	2019-03-15	1	-10/+59
*	Add fmcombine pass	Clifford Wolf	2019-03-15	2	-0/+293
*	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
*	Add "mutate" command DB reduce functionality	Clifford Wolf	2019-03-14	1	-12/+181
*	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
*	Add $dffsr support to async2sync	Clifford Wolf	2019-03-09	1	-2/+51
*	Improvements in "supercover" pass	Clifford Wolf	2019-02-27	1	-2/+18
*	Add "supercover" skeleton	Clifford Wolf	2019-02-27	2	-0/+77
*	Fixed minor typo in "sim" help message	acw1251	2018-09-12	1	-1/+1
*	Consistent use of 'override' for virtual methods in derived classes.	Henner Zeller	2018-07-20	9	-18/+18
*	Add async2sync pass	Clifford Wolf	2018-07-19	2	-0/+148
*	Removed $timescale from "sat" command VCD writer	Clifford Wolf	2018-03-29	1	-1/+0
*	Add "expose -input"	Clifford Wolf	2018-03-12	1	-8/+43
*	Add $dlatchsr support to clk2fflogic	Clifford Wolf	2018-02-26	1	-4/+25