iCE40/abc - [no description]

	Commit message (Expand)	Author	Age	Files	Lines
*	Upgrading 'mfs2' to consider some nodes as having no level.	Alan Mishchenko	2013-10-09	3	-14/+19
*	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
*	Improving printouts in sharing extraction.	Alan Mishchenko	2013-09-28	1	-1/+2
*	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
*	Bug fix in XOR balancing.	Alan Mishchenko	2013-09-15	1	-4/+3
*	Enabling additional matching feature in the LUT mapper.	Alan Mishchenko	2013-08-12	1	-0/+1
*	Enabling switch -a in 'mfs2'.	Alan Mishchenko	2013-07-16	1	-0/+2
*	Bug fix in 'mfs2'.	Alan Mishchenko	2013-07-08	1	-2/+2
*	Adding timeout to AIG rewriting inside 'int'.	Alan Mishchenko	2013-07-07	4	-1/+38
*	New MFS package (bug fix).	Alan Mishchenko	2013-06-07	1	-2/+1
*	Integrating new MFS package with GIA manager.	Alan Mishchenko	2013-06-04	3	-1/+38
*	New MFS package.	Alan Mishchenko	2013-05-31	5	-8/+17
*	New MFS package.	Alan Mishchenko	2013-05-31	6	-13/+65
*	New MFS package.	Alan Mishchenko	2013-05-30	4	-57/+32
*	New MFS package.	Alan Mishchenko	2013-05-30	6	-65/+183
*	Adding a wrapper around clock() for more accurate time counting in ABC.	Alan Mishchenko	2013-05-27	60	-485/+485
*	Several small changes to the MFS packages.	Alan Mishchenko	2013-05-27	8	-17/+21
*	Added switch -M to set max size of two-cube divisors to extract (often helps ...	Alan Mishchenko	2013-05-27	2	-6/+7
*	New MFS package.	Alan Mishchenko	2013-05-27	1	-1/+1
*	New MFS package.	Alan Mishchenko	2013-05-27	2	-6/+9
*	New MFS package.	Alan Mishchenko	2013-05-26	3	-10/+28
*	New MFS package.	Alan Mishchenko	2013-05-26	7	-62/+70
*	New command 'putontop' to concatenate networks for don't-care-based optimizat...	Alan Mishchenko	2013-05-25	1	-0/+1
*	New MFS package.	Alan Mishchenko	2013-05-25	10	-106/+99
*	New MFS package.	Alan Mishchenko	2013-05-25	10	-115/+88
*	New MFS package.	Alan Mishchenko	2013-05-25	4	-10/+22
*	New MFS package.	Alan Mishchenko	2013-05-25	8	-28/+43
*	New MFS package.	Alan Mishchenko	2013-05-24	7	-63/+87
*	New MFS package.	Alan Mishchenko	2013-05-24	8	-178/+584
*	New MFS package.	Alan Mishchenko	2013-05-23	5	-124/+331
*	g++ warnings.	Alan Mishchenko	2013-05-19	1	-1/+1
*	New MFS package.	Alan Mishchenko	2013-05-12	9	-215/+586
*	Typo in the comment.	Alan Mishchenko	2013-05-09	2	-4/+4
*	New fast extract.	Alan Mishchenko	2013-05-05	3	-5/+5
*	Typo in the comments.	Alan Mishchenko	2013-04-19	1	-1/+1
*	Typo in the comments.	Alan Mishchenko	2013-04-19	1	-5/+5
*	Compiler warning.	Alan Mishchenko	2013-04-17	1	-1/+0
*	New MFS package.	Alan Mishchenko	2013-04-03	1	-2/+2