iCE40/abc - [no description]

	Commit message (Collapse)	Author	Age	Files	Lines
*	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 ↵	Alan Mishchenko	2013-09-23	1	-8/+8
\| \| \| \|	abstraction. Adding switch -Q <num> to stop when the number of objects exceeds num % _during_refinement_.
*	Adding resource limit to stop &gla when the number of remaining objects is ↵	Alan Mishchenko	2013-09-21	1	-0/+8
\| \| \| \|	less than R/2 during refinement.
*	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