iCE40/abc - [no description]

	Commit message (Collapse)	Author	Age	Files	Lines
*	Isomorphism checking code.	Alan Mishchenko	2012-02-19	3	-18/+144
\|
*	Added printout of BMC tents in &ps.	Alan Mishchenko	2012-02-19	6	-14/+27
\|
*	Added QuickSort based on 3-way partitioning.	Alan Mishchenko	2012-02-19	3	-219/+3
\|
*	Isomorphism checking code.	Alan Mishchenko	2012-02-19	1	-55/+201
\|
*	Setting the default limit on the number of timeframe in bmc2/bmc3 to 0 ↵	Alan Mishchenko	2012-02-19	1	-1/+1
\| \| \| \|	(infinity).
*	Setting the default limit on the number of timeframe in bmc2/bmc3 to 0 ↵	Alan Mishchenko	2012-02-19	2	-3/+7
\| \| \| \|	(infinity).
*	Isomorphism checking code.	Alan Mishchenko	2012-02-18	2	-875/+537
\|
*	Isomorphism checking code.	Alan Mishchenko	2012-02-17	1	-195/+273
\|
*	Isomorphism checking code.	Alan Mishchenko	2012-02-17	2	-8/+196
\|
*	Isomorphism checking code.	Alan Mishchenko	2012-02-17	2	-8/+15
\|
*	Silencing some of the gcc warnings.	Alan Mishchenko	2012-02-17	1	-1/+1
\|
*	Silencing some of the gcc warnings.	Alan Mishchenko	2012-02-16	36	-59/+45
\|
*	Silencing some of the gcc warnings.	Alan Mishchenko	2012-02-16	10	-28/+17
\|
*	Changing how BMC report runtime.	Alan Mishchenko	2012-02-16	2	-2/+6
\|
*	Variable timeframe abstraction.	Alan Mishchenko	2012-02-16	2	-11/+41
\|
*	Isomorphism checking code.	Alan Mishchenko	2012-02-15	4	-86/+838
\|
*	Isomorphism checking code.	Alan Mishchenko	2012-02-14	1	-0/+600
\|
*	Isomorphism checking code.	Alan Mishchenko	2012-02-14	1	-0/+1
\|
*	Variable timeframe abstraction.	Alan Mishchenko	2012-02-13	1	-4/+15
\|
*	Variable timeframe abstraction.	Alan Mishchenko	2012-02-13	2	-1/+2
\|
*	Variable timeframe abstraction.	Alan Mishchenko	2012-02-13	1	-4/+2
\|
*	Isomorphism checking code.	Alan Mishchenko	2012-02-12	1	-3/+18
\|
*	Variable timeframe abstraction.	Alan Mishchenko	2012-02-12	2	-9/+13
\|
*	Variable timeframe abstraction.	Alan Mishchenko	2012-02-11	1	-1/+3
\|
*	Variable timeframe abstraction.	Alan Mishchenko	2012-02-11	2	-7/+7
\|
*	Variable timeframe abstraction.	Alan Mishchenko	2012-02-11	2	-4/+22
\|
*	Variable timeframe abstraction.	Alan Mishchenko	2012-02-11	1	-5/+5
\|
*	Variable timeframe abstraction.	Alan Mishchenko	2012-02-11	2	-43/+101
\|
*	Graph isomorphism checking code.	Alan Mishchenko	2012-02-11	2	-27/+46
\|
*	Graph isomorphism checking code.	Alan Mishchenko	2012-02-11	10	-519/+1283
\|
*	Bug fix in flop-level abstraction refinement.	Alan Mishchenko	2012-02-09	1	-1/+2
\|
*	Graph isomorphism checking code.	Alan Mishchenko	2012-02-02	1	-35/+115
\|
*	Graph isomorphism checking code.	Alan Mishchenko	2012-01-30	1	-0/+7
\|
*	Graph isomorphism checking code.	Alan Mishchenko	2012-01-30	4	-10/+203
\|
*	Graph isomorphism checking code.	Alan Mishchenko	2012-01-29	3	-2/+835
\|
*	Variable timeframe abstraction.	Alan Mishchenko	2012-01-28	2	-7/+8
\|
*	Variable timeframe abstraction.	Alan Mishchenko	2012-01-28	1	-2/+7
\|
*	Generation of dual-rail miter.	Alan Mishchenko	2012-01-28	1	-0/+206
\|
*	Generation of dual-rail miter.	Alan Mishchenko	2012-01-28	1	-1/+1
\|
*	Generation of dual-rail miter.	Alan Mishchenko	2012-01-28	2	-0/+4
\|
*	Variable timeframe abstraction.	Alan Mishchenko	2012-01-28	1	-3/+2
\|
*	Variable timeframe abstraction.	Alan Mishchenko	2012-01-27	1	-1/+1
\|
*	Variable timeframe abstraction.	Alan Mishchenko	2012-01-27	2	-95/+71
\|
*	Variable timeframe abstraction.	Alan Mishchenko	2012-01-24	1	-2/+3
\|
*	Variable timeframe abstraction.	Alan Mishchenko	2012-01-24	1	-42/+250
\|
*	Variable timeframe abstraction.	Alan Mishchenko	2012-01-23	2	-7/+18
\|
*	Bug fix for incorrect memory allocation in main SAT solver, leading to ↵	Alan Mishchenko	2012-01-23	1	-2/+2
\| \| \| \|	crashes in 'dsec' (correction to the previous fix).
*	Bug fix for incorrect memory allocation in main SAT solver, leading to ↵	Alan Mishchenko	2012-01-22	1	-4/+4
\| \| \| \|	crashes in 'dsec'.
*	Variable timeframe abstraction.	Alan Mishchenko	2012-01-21	2	-170/+247
\|
*	Major restructuring of the code.	Alan Mishchenko	2012-01-21	393	-127365/+873
\|