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	-3/+3
*	Compiler warnings.	Alan Mishchenko	2017-07-22	1	-1/+1
*	Adding dump of trivial abstraction map at the beginning in &gla -m.	Alan Mishchenko	2017-02-25	1	-15/+25
*	Adding dump of trivial abstraction map at the beginning in &gla -m.	Alan Mishchenko	2017-02-25	1	-1/+19
*	Changing switch -R <num> in &gla to mean the max allowed size of abstraction....	Alan Mishchenko	2013-09-23	1	-8/+8
*	Adding resource limit to stop &gla when the number of remaining objects is le...	Alan Mishchenko	2013-09-21	1	-0/+8
*	Adding a wrapper around clock() for more accurate time counting in ABC.	Alan Mishchenko	2013-05-27	1	-36/+36
*	New fast extract.	Alan Mishchenko	2013-04-27	1	-21/+0
*	Fixing C++ compilation issues.	Alan Mishchenko	2013-01-08	1	-1/+1
*	Fixing C++ compilation issues.	Alan Mishchenko	2013-01-08	1	-1/+0
*	Unifification of custom extensions.	Alan Mishchenko	2012-12-10	1	-2/+2
*	Enabling verbose report of dumping abstraction in GLA.	Alan Mishchenko	2012-11-07	1	-4/+4
*	Bug fix in &gla (incorrect reporting of proved timeframes).	Alan Mishchenko	2012-10-09	1	-2/+2
*	Bug fix in &gla (incorrect reporting of proved timeframes).	Alan Mishchenko	2012-10-09	1	-1/+2
*	C++ portability changes.	Alan Mishchenko	2012-10-03	1	-1/+1
*	C++ portability changes.	Alan Mishchenko	2012-10-03	1	-1/+1
*	C++ portability changes.	Alan Mishchenko	2012-10-03	1	-4/+4
*	Added simplification before the concurrent call to PDR.	Alan Mishchenko	2012-09-20	1	-1/+1
*	Moving binary IO streams to the vector package.	Alan Mishchenko	2012-09-17	1	-1/+1
*	Improving printouts in &gla.	Alan Mishchenko	2012-09-16	1	-17/+8
*	Improving printouts in &gla.	Alan Mishchenko	2012-09-16	1	-5/+9
*	Changed a few things in the refinement package of &gla.	Alan Mishchenko	2012-09-16	1	-2/+4
*	Restructured the code to post-process object used during refinement in &gla.	Alan Mishchenko	2012-09-16	1	-8/+2
*	Made abstraction and PDR communicate in-memory rather than through a file.	Alan Mishchenko	2012-09-16	1	-14/+10
*	Created new abstraction package from the code that was all over the place.	Alan Mishchenko	2012-09-15	1	-0/+1899