iCE40/abc - [no description]

	Commit message (Expand)	Author	Age	Files	Lines
...
*	Enabling -S <num> for &gla to not check the first <num> frames.	Alan Mishchenko	2012-08-10	2	-19/+226
*	Fixing problem with max limit on the number of abstracted objects in &gla.	Alan Mishchenko	2012-08-10	2	-23/+16
*	Added purification of UNSAT core in &gla.	Alan Mishchenko	2012-08-10	2	-7/+49
*	Improved abstraction refinement.	Alan Mishchenko	2012-08-09	2	-2/+5
*	Improved abstraction refinement.	Alan Mishchenko	2012-08-09	4	-21/+29
*	Compiler warnings.	Alan Mishchenko	2012-08-09	1	-1/+2
*	Compiler warnings.	Alan Mishchenko	2012-08-09	3	-17/+18
*	Compiler warnings.	Alan Mishchenko	2012-08-09	3	-17/+14
*	Compiler warnings.	Alan Mishchenko	2012-08-09	1	-2/+2
*	Compiler warnings.	Alan Mishchenko	2012-08-09	2	-2/+2
*	Improved abstraction refinement.	Alan Mishchenko	2012-08-09	4	-44/+491
*	New semi-canonical form computation package.	Alan Mishchenko	2012-08-08	1	-0/+94
*	New cut-based refinement.	Alan Mishchenko	2012-08-08	1	-2/+198
*	Added generation of values of internal nodes for GIA manager.	Alan Mishchenko	2012-08-08	1	-1/+1
*	Added generation of values of internal nodes for GIA manager.	Alan Mishchenko	2012-08-08	5	-93/+259
*	Fixing an interger overflow problem in constructing the variable interaction ...	Alan Mishchenko	2012-08-08	1	-2/+2
*	New command 'testnpn' to compare semi-canonical forms.	Alan Mishchenko	2012-08-08	6	-13/+337
*	New command 'testnpn' to compare semi-canonical forms.	Alan Mishchenko	2012-08-08	2	-11/+32
*	New semi-canonical form computation package.	Alan Mishchenko	2012-08-07	1	-1/+1
*	New semi-canonical form computation package.	Alan Mishchenko	2012-08-07	2	-2/+127
*	Scalable gate-level abstraction.	Alan Mishchenko	2012-08-07	1	-2/+2
*	Scalable gate-level abstraction.	Alan Mishchenko	2012-08-07	1	-1/+2
*	Scalable gate-level abstraction.	Alan Mishchenko	2012-08-06	1	-1/+1
*	Scalable gate-level abstraction.	Alan Mishchenko	2012-08-06	1	-8/+6
*	New cut-based refinement.	Alan Mishchenko	2012-08-06	3	-0/+554
*	Scalable gate-level abstraction.	Alan Mishchenko	2012-08-06	2	-0/+9
*	Changing the default value '&gla -n' to the opposite.	Alan Mishchenko	2012-08-06	1	-0/+3
*	New semi-canonical form computation package.	Alan Mishchenko	2012-08-06	5	-0/+1247
*	Scalable gate-level abstraction.	Alan Mishchenko	2012-08-06	3	-2/+15
*	Changing the default value '&gla -n' to the opposite.	Alan Mishchenko	2012-08-06	1	-1/+1
*	Scalable gate-level abstraction.	Alan Mishchenko	2012-08-04	1	-108/+1
*	Scalable gate-level abstraction.	Alan Mishchenko	2012-08-03	3	-6/+24
*	Scalable gate-level abstraction.	Alan Mishchenko	2012-08-03	1	-2/+3
*	Scalable gate-level abstraction.	Alan Mishchenko	2012-08-03	4	-22/+51
*	Scalable gate-level abstraction.	Alan Mishchenko	2012-08-02	4	-17/+23
*	Scalable gate-level abstraction.	Alan Mishchenko	2012-08-02	3	-4/+10
*	Scalable gate-level abstraction.	Alan Mishchenko	2012-08-02	1	-2/+2
*	Scalable gate-level abstraction.	Alan Mishchenko	2012-08-02	3	-10/+31
*	Scalable gate-level abstraction.	Alan Mishchenko	2012-08-02	1	-4/+84
*	Scalable gate-level abstraction.	Alan Mishchenko	2012-08-02	2	-38/+119
*	Scalable gate-level abstraction.	Alan Mishchenko	2012-08-01	1	-32/+2
*	Scalable gate-level abstraction.	Alan Mishchenko	2012-08-01	2	-73/+267
*	Scalable gate-level abstraction.	Alan Mishchenko	2012-08-01	1	-5/+16
*	Scalable gate-level abstraction.	Alan Mishchenko	2012-07-31	3	-23/+21
*	Scalable gate-level abstraction.	Alan Mishchenko	2012-07-31	1	-51/+79
*	Scalable gate-level abstraction.	Alan Mishchenko	2012-07-31	2	-102/+108
*	Scalable gate-level abstraction.	Alan Mishchenko	2012-07-31	2	-23/+62
*	Scalable gate-level abstraction.	Alan Mishchenko	2012-07-31	1	-51/+160
*	Saving variable activity during rollback.	Alan Mishchenko	2012-07-30	2	-0/+7
*	Saving variable activity during rollback.	Alan Mishchenko	2012-07-30	2	-1/+10