iCE40/abc - [no description]

	Commit message (Collapse)	Author	Age	Files	Lines
*	Bug fix in printing truth table in Verilog.	Alan Mishchenko	2019-11-20	1	-1/+11
\|
*	Enable blasting LUTs in NDR.	Alan Mishchenko	2019-11-18	1	-0/+6
\|
*	Supporting LUT in NDR and WLC.	Alan Mishchenko	2019-04-05	1	-0/+9
\|
*	Experiments with memory abstraction.	Alan Mishchenko	2019-01-22	1	-1/+1
\|
*	Support for flops with complex controls.	Alan Mishchenko	2018-09-22	1	-7/+13
\|
*	Supporting unitialized flops in NDR.	Alan Mishchenko	2018-09-11	1	-1/+1
\|
*	Command %blastmem for bit-blasting small memories.	Alan Mishchenko	2018-06-16	1	-1/+2
\|
*	Bug fix in 'lutpack' (level count overflow).	Alan Mishchenko	2018-06-16	1	-1/+0
\|
*	Extending NDR to support adder/subtractor.	Alan Mishchenko	2018-06-14	1	-0/+14
\|
*	Supporting the decoder primitive in NDR and bit-blasting.	Alan Mishchenko	2018-06-05	1	-1/+38
\|
*	Supporting NMUX and SEL in NDR.	Alan Mishchenko	2018-05-24	1	-1/+29
\|
*	Updates to NDR format (bug fixes).	Alan Mishchenko	2018-05-03	1	-4/+4
\|
*	Updates to NDR format (flops, memories, signed mult, etc).	Alan Mishchenko	2018-04-29	1	-25/+62
\|
*	Extending primitives supported by WLC.	Alan Mishchenko	2018-03-03	1	-3/+26
\|
*	Adding support for adders with carry-in in WLC and NDR.	Alan Mishchenko	2018-02-24	1	-0/+2
\|
*	Adding visualization of word-level networks Wlc_Ntk_t.	Alan Mishchenko	2017-01-26	1	-1/+1
\|
*	Improving SMT-LIB parser.	Alan Mishchenko	2016-05-23	1	-2/+4
\|
*	Improving SMT-LIB parser.	Alan Mishchenko	2016-05-21	1	-0/+2
\|
*	Improving SMT-LIB parser.	Alan Mishchenko	2016-05-20	1	-1/+8
\|
*	Supporting negative and reverse ranges of word-level variables in Wlc.	Alan Mishchenko	2016-04-04	1	-1/+1
\|
*	Supporting bit-wise XNOR operator in Wlc_Ntk_t.	Alan Mishchenko	2016-03-18	1	-0/+2
\|
*	Supporting complemented reduction operators.	Alan Mishchenko	2016-03-10	1	-0/+6
\|
*	Adding support for a different bit-blasting of a multiplier and squarer.	Alan Mishchenko	2016-02-12	1	-0/+2
\|
*	Supporting X-valued constants in Wlc_Ntk_t.	Alan Mishchenko	2016-02-02	1	-1/+1
\|
*	Supporting X-valued constants in Wlc_Ntk_t.	Alan Mishchenko	2016-02-02	1	-6/+13
\|
*	Supporting X-valued constants in Wlc_Ntk_t.	Alan Mishchenko	2016-02-02	1	-0/+8
\|
*	Improved bit-blasting of various operators in Wlc_Ntk_t; added SQRT operator ↵	Alan Mishchenko	2015-07-14	1	-0/+2
\| \| \| \|	(@).
*	Bug fixing in %blast when blasting MUX coming from always-statement.	Alan Mishchenko	2015-07-07	1	-54/+57
\|
*	Bug fixing in %blast when blasting mod operator (handling zero divisor).	Alan Mishchenko	2015-07-07	1	-2/+3
\|
*	Bug fix WLC package (reusing name buffer, resulting in wrong print-outs).	Alan Mishchenko	2015-03-03	1	-3/+2
\|
*	Several ongoing changes.	Alan Mishchenko	2015-01-26	1	-1/+1
\|
*	Outputting initial state in Wlc_Ntk_t.	Alan Mishchenko	2015-01-26	1	-28/+25
\|
*	Outputting initial state in Wlc_Ntk_t.	Alan Mishchenko	2015-01-25	1	-2/+36
\|
*	Improvements to word-level network package.	Alan Mishchenko	2014-11-14	1	-2/+2
\|
*	Improvements to word-level network package.	Alan Mishchenko	2014-11-14	1	-23/+28
\|
*	Bug fix in Verilog writer.	Alan Mishchenko	2014-10-02	1	-8/+8
\|
*	Improvements to bit-blaster.	Alan Mishchenko	2014-10-01	1	-9/+46
\|
*	Renaming DSD commands (dsd_tune -> dsd_match; dsd_clean -> dsd_filter).	Alan Mishchenko	2014-09-28	1	-1/+1
\|
*	Support for sequential designs in word-level Verilog.	Alan Mishchenko	2014-09-26	1	-9/+34
\|
*	Added support of word-level MUXes represented as 'always'-statements.	Alan Mishchenko	2014-09-24	1	-0/+24
\|
*	Improvements to word-level Verilog parser.	Alan Mishchenko	2014-09-17	1	-1/+1
\|
*	Improvements to word-level Verilog parser.	Alan Mishchenko	2014-09-17	1	-4/+86
\|
*	Improvements to word-level Verilog parser.	Alan Mishchenko	2014-09-16	1	-0/+1
\|
*	Compiler warnings.	Alan Mishchenko	2014-09-12	1	-1/+1
\|
*	New word-level representation package.	Alan Mishchenko	2014-09-12	1	-0/+204