iCE40/yosys - [no description]

	Commit message (Expand)	Author	Age	Files	Lines
*	Fix handling of some formal cells in btor back-end	Claire Xenia Wolf	2022-03-11	1	-6/+2
*	handle state names of $anyconst and $anyseq	Miodrag Milanovic	2022-03-11	1	-1/+5
*	Add $bmux and $demux cells.	Marcelina Kościelnicka	2022-01-28	1	-0/+5
*	Hook up $aldff support in various passes.	Marcelina Kościelnicka	2021-10-02	1	-1/+1
*	Fixing old e-mail addresses and deadnames	Claire Xenia Wolf	2021-06-08	1	-2/+2
*	Make a few passes auto-call Mem::narrow instead of rejecting wide ports.	Marcelina Kościelnicka	2021-05-28	1	-9/+3
*	Reject wide ports in some passes that will never support them.	Marcelina Kościelnicka	2021-05-25	1	-2/+11
*	btor: Use is_mem_cell in one more place.	Marcelina Kościelnicka	2021-05-23	1	-1/+1
*	kernel/rtlil: Extract some helpers for checking memory cell types.	Marcelina Kościelnicka	2021-05-22	1	-1/+1
*	btor, smt2, smv: Add a hint on how to deal with funny FF types.	Marcelina Kościelnicka	2021-02-25	1	-1/+14
*	btor: Use Mem helper.	Marcelina Kościelnicka	2020-10-21	1	-93/+102
*	Respect \A_SIGNED for $shift	Xiretza	2020-08-18	1	-9/+17
*	Use C++11 final/override keywords.	whitequark	2020-06-18	1	-2/+2
*	btor backend: make not printing internal names default	N. Engelhardt	2020-06-04	1	-5/+5
*	Add printf format attributes to btorf/infof helper functions	Claire Wolf	2020-06-04	1	-3/+3
*	btor backend: add option to not include internal names	N. Engelhardt	2020-06-04	1	-33/+42
*	Add flooring modulo operator	Xiretza	2020-05-28	1	-4/+10
*	kernel: big fat patch to use more ID::, otherwise ID()	Eddie Hung	2020-04-02	1	-106/+106
*	Update backends/btor/btor.cc; credit @boqwxp	Eddie Hung	2020-04-02	1	-2/+1
*	kernel: use more ID::*	Eddie Hung	2020-04-02	1	-51/+51
*	Improve write_btor symbol handling	Claire Wolf	2020-03-14	1	-36/+60
*	Add info-file and cover features to write_btor	Claire Wolf	2020-03-13	1	-9/+113
*	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	1	-1/+1
*	Add btor ops for $mul, $div, $mod and $concat	makaimann	2018-12-17	1	-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	1	-5/+35
*	Fix btor back-end shift handling	Clifford Wolf	2017-12-10	1	-4/+6
*	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	1	-6/+215