iCE40/abc - [no description]

	Commit message (Expand)	Author	Age	Files	Lines
...
*	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. Fixe...	Niklas Een	2012-10-30	2	-296/+301
*	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
*	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
*	Integrating GIA with LUT mapping.	Alan Mishchenko	2012-10-24	3	-18/+324
*	Disabling SAT sweeping in 'map' by default.	Alan Mishchenko	2012-10-23	1	-1/+1
*	Bug fix in LMS code.	Alan Mishchenko	2012-10-08	1	-1/+1
*	New AIG optimization package.	Alan Mishchenko	2012-10-06	2	-8/+0
*	New AIG optimization package.	Alan Mishchenko	2012-10-06	2	-0/+8
*	Allow for binary input file in 'testdec' and 'testnpn'.	Alan Mishchenko	2012-10-05	2	-3/+15
*	Allow for binary input file in 'testdec' and 'testnpn'.	Alan Mishchenko	2012-10-05	1	-2/+4
*	Allow for binary input file in 'testdec' and 'testnpn'.	Alan Mishchenko	2012-10-05	3	-54/+144
*	C++ portability changes.	Alan Mishchenko	2012-10-03	3	-7/+7
*	Structural reparametrization.	Alan Mishchenko	2012-10-02	1	-4/+4
*	Combined old reparametrization command with the new one.	Alan Mishchenko	2012-10-02	1	-54/+12
*	Structural reparametrization.	Alan Mishchenko	2012-10-02	1	-7/+23
*	Structural reparametrization.	Alan Mishchenko	2012-09-30	1	-0/+52
*	Added serialization of Mini AIG.	Alan Mishchenko	2012-09-29	1	-0/+10
*	Experiments with mini AIG manager.	Alan Mishchenko	2012-09-29	1	-1/+1
*	Experiments with mini AIG manager.	Alan Mishchenko	2012-09-29	1	-2/+35
*	Replacing 'st_table' by 'st__table' to resolve linker problems.	Alan Mishchenko	2012-09-29	2	-11/+11
*	Experiments with mini AIG manager.	Alan Mishchenko	2012-09-29	1	-31/+40
*	Experiments with mini AIG manager.	Alan Mishchenko	2012-09-29	1	-66/+72
*	Updated version of LMS code.	Alan Mishchenko	2012-09-26	1	-0/+1
*	Updated version of LMS code.	Alan Mishchenko	2012-09-26	1	-3/+3
*	Updated version of LMS code.	Alan Mishchenko	2012-09-26	1	-4/+6