iCE40/abc - [no description]

	Commit message (Expand)	Author	Age	Files	Lines
...
*	Towards better Boolean matching.	Alan Mishchenko	2013-10-05	1	-15/+2
*	Towards better Boolean matching.	Alan Mishchenko	2013-10-05	3	-1/+646
*	Integrating synthesis into the new BMC engine.	Alan Mishchenko	2013-10-02	2	-5/+16
*	Converting mapped AIG into strashed AIG.	Alan Mishchenko	2013-09-30	2	-2/+64
*	Producing AIG after structural mapping.	Alan Mishchenko	2013-09-30	1	-5/+4
*	Producing AIG after structural mapping.	Alan Mishchenko	2013-09-30	1	-6/+5
*	Producing AIG after structural mapping.	Alan Mishchenko	2013-09-30	2	-3/+3
*	Changing default values.	Alan Mishchenko	2013-09-29	1	-1/+1
*	Performance improvements in GIA package.	Alan Mishchenko	2013-09-27	1	-0/+26
*	Generation of plain AIG after mapping.	Alan Mishchenko	2013-09-27	1	-0/+1
*	Generation of plain AIG after mapping.	Alan Mishchenko	2013-09-27	4	-1/+230
*	Enabling additional matching feature in the LUT mapper.	Alan Mishchenko	2013-08-12	1	-0/+1
*	Adding a wrapper around clock() for more accurate time counting in ABC.	Alan Mishchenko	2013-05-27	3	-59/+59
*	Compiler warnings.	Alan Mishchenko	2013-03-31	1	-1/+1
*	User-controlable SAT sweeper and other small changes.	Alan Mishchenko	2013-02-27	1	-2/+1
*	User-controlable SAT sweeper.	Alan Mishchenko	2013-02-25	1	-1/+1
*	Fixing compilation problems on Linux-32 related to constants of type unsigned...	Alan Mishchenko	2013-01-30	2	-6/+6
*	Fixing C++ compilation issues.	Alan Mishchenko	2013-01-08	1	-2/+2
*	Technology mapper.	Alan Mishchenko	2013-01-08	1	-7/+105
*	Improvements to DSD manager.	Alan Mishchenko	2012-12-15	2	-48/+175
*	Improvements to DSD manager.	Alan Mishchenko	2012-12-11	2	-43/+78
*	Improvements to DSD manager.	Alan Mishchenko	2012-12-10	1	-19/+21
*	Improvements to DSD manager.	Alan Mishchenko	2012-12-10	1	-185/+93
*	Improvements to DSD manager.	Alan Mishchenko	2012-12-10	1	-134/+46
*	DSD manager.	Alan Mishchenko	2012-12-02	1	-0/+236
*	Enabling command &append for combiming multiple AIGs.	Alan Mishchenko	2012-12-01	1	-2/+2
*	Enabling additional stat printouts.	Alan Mishchenko	2012-12-01	1	-2/+3
*	DSD manager.	Alan Mishchenko	2012-11-20	4	-126/+418
*	DSD manager.	Alan Mishchenko	2012-11-19	2	-18/+471
*	DSD manager.	Alan Mishchenko	2012-11-16	1	-45/+194
*	Isolating BMC code into a separate package.	Alan Mishchenko	2012-11-14	1	-3/+2
*	DSD manager.	Alan Mishchenko	2012-11-13	8	-20/+860
*	Improved DSD.	Alan Mishchenko	2012-11-11	4	-15/+295
*	Improved DSD.	Alan Mishchenko	2012-11-11	4	-8/+122
*	Improved DSD.	Alan Mishchenko	2012-11-11	3	-106/+542
*	Improved DSD.	Alan Mishchenko	2012-11-10	2	-6/+7
*	Improved DSD.	Alan Mishchenko	2012-11-10	3	-54/+169
*	Improved DSD.	Alan Mishchenko	2012-11-10	4	-143/+1030
*	Improved DSD.	Alan Mishchenko	2012-11-06	1	-68/+80
*	Improved DSD.	Alan Mishchenko	2012-11-06	1	-2/+2
*	Improved DSD.	Alan Mishchenko	2012-11-06	2	-358/+304
*	Improved DSD.	Alan Mishchenko	2012-11-06	1	-43/+201
*	Improved DSD.	Alan Mishchenko	2012-11-03	2	-218/+384
*	Improved DSD.	Alan Mishchenko	2012-11-03	1	-54/+148
*	Improved DSD.	Alan Mishchenko	2012-11-02	1	-20/+217
*	Fixing out-of-bound problem when collecting GIA nodes.	Alan Mishchenko	2012-11-02	1	-27/+134
*	Improvements to the truth table computations.	Alan Mishchenko	2012-11-01	2	-26/+19
*	Improvements to the truth table computations.	Alan Mishchenko	2012-11-01	2	-635/+804
*	Improvements to the truth table computations.	Alan Mishchenko	2012-11-01	1	-40/+348
*	Improvements to the truth table computations.	Alan Mishchenko	2012-10-31	1	-88/+0