iCE40/abc - [no description]

	Commit message (Collapse)	Author	Age	Files	Lines
*	Adding support for minimalistic representation of LUT mapping.	Alan Mishchenko	2016-12-05	1	-1/+1
\|
*	New SAT-based optimization package.	Alan Mishchenko	2016-12-04	1	-2/+6
\|
*	New SAT-based optimization package.	Alan Mishchenko	2016-11-28	1	-10/+32
\|
*	Windows complier errors.	Alan Mishchenko	2016-08-06	1	-2/+2
\|
*	Return the class representative of each function.	Ana Petkovska	2016-06-18	1	-15/+59
\|
*	Group based exact NPN classification.	Ana Petkovska	2016-06-18	1	-2/+49
\|
*	New hierarchical TT NPN matching.	Alan Mishchenko	2016-02-26	2	-0/+144
\|
*	Fixed a typo in variable names.	Alan Mishchenko	2015-02-07	1	-1/+1
\|
*	Integrating barrier buffers.	Alan Mishchenko	2014-12-11	1	-1/+8
\|
*	Synchronizing packages.	Alan Mishchenko	2014-09-20	1	-1/+1
\|
*	Updates and changes to several packages.	Alan Mishchenko	2014-07-20	3	-11/+90
\|
*	Small changes in several packages.	Alan Mishchenko	2014-07-18	1	-1/+2
\|
*	Added delay-oriented balancing to unmapping in &st.	Alan Mishchenko	2014-06-19	1	-7/+207
\|
*	Improvements to print-outs.	Alan Mishchenko	2014-03-10	2	-2/+2
\|
*	Changes to LUT mappers.	Alan Mishchenko	2014-02-28	2	-4/+11
\|
*	Changes to LUT mappers.	Alan Mishchenko	2014-02-27	1	-0/+1
\|
*	Changes to LUT mappers.	Alan Mishchenko	2014-02-25	2	-12/+22
\|
*	g++ compiler errors.	Alan Mishchenko	2014-02-25	3	-3/+12
\|
*	Changes to LUT mappers.	Alan Mishchenko	2014-02-17	1	-1/+1
\|
*	New canonical DSD form.	Alan Mishchenko	2013-12-02	1	-0/+660
\|
*	Improvements to the canonical form computation.	Alan Mishchenko	2013-10-10	2	-0/+100
\|
*	Towards better Boolean matching.	Alan Mishchenko	2013-10-10	1	-2/+0
\|
*	Towards better Boolean matching.	Alan Mishchenko	2013-10-09	1	-46/+269
\|
*	Towards better Boolean matching.	Alan Mishchenko	2013-10-09	1	-5/+11
\|
*	Towards better Boolean matching.	Alan Mishchenko	2013-10-09	1	-17/+53
\|
*	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 ↵	Alan Mishchenko	2013-01-30	2	-6/+6
\| \| \| \|	unsigned long long.
*	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
\|