iCE40/abc - [no description]

	Commit message (Expand)	Author	Age	Files	Lines
*	Adding switch &w -n to modify the comment section of the AIGER file written.	Alan Mishchenko	2018-11-21	1	-1/+1
*	Changes to make GIA structural hashing use a dedicated array instead of pObj-...	Alan Mishchenko	2017-11-13	1	-2/+2
*	Bug fix in the sweeper.	Alan Mishchenko	2014-05-10	1	-0/+3
*	Bug fix in the sweeper.	Alan Mishchenko	2014-05-06	1	-0/+2
*	Sweeper internal dumping.	Alan Mishchenko	2013-11-01	1	-7/+5
*	Sweeper internal dumping.	Alan Mishchenko	2013-11-01	1	-0/+32
*	Sweeper internal verification and new switch for &cfraig.	Alan Mishchenko	2013-11-01	1	-4/+5
*	Sweeper internal verification.	Alan Mishchenko	2013-11-01	1	-21/+0
*	Sweeper condition complement bug-fix.	Alan Mishchenko	2013-11-01	1	-1/+1
*	Sweeper condition complement bug-fix and code for internal verification.	Alan Mishchenko	2013-11-01	1	-2/+23
*	GIA sweeper: adding APIs to return valid probe ID and run a command line.	Alan Mishchenko	2013-10-31	1	-1/+1
*	GIA sweeper: adding APIs to return valid probe ID and run a command line.	Alan Mishchenko	2013-10-31	1	-0/+70
*	GIA sweeper interface update.	Alan Mishchenko	2013-10-31	1	-4/+6
*	GIA sweeper interface update.	Alan Mishchenko	2013-10-30	1	-16/+14
*	GIA sweeper interface update.	Alan Mishchenko	2013-10-30	1	-32/+16
*	Unifying parameters for the &ps command.	Alan Mishchenko	2013-09-05	1	-1/+1
*	Adding a wrapper around clock() for more accurate time counting in ABC.	Alan Mishchenko	2013-05-27	1	-32/+32
*	Bug fix in the sweeper.	Alan Mishchenko	2013-05-08	1	-1/+5
*	Bug fix in the sweeper.	Alan Mishchenko	2013-05-07	1	-2/+6
*	C++ compiler errors.	Alan Mishchenko	2013-05-04	1	-1/+1
*	SAT sweeping under constraints.	Alan Mishchenko	2013-04-25	1	-140/+29
*	User-controlable SAT sweeper.	Alan Mishchenko	2013-03-04	1	-78/+93
*	User-controlable SAT sweeper.	Alan Mishchenko	2013-03-03	1	-5/+61
*	User-controlable SAT sweeper.	Alan Mishchenko	2013-02-27	1	-3/+65
*	User-controlable SAT sweeper and other small changes.	Alan Mishchenko	2013-02-27	1	-11/+191
*	User-controlable SAT sweeper.	Alan Mishchenko	2013-02-27	1	-2/+54
*	User-controlable SAT sweeper.	Alan Mishchenko	2013-02-26	1	-4/+4
*	User-controlable SAT sweeper.	Alan Mishchenko	2013-02-26	1	-62/+81
*	User-controlable SAT sweeper.	Alan Mishchenko	2013-02-26	1	-0/+6
*	User-controlable SAT sweeper.	Alan Mishchenko	2013-02-26	1	-18/+29
*	User-controlable SAT sweeper.	Alan Mishchenko	2013-02-26	1	-2/+8
*	User-controlable SAT sweeper.	Alan Mishchenko	2013-02-26	1	-2/+6
*	User-controlable SAT sweeper.	Alan Mishchenko	2013-02-26	1	-2/+12
*	User-controlable SAT sweeper.	Alan Mishchenko	2013-02-26	1	-0/+2
*	User-controlable SAT sweeper.	Alan Mishchenko	2013-02-26	1	-3/+25
*	User-controlable SAT sweeper.	Alan Mishchenko	2013-02-26	1	-15/+15
*	User-controlable SAT sweeper.	Alan Mishchenko	2013-02-26	1	-2/+7
*	User-controlable SAT sweeper.	Alan Mishchenko	2013-02-26	1	-0/+3
*	User-controlable SAT sweeper.	Alan Mishchenko	2013-02-26	1	-74/+134
*	User-controlable SAT sweeper.	Alan Mishchenko	2013-02-26	1	-8/+12
*	User-controlable SAT sweeper.	Alan Mishchenko	2013-02-26	1	-59/+87
*	User-controlable SAT sweeper.	Alan Mishchenko	2013-02-26	1	-69/+56
*	User-controlable SAT sweeper.	Alan Mishchenko	2013-02-25	1	-4/+389
*	User-controlable SAT sweeper.	Alan Mishchenko	2013-02-25	1	-0/+281