iCE40/abc - [no description]

	Commit message (Collapse)	Author	Age	Files	Lines
*	New fast extract.	Alan Mishchenko	2013-04-27	1	-21/+0
\|
*	User-controlable SAT sweeper and other small changes.	Alan Mishchenko	2013-02-27	1	-2/+1
\|
*	Compiler warnings.	Alan Mishchenko	2013-02-21	1	-1/+1
\|
*	Added switch &trim -V <num> to remove const POs with specific value <num>.	Alan Mishchenko	2013-01-25	1	-1/+1
\|
*	Reintroduced the old abstraction procedure Saig_ManCexAbstractionFlops() ↵	Alan Mishchenko	2013-01-08	2	-31/+162
\| \| \| \|	formerly called from &abs_start for backward compatibility.
*	Fixing C++ compilation issues.	Alan Mishchenko	2013-01-08	3	-3/+3
\|
*	Fixing C++ compilation issues.	Alan Mishchenko	2013-01-08	3	-3/+0
\|
*	Unifification of custom extensions.	Alan Mishchenko	2012-12-10	3	-4/+4
\|
*	Enabling multi-output solving in 'pdr'.	Alan Mishchenko	2012-12-09	2	-7/+6
\|
*	Corner-case bug fix in &rpm.	Alan Mishchenko	2012-12-09	1	-0/+5
\|
*	Isolating BMC code into a separate package.	Alan Mishchenko	2012-11-14	3	-0/+3
\|
*	Made print-out of frontier cut an option ('-c') in '&ps'.	Alan Mishchenko	2012-11-12	1	-5/+5
\|
*	Enabling verbose report of dumping abstraction in GLA.	Alan Mishchenko	2012-11-07	1	-4/+4
\|
*	Improvements to LMS code.	Alan Mishchenko	2012-11-06	1	-1/+1
\|
*	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
\|
*	Updating readme.	Alan Mishchenko	2012-10-06	1	-1/+2
\|
*	C++ portability changes.	Alan Mishchenko	2012-10-03	3	-3/+3
\|
*	C++ portability changes.	Alan Mishchenko	2012-10-03	1	-1/+1
\|
*	C++ portability changes.	Alan Mishchenko	2012-10-03	1	-4/+4
\|
*	Renamed reference counting APIs in GIA package.	Alan Mishchenko	2012-10-02	1	-10/+10
\|
*	Structural reparametrization.	Alan Mishchenko	2012-10-02	1	-77/+231
\|
*	Combined old reparametrization command with the new one.	Alan Mishchenko	2012-10-02	3	-0/+206
\|
*	Structural reparametrization.	Alan Mishchenko	2012-10-02	1	-125/+120
\|
*	Separated truth table computation for GIA manager and added new procedures.	Alan Mishchenko	2012-10-02	1	-70/+32
\|
*	Structural reparametrization.	Alan Mishchenko	2012-10-01	1	-28/+312
\|
*	Structural reparametrization.	Alan Mishchenko	2012-09-30	2	-0/+394
\|
*	Correcting comment related to pthreads.	Alan Mishchenko	2012-09-24	1	-1/+1
\|
*	Added simplification before the concurrent call to PDR.	Alan Mishchenko	2012-09-20	3	-12/+16
\|
*	Added simplification before the concurrent call to PDR.	Alan Mishchenko	2012-09-20	1	-1/+15
\|
*	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	3	-11/+15
\|
*	Changed a few things in the refinement package of &gla.	Alan Mishchenko	2012-09-16	3	-23/+117
\|
*	Restructured the code to post-process object used during refinement in &gla.	Alan Mishchenko	2012-09-16	10	-311/+343
\|
*	Made abstraction and PDR communicate in-memory rather than through a file.	Alan Mishchenko	2012-09-16	3	-65/+59
\|
*	Created new abstraction package from the code that was all over the place.	Alan Mishchenko	2012-09-15	19	-0/+12080