iCE40/abc - [no description]

	Commit message (Collapse)	Author	Age	Files	Lines
...
*	Changes to LUT mappers.	Alan Mishchenko	2014-03-04	1	-1/+0
\|
*	Changes to LUT mappers.	Alan Mishchenko	2014-02-28	1	-25/+32
\|
*	Changes to LUT mappers.	Alan Mishchenko	2014-02-28	1	-0/+33
\|
*	Changes to LUT mappers.	Alan Mishchenko	2014-02-27	1	-7/+19
\|
*	Changes to LUT mappers.	Alan Mishchenko	2014-02-25	1	-2/+20
\|
*	Changes to LUT mappers.	Alan Mishchenko	2014-02-25	1	-1/+1
\|
*	Changes to LUT mappers.	Alan Mishchenko	2014-02-17	1	-32/+1
\|
*	Changes to LUT mappers.	Alan Mishchenko	2014-02-17	1	-24/+24
\|
*	Removing unused LMS code.	Alan Mishchenko	2014-02-16	1	-18/+3
\|
*	Significant improvement to LUT mappers (if, &if).	Alan Mishchenko	2014-02-16	1	-41/+34
\|
*	Improvements to the new technology mapper.	Alan Mishchenko	2013-09-07	1	-0/+6
\|
*	Removing some old useless code.	Alan Mishchenko	2013-09-02	1	-39/+0
\|
*	Buf fixes and minor changes to the &if mapper.	Alan Mishchenko	2013-08-29	1	-4/+4
\|
*	Buf fixes and minor changes to the &if mapper.	Alan Mishchenko	2013-08-29	1	-1/+14
\|
*	Adding code to count statistics about decomposable LUT5.	Alan Mishchenko	2013-08-18	1	-0/+10
\|
*	Commenting out assertion related to choices in 'if'.	Alan Mishchenko	2013-07-16	1	-1/+1
\|
*	Adding a wrapper around clock() for more accurate time counting in ABC.	Alan Mishchenko	2013-05-27	1	-4/+4
\|
*	User-controlable SAT sweeper.	Alan Mishchenko	2013-02-25	1	-2/+2
\|
*	Enabling command &append for combiming multiple AIGs.	Alan Mishchenko	2012-12-01	1	-1/+1
\|
*	DSD manager.	Alan Mishchenko	2012-11-20	1	-24/+28
\|
*	DSD manager.	Alan Mishchenko	2012-11-19	1	-0/+19
\|
*	DSD manager.	Alan Mishchenko	2012-11-13	1	-1/+2
\|
*	Improved DSD.	Alan Mishchenko	2012-11-11	1	-2/+2
\|
*	Improved DSD.	Alan Mishchenko	2012-11-10	1	-1/+56
\|
*	Improvements to LMS code.	Alan Mishchenko	2012-11-01	1	-0/+2
\|
*	Improvements to LMS code.	Alan Mishchenko	2012-10-28	1	-10/+12
\|
*	Improvements to the truth table computation in 'if' package.	Alan Mishchenko	2012-10-26	1	-1/+3
\|
*	Added new API to traverse the cut in the mapper.	Alan Mishchenko	2012-10-25	1	-1/+3
\|
*	Updated code for lazy man's synthesis.	Alan Mishchenko	2012-07-15	1	-2/+16
\|
*	Fixing time primtouts throughout the code.	Alan Mishchenko	2012-07-07	1	-1/+1
\|
*	Fixing time primtouts throughout the code.	Alan Mishchenko	2012-07-07	1	-1/+2
\|
*	Bug fix in SOP balancing with structural choices.	Alan Mishchenko	2012-04-12	1	-0/+2
\|
*	Enabling mapping into multi-input AND/OR gates.	Alan Mishchenko	2012-03-27	1	-10/+4
\|
*	Alternative way of computing delay in SOP balancing.	Alan Mishchenko	2012-03-16	1	-0/+8
\|
*	Changes to the lazy man's synthesis code.	Alan Mishchenko	2012-01-17	1	-5/+5
\|
*	Several small bug fixes in the mapper.	Alan Mishchenko	2012-01-15	1	-1/+4
\|
*	Changes to the lazy man's synthesis code.	Alan Mishchenko	2012-01-11	1	-1/+1
\|
*	Delay optimization using precomputed library.	Alan Mishchenko	2011-12-29	1	-7/+15
\|
*	Changes to the matching procedure.	Alan Mishchenko	2011-10-02	1	-1/+1
\|
*	Changes to the matching procedure.	Alan Mishchenko	2011-10-01	1	-9/+14
\|
*	Changes to Boolean matching.	Alan Mishchenko	2011-09-24	1	-2/+6
\|
*	Other changes to enable new features in the mapper (bug fix).	Alan Mishchenko	2011-07-20	1	-6/+15
\|
*	Other changes to enable new features in the mapper (bug fix).	Alan Mishchenko	2011-07-11	1	-1/+1
\|
*	Other changes to enable new features in the mapper.	Alan Mishchenko	2011-07-10	1	-5/+5
\|
*	Initial changes to enable new features in the mapper	Alan Mishchenko	2011-07-08	1	-0/+60
\|
*	Added new mapping feature.	Alan Mishchenko	2011-06-20	1	-1/+1
\|
*	Updated technology mapping.	Alan Mishchenko	2011-05-07	1	-3/+5
\|
*	Bug fixes having to do with the use of chars.	Alan Mishchenko	2011-04-20	1	-1/+1
\|
*	initial commit of public abc	Alan Mishchenko	2010-11-01	1	-12/+34
\|
*	Version abc90714	Alan Mishchenko	2015-06-22	1	-1/+3
\| \| \| \|	committer: Baruch Sterin <baruchs@gmail.com>