iCE40/abc - [no description]

	Commit message (Collapse)	Author	Age	Files	Lines
*	New package to read/write a subset of Liberty for STA.	Alan Mishchenko	2012-08-24	12	-1/+1244
\|
*	Added recording history of used commands into file 'abc.history' (Windows only).	Alan Mishchenko	2012-08-24	5	-28/+62
\|
*	Added recording history of used commands into file 'abc.history' (Windows only).	Alan Mishchenko	2012-08-24	6	-28/+80
\|
*	Changed command 'sim' to work with a miter by default (replace 'sim -m' by ↵	Alan Mishchenko	2012-08-24	1	-1/+1
\| \| \| \|	'sim' in verification applications).
*	Added simulation of comb circuits with user-specified patterns in command 'sim'.	Alan Mishchenko	2012-08-24	8	-140/+206
\|
*	Added new algorithm for NPN semi-canonical form computation.	Alan Mishchenko	2012-08-23	5	-9/+111
\|
*	Compiler warnings.	Alan Mishchenko	2012-08-11	1	-0/+4
\|
*	Fixing undesirable effect of recent refinement code on older code in &gla -n.	Alan Mishchenko	2012-08-11	4	-5/+7
\|
*	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	3	-3/+3
\|
*	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	6	-93/+263
\|
*	Fixing an interger overflow problem in constructing the variable interaction ↵	Alan Mishchenko	2012-08-08	1	-2/+2
\| \| \| \|	matrix.
*	New command 'testnpn' to compare semi-canonical forms.	Alan Mishchenko	2012-08-08	1	-0/+4
\|
*	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	2	-1/+5
\|
*	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	4	-0/+562
\|
*	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	6	-0/+1267
\|
*	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
\|