iCE40/abc - [no description]

	Commit message (Collapse)	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 ↵	Alan Mishchenko	2017-11-13	1	-2/+2
\| \| \| \|	pObj->Value.
*	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