iCE40/abc - [no description]

	Commit message (Collapse)	Author	Age	Files	Lines
...
*	Testing GIA with time manager.	Alan Mishchenko	2012-09-24	1	-3/+3
\|
*	Testing GIA with time manager.	Alan Mishchenko	2012-09-23	3	-38/+432
\|
*	Modified structural constraint extraction (unfold -s) to work for ↵	Alan Mishchenko	2012-09-23	1	-2/+2
\| \| \| \|	multi-output testcases.
*	Migrating to array-based traversal ID.	Alan Mishchenko	2012-09-23	1	-1/+0
\|
*	Cleaing AIG manager by removing pointers to HAIG.	Alan Mishchenko	2012-09-23	4	-186/+1
\|
*	Added simplification before the concurrent call to PDR.	Alan Mishchenko	2012-09-20	1	-2/+6
\|
*	Extending Liberty parser to handle multi-output cells.	Alan Mishchenko	2012-09-19	2	-2/+2
\|
*	Extending Liberty parser to handle multi-output cells.	Alan Mishchenko	2012-09-19	2	-1/+30
\|
*	Extending BLIF parser/write to hangle multi-output cells.	Alan Mishchenko	2012-09-19	2	-3/+6
\|
*	Fixing mismatch between declaration of the output value of Extra_CpuTime.	Alan Mishchenko	2012-09-18	1	-3/+7
\|
*	Added delay multipliers to 'map'.	Alan Mishchenko	2012-09-16	1	-7/+13
\|
*	Added delay multipliers to 'map'.	Alan Mishchenko	2012-09-16	2	-17/+36
\|
*	Changed a few things in the refinement package of &gla.	Alan Mishchenko	2012-09-16	1	-1/+1
\|
*	Restructured the code to post-process object used during refinement in &gla.	Alan Mishchenko	2012-09-16	1	-11/+8
\|
*	Cleaned 'abc.c' by removing useless procedures.	Alan Mishchenko	2012-09-15	1	-1689/+939
\|
*	Created new abstraction package from the code that was all over the place.	Alan Mishchenko	2012-09-15	1	-470/+12
\|
*	Prepared &gla to try abstracting and proving concurrently.	Alan Mishchenko	2012-09-14	2	-13/+2
\|
*	Prepared &gla to try abstracting and proving concurrently.	Alan Mishchenko	2012-09-14	1	-9/+12
\|
*	Prepared &gla to try abstracting and proving concurrently.	Alan Mishchenko	2012-09-14	1	-2/+18
\|
*	Unified print-out of property failures produced by all engines.	Alan Mishchenko	2012-09-09	1	-5/+5
\|
*	Added switch '-p' to '&gla -n' to use full proof for UNSAT core computation ↵	Alan Mishchenko	2012-09-09	1	-2/+6
\| \| \| \|	(for experiments).
*	Started CEX minimization procedure.	Alan Mishchenko	2012-09-08	1	-0/+96
\|
*	Updating &gla_refine to perform suffic refinement.	Alan Mishchenko	2012-09-07	1	-4/+17
\|
*	Updating &gla_refine to perform suffic refinement.	Alan Mishchenko	2012-09-07	1	-5/+18
\|
*	Integrated new fast semi-canonical form for Boolean functions up to 16 inputs.	Alan Mishchenko	2012-09-06	1	-2/+2
\|
*	Integrated new fast semi-canonical form for Boolean functions up to 16 inputs.	Alan Mishchenko	2012-09-06	4	-28/+70
\|
*	Added switch 'dch -r' to skip choices with structural support redundancy.	Alan Mishchenko	2012-09-05	1	-2/+6
\|
*	Added error message when the user is trying 'dsat' for multi-output comb miters.	Alan Mishchenko	2012-09-05	1	-2/+2
\|
*	Added new command &gla_shrink.	Alan Mishchenko	2012-09-04	2	-2/+95
\|
*	Added switch &srm -A <file> for dumping SRM into a user-specified file.	Alan Mishchenko	2012-09-02	1	-10/+21
\|
*	Added an API to convert a multi-output PLA into a shared AIG.	Alan Mishchenko	2012-08-29	2	-25/+30
\|
*	Ensured that SC mapped network is always in a topo order.	Alan Mishchenko	2012-08-28	1	-1/+14
\|
*	Added buffering based on combinational merging.	Alan Mishchenko	2012-08-28	1	-2/+5
\|
*	Bug fix: abstraction commands not properly updating status when dumping ↵	Alan Mishchenko	2012-08-28	1	-1/+1
\| \| \| \|	intermediate abstraction.
*	Added features 'map -M <float>' to control the use of large gates.	Alan Mishchenko	2012-08-27	2	-9/+32
\|
*	Added switch '&gla -m' to dump original miter with the abstraction map.	Alan Mishchenko	2012-08-26	1	-2/+6
\|
*	Several improvements to command 'testnpn'.	Alan Mishchenko	2012-08-25	3	-44/+58
\|
*	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	2	-128/+46
\|
*	Added new algorithm for NPN semi-canonical form computation.	Alan Mishchenko	2012-08-23	2	-3/+23
\|
*	Compiler warnings.	Alan Mishchenko	2012-08-09	2	-13/+13
\|
*	Compiler warnings.	Alan Mishchenko	2012-08-09	1	-1/+1
\|
*	New command 'testnpn' to compare semi-canonical forms.	Alan Mishchenko	2012-08-08	4	-12/+335
\|
*	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-03	1	-13/+14
\|
*	Scalable gate-level abstraction.	Alan Mishchenko	2012-08-02	1	-2/+2
\|
*	Scalable gate-level abstraction.	Alan Mishchenko	2012-08-02	1	-2/+6
\|
*	Scalable gate-level abstraction.	Alan Mishchenko	2012-08-02	1	-2/+15
\|
*	Fixed compiler warnings.	Alan Mishchenko	2012-07-29	1	-2/+2
\|
*	Scalable gate-level abstraction.	Alan Mishchenko	2012-07-29	1	-5/+14
\|