iCE40/abc - [no description]

	Commit message (Collapse)	Author	Age	Files	Lines
*	Enabling additional stat printouts.	Alan Mishchenko	2012-12-01	1	-2/+114
\|
*	Counter-example analysis and optimization.	Alan Mishchenko	2012-11-30	1	-6/+6
\|
*	Counter-example analysis and optimization.	Alan Mishchenko	2012-11-30	1	-0/+57
\|
*	Counter-example analysis and optimization.	Alan Mishchenko	2012-11-28	1	-1/+9
\|
*	DSD manager.	Alan Mishchenko	2012-11-20	2	-3/+17
\|
*	DSD manager.	Alan Mishchenko	2012-11-19	1	-0/+14
\|
*	Added switch 'cexcut -m' to generate bad states for all frames after G.	Alan Mishchenko	2012-11-15	1	-9/+17
\|
*	Added switch 'cexcut -n' to generate only one bad state.	Alan Mishchenko	2012-11-15	1	-86/+18
\|
*	Added command 'cexcut' and 'cexmerge'.	Alan Mishchenko	2012-11-14	1	-12/+22
\|
*	Added command 'cexcut' and 'cexmerge'.	Alan Mishchenko	2012-11-14	1	-0/+2
\|
*	Added command 'cexcut' and 'cexmerge'.	Alan Mishchenko	2012-11-14	1	-10/+208
\|
*	Added command 'cexcut' and 'cexmerge'.	Alan Mishchenko	2012-11-14	1	-2/+97
\|
*	Added command 'cexsave' and 'cexload'.	Alan Mishchenko	2012-11-14	1	-4/+187
\|
*	Isolating BMC code into a separate package.	Alan Mishchenko	2012-11-14	2	-0/+2
\|
*	Modifying parameter limits to allow mapping into 2-LUTs.	Alan Mishchenko	2012-11-14	1	-3/+3
\|
*	Made print-out of frontier cut an option ('-c') in '&ps'.	Alan Mishchenko	2012-11-12	1	-4/+9
\|
*	Extending GIA to represent pintypes and pins.	Alan Mishchenko	2012-11-12	2	-1/+95
\|
*	Improved DSD.	Alan Mishchenko	2012-11-11	1	-10/+6
\|
*	Improved DSD.	Alan Mishchenko	2012-11-10	1	-2/+6
\|
*	Improved DSD.	Alan Mishchenko	2012-11-10	1	-2/+2
\|
*	Performance bug fix in choice generation.	Alan Mishchenko	2012-11-09	3	-25/+34
\|
*	Improvements to LMS code.	Alan Mishchenko	2012-11-06	2	-249/+232
\|
*	Improved DSD.	Alan Mishchenko	2012-11-03	1	-0/+4
\|
*	Adding dumping truth tables from LMS manager.	Alan Mishchenko	2012-11-02	2	-22/+117
\|
*	Fixing out-of-bound problem when collecting GIA nodes.	Alan Mishchenko	2012-11-02	1	-0/+5
\|
*	Improvements to LMS code.	Alan Mishchenko	2012-11-02	1	-7/+82
\|
*	Improvements to LMS code.	Alan Mishchenko	2012-11-02	2	-13/+48
\|
*	Improvements to LMS code.	Alan Mishchenko	2012-11-01	1	-28/+10
\|
*	Improvements to LMS code.	Alan Mishchenko	2012-11-01	3	-18/+74
\|
*	Improvements to the truth table computations.	Alan Mishchenko	2012-11-01	1	-4/+15
\|
*	Improvements to the truth table computations.	Alan Mishchenko	2012-11-01	2	-3/+16
\|
*	Improvements to the truth table computations.	Alan Mishchenko	2012-11-01	1	-2/+2
\|
*	Removed 'send_cex'.	Alan Mishchenko	2012-10-31	1	-49/+0
\|
*	Improvements to the truth table computations.	Alan Mishchenko	2012-10-30	1	-0/+2
\|
*	Added switch for netlist type to 'send_aig'. Changed defautl to &-space. ↵	Niklas Een	2012-10-30	2	-296/+301
\| \| \| \|	Fixed printf -> Abc_Print in some places.
*	Removed CEX communication through bridge in Abc_FrameReplaceCex	Niklas Een	2012-10-30	1	-1002/+995
\|
*	Added new bridge commands.	Alan Mishchenko	2012-10-29	1	-0/+173
\|
*	Tentatively integrated new DSD.	Alan Mishchenko	2012-10-29	2	-1/+22
\|
*	Move truth table code into a separte file.	Alan Mishchenko	2012-10-28	1	-42/+1
\|
*	Improvements to LMS code.	Alan Mishchenko	2012-10-28	1	-4/+2
\|
*	Improvements to LMS code.	Alan Mishchenko	2012-10-28	1	-3/+6
\|
*	Improvements to LMS code.	Alan Mishchenko	2012-10-28	1	-5/+5
\|
*	Improvements to LMS code.	Alan Mishchenko	2012-10-28	2	-21/+250
\|
*	Improvements to LMS code.	Alan Mishchenko	2012-10-28	2	-148/+712
\|
*	Improvements to LMS code.	Alan Mishchenko	2012-10-27	1	-18/+4
\|
*	Improvements to LMS code.	Alan Mishchenko	2012-10-27	3	-61/+836
\|
*	Added switch '-q' to 'scorr' and '&scorr' to quit when PO is not a candidate ↵	Alan Mishchenko	2012-10-25	1	-4/+12
\| \| \| \|	constant.
*	Adding binary file dumping for truth tables.	Alan Mishchenko	2012-10-25	3	-15/+25
\|
*	Changing the defaults of command 'collapse'.	Alan Mishchenko	2012-10-25	1	-2/+2
\|
*	Integrating GIA with LUT mapping.	Alan Mishchenko	2012-10-24	1	-2/+103
\|