iCE40/abc - [no description]

	Commit message (Expand)	Author	Age	Files	Lines
*	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