iCE40/abc - [no description]

	Commit message (Collapse)	Author	Age	Files	Lines
*	Adding binary file dumping for truth tables.	Alan Mishchenko	2012-10-25	3	-15/+25
\|
*	Changing the defaults of command 'collapse'.	Alan Mishchenko	2012-10-25	1	-2/+2
\|
*	Integrating GIA with LUT mapping.	Alan Mishchenko	2012-10-24	1	-2/+103
\|
*	Integrating GIA with LUT mapping.	Alan Mishchenko	2012-10-24	3	-18/+324
\|
*	Disabling SAT sweeping in 'map' by default.	Alan Mishchenko	2012-10-23	1	-1/+1
\|
*	Bug fix in LMS code.	Alan Mishchenko	2012-10-08	1	-1/+1
\|
*	New AIG optimization package.	Alan Mishchenko	2012-10-06	2	-8/+0
\|
*	New AIG optimization package.	Alan Mishchenko	2012-10-06	2	-0/+8
\|
*	Allow for binary input file in 'testdec' and 'testnpn'.	Alan Mishchenko	2012-10-05	2	-3/+15
\|
*	Allow for binary input file in 'testdec' and 'testnpn'.	Alan Mishchenko	2012-10-05	1	-2/+4
\|
*	Allow for binary input file in 'testdec' and 'testnpn'.	Alan Mishchenko	2012-10-05	3	-54/+144
\|
*	C++ portability changes.	Alan Mishchenko	2012-10-03	3	-7/+7
\|
*	Structural reparametrization.	Alan Mishchenko	2012-10-02	1	-4/+4
\|
*	Combined old reparametrization command with the new one.	Alan Mishchenko	2012-10-02	1	-54/+12
\|
*	Structural reparametrization.	Alan Mishchenko	2012-10-02	1	-7/+23
\|
*	Structural reparametrization.	Alan Mishchenko	2012-09-30	1	-0/+52
\|
*	Added serialization of Mini AIG.	Alan Mishchenko	2012-09-29	1	-0/+10
\|
*	Experiments with mini AIG manager.	Alan Mishchenko	2012-09-29	1	-1/+1
\|
*	Experiments with mini AIG manager.	Alan Mishchenko	2012-09-29	1	-2/+35
\|
*	Replacing 'st_table' by 'st__table' to resolve linker problems.	Alan Mishchenko	2012-09-29	2	-11/+11
\|
*	Experiments with mini AIG manager.	Alan Mishchenko	2012-09-29	1	-31/+40
\|
*	Experiments with mini AIG manager.	Alan Mishchenko	2012-09-29	1	-66/+72
\|
*	Updated version of LMS code.	Alan Mishchenko	2012-09-26	1	-0/+1
\|
*	Updated version of LMS code.	Alan Mishchenko	2012-09-26	1	-3/+3
\|
*	Updated version of LMS code.	Alan Mishchenko	2012-09-26	1	-4/+6
\|
*	Improvements to the NPN semi-canonical form computation package.	Alan Mishchenko	2012-09-25	1	-1/+1
\|
*	Improvements to the NPN semi-canonical form computation package.	Alan Mishchenko	2012-09-25	2	-55/+88
\|
*	Cleaned up interfaces of genlib/liberty/supergate reading/writing.	Alan Mishchenko	2012-09-25	1	-2/+5
\|
*	Changed printouts in a few places in supergate computation.	Alan Mishchenko	2012-09-24	1	-1/+1
\|
*	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).