iCE40/yosys - [no description]

	Commit message (Expand)	Author	Age	Files	Lines
*	Use cell name for btor bad state props when it is a public name	Clifford Wolf	2019-11-14	1	-9/+5
*	Add an info string symbol for bad states in btor backend	Makai Mann	2019-11-11	1	-1/+10
*	Fix btor back-end to use "state" instead of "input" for undef init bits	Clifford Wolf	2019-10-02	1	-6/+9
*	Corrects btor2 backend	Aman Goel	2019-09-27	1	-1/+4
*	Fix stupid bug in btor back-end	Clifford Wolf	2019-09-18	1	-1/+1
*	Use State::S{0,1}	Eddie Hung	2019-08-06	1	-2/+2
*	Add $_NMUX_, add "abc -g cmos", add proper cmos cell costs	Clifford Wolf	2019-08-06	1	-1/+7
*	Improve BTOR2 handling of undriven wires	Clifford Wolf	2019-06-26	1	-3/+27
*	Add proper error message for btor recursion_guard	Clifford Wolf	2019-05-24	1	-1/+7
*	Change "ne" to "neq" in btor2 output	Clifford Wolf	2019-04-19	1	-1/+1
*	Add support for memory initialization to write_btor	Clifford Wolf	2019-03-23	1	-0/+53
*	Fix BTOR output tags syntax in writye_btor	Clifford Wolf	2019-03-23	1	-2/+1
*	Minor style fixes	Clifford Wolf	2018-12-18	2	-1/+1
*	Add btor ops for $mul, $div, $mod and $concat	makaimann	2018-12-17	2	-2/+38
*	Fix btor init value handling	Clifford Wolf	2018-12-08	1	-9/+13
*	Consistent use of 'override' for virtual methods in derived classes.	Henner Zeller	2018-07-20	1	-2/+2
*	Add "no driver for signal bit" error msg to btor back-end	Clifford Wolf	2017-12-24	1	-0/+2
*	Simple fix BTOR memory encoding	Clifford Wolf	2017-12-17	1	-2/+2
*	Improve BTOR memory encoding	Clifford Wolf	2017-12-17	1	-2/+16
*	Add array support to btor back-end	Clifford Wolf	2017-12-15	1	-6/+169
*	Add $anyconst/$anyseq support to btor back-end	Clifford Wolf	2017-12-15	1	-13/+51
*	Add "write_btor -s" mode	Clifford Wolf	2017-12-13	1	-6/+50
*	Add state initval handling to btor back-end	Clifford Wolf	2017-12-12	1	-0/+25
*	Add btor back-end support for 'x' constants	Clifford Wolf	2017-12-12	1	-1/+54
*	Add btor $shift/$shiftx support	Clifford Wolf	2017-12-11	2	-7/+37
*	Fix btor back-end shift handling	Clifford Wolf	2017-12-10	2	-5/+7
*	Add support for $pmux in btor back-end	Clifford Wolf	2017-12-10	1	-0/+23
*	Add support for more cell types to btor back-end	Clifford Wolf	2017-12-10	2	-6/+245
*	Fix btor concat	Clifford Wolf	2017-12-09	1	-1/+1
*	Bugfixes in new BTOR back-end	Clifford Wolf	2017-11-24	1	-2/+3
*	Progress in new BTOR back-end	Clifford Wolf	2017-11-23	1	-36/+97
*	Progress in new BTOR back-end	Clifford Wolf	2017-11-23	1	-3/+95
*	Progress in new BTOR back-end	Clifford Wolf	2017-11-23	1	-14/+72
*	Progress with new BTOR backend	Clifford Wolf	2017-11-23	1	-8/+109
*	Add skeleton for new BTOR back-end	Clifford Wolf	2017-11-23	2	-0/+216
*	Remove old BTOR back-end	Clifford Wolf	2017-11-23	4	-1174/+0
*	Added "yosys -D" feature	Clifford Wolf	2016-04-21	1	-1/+1
*	Renamed opt_const to opt_expr	Clifford Wolf	2016-03-31	1	-1/+1
*	Added "int ceil_log2(int)" function	Clifford Wolf	2016-02-13	1	-8/+8
*	Another block of spelling fixes	Larry Doolittle	2015-08-14	1	-1/+1
*	Spell check (by Larry Doolittle)	Clifford Wolf	2015-08-14	1	-2/+2
*	Remove some very strange whitespace in btor.cc (by Larry Doolittle)	Clifford Wolf	2015-08-05	1	-7/+7
*	Fixed trailing whitespaces	Clifford Wolf	2015-07-02	3	-89/+89
*	Fixed cstr_buf for std::string with small string optimization	Clifford Wolf	2015-06-11	1	-1/+1
*	Removed "techmap -share_map" (use "-map +/filename" instead)	Clifford Wolf	2015-04-08	1	-1/+1
*	Update README	Ahmed Irfan	2015-04-03	1	-1/+1
*	Delete btor.ys	Ahmed Irfan	2015-04-03	1	-18/+0
*	Update README	Ahmed Irfan	2015-04-03	1	-1/+1
*	separated memory next from write cell	Ahmed Irfan	2015-04-03	1	-7/+55
*	Added ENABLE_NDEBUG makefile options	Clifford Wolf	2015-01-24	1	-2/+2