iCE40/yosys - [no description]

	Commit message (Collapse)	Author	Age	Files	Lines
...
*	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
\|
*	Import more std:: stuff into Yosys namespace	Clifford Wolf	2015-10-25	3	-8/+8
\|
*	renamed SigSpec::to_single_sigbit() to SigSpec::as_bit(), added is_bit()	Clifford Wolf	2015-10-24	1	-10/+10
\|
*	Added sat -show-regs, -show-public, -show-all	Clifford Wolf	2015-08-18	1	-0/+39
\|
*	Re-created command-reference-manual.tex, copied some doc fixes to online help	Clifford Wolf	2015-08-14	1	-1/+1
\|
*	Spell check (by Larry Doolittle)	Clifford Wolf	2015-08-14	5	-12/+12
\|
*	Added "miter -assert"	Clifford Wolf	2015-07-25	1	-1/+93
\|
*	Fixed trailing whitespaces	Clifford Wolf	2015-07-02	5	-16/+16
\|
*	Added logic-loop error handling to freduce	Clifford Wolf	2015-06-30	1	-0/+11
\|
*	don't consider blackbox modules in "sat" command	Clifford Wolf	2015-04-18	1	-7/+5
\|
*	Added non-std verilog assume() statement	Clifford Wolf	2015-02-26	1	-11/+29
\|
*	Fixed "sat -initsteps" off-by-one bug	Clifford Wolf	2015-02-22	1	-1/+1
\|
*	Added "sat -stepsize" and "sat -tempinduct-step"	Clifford Wolf	2015-02-21	1	-21/+64
\|
*	sat docu change	Clifford Wolf	2015-02-21	1	-0/+3
\|
*	When "sat -tempinduct-baseonly -maxsteps N" reaches maxsteps it is a good thing.	Clifford Wolf	2015-02-21	1	-0/+5
\|
*	Added "sat -tempinduct-baseonly -tempinduct-inductonly"	Clifford Wolf	2015-02-21	1	-66/+92
\|
*	Fixed basecase init for "sat -tempinduct"	Clifford Wolf	2015-02-21	1	-1/+6
\|
*	Replaced ezDefaultSAT with ezSatPtr	Clifford Wolf	2015-02-21	3	-73/+74
\|
*	format fixes in "sat -dump_json"	Clifford Wolf	2015-02-19	1	-18/+17
\|
*	Added "sat -dump_json" (WaveJSON format)	Clifford Wolf	2015-02-19	1	-4/+92
\|
*	Improved an error message	Clifford Wolf	2015-01-28	1	-1/+1
\|
*	Added "sat -show-ports"	Clifford Wolf	2015-01-27	1	-2/+7
\|
*	Moved equiv stuff to passes/equiv/	Clifford Wolf	2015-01-22	4	-598/+0
\|
*	Progress in equiv_simple	Clifford Wolf	2015-01-21	1	-39/+105
\|
*	Added equiv_simple	Clifford Wolf	2015-01-19	2	-0/+188
\|
*	Added equiv_status	Clifford Wolf	2015-01-19	2	-0/+95
\|
*	Added equiv_make command	Clifford Wolf	2015-01-19	2	-0/+249
\|
*	Renamed extend() to extend_xx(), changed most users to extend_u0()	Clifford Wolf	2014-12-24	1	-1/+1
\|