iCE40/yosys - [no description]

	Commit message (Expand)	Author	Age	Files	Lines
*	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
*	Fix a bug in clk2fflogic memory handling	Clifford Wolf	2017-12-14	1	-1/+1
*	Add clk2fflogic memory support	Clifford Wolf	2017-12-14	1	-1/+77
*	Check for memories in clk2fflogic	Clifford Wolf	2017-12-13	1	-0/+5
*	Rename "singleton" pass to "uniquify"	Clifford Wolf	2017-08-20	1	-1/+1
*	Add "sim -zinit -rstlen"	Clifford Wolf	2017-08-18	1	-1/+53
*	Add "sim" support for memories	Clifford Wolf	2017-08-18	1	-2/+136
*	Add support for assert/assume/cover to "sim" command	Clifford Wolf	2017-08-18	1	-4/+47
*	Add writeback mode to "sim" command	Clifford Wolf	2017-08-17	1	-0/+44
*	Improve "sim" command	Clifford Wolf	2017-08-17	1	-54/+272
*	Add "sim" command skeleton	Clifford Wolf	2017-08-16	2	-0/+372
*	Add "setundef -anyseq"	Clifford Wolf	2017-05-28	1	-1/+2
*	Bugfix in "miter -assert" handling of assumptions	Clifford Wolf	2016-10-17	1	-2/+2
*	Added clk2fflogic support for $dffsr and $dlatch	Clifford Wolf	2016-10-17	1	-1/+57
*	Improvements and bugfixes in clk2fflogic	Clifford Wolf	2016-10-16	1	-13/+21
*	Some minor build fixes for Visual C	Clifford Wolf	2016-10-14	1	-2/+11
*	Added clk2fflogic	Clifford Wolf	2016-10-14	2	-0/+154
*	Added $ff and $_FF_ cell types	Clifford Wolf	2016-10-12	1	-7/+31
*	Improvements in assertpmux	Clifford Wolf	2016-09-07	1	-21/+158
*	Added assertpmux	Clifford Wolf	2016-09-07	2	-0/+104
*	Run log_flush() before solving in sat command	Clifford Wolf	2016-09-06	1	-0/+3
*	Moved SatHelper::setup_init() code to SatHelper::setup()	Clifford Wolf	2016-07-24	1	-97/+92
*	Added $initstate support to "sat" command	Clifford Wolf	2016-07-23	1	-13/+12
*	Added "yosys -D" feature	Clifford Wolf	2016-04-21	5	-6/+6
*	Improved formatting of "sat" output tables	Clifford Wolf	2016-04-05	1	-5/+5
*	Renamed opt_const to opt_expr	Clifford Wolf	2016-03-31	1	-4/+4