iCE40/abc - [no description]

	Commit message (Collapse)	Author	Age	Files	Lines
...
*	Minor bug fix.	Alan Mishchenko	2012-10-04	1	-0/+3
\|
*	C++ portability changes.	Alan Mishchenko	2012-10-03	4	-8/+8
\|
*	Added command 'starter' to call ABC concurrently.	Alan Mishchenko	2012-10-02	2	-4/+4
\|
*	Added command 'starter' to call ABC concurrently.	Alan Mishchenko	2012-10-02	2	-31/+85
\|
*	Added command 'starter' to call ABC concurrently.	Alan Mishchenko	2012-10-02	7	-8/+306
\|
*	Renamed reference counting APIs in GIA package.	Alan Mishchenko	2012-10-02	1	-1/+1
\|
*	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
\|
*	Added detection of 'readline' library at compile-time.	Alan Mishchenko	2012-10-02	1	-2/+2
\|
*	Added detection of 'readline' library at compile-time.	Alan Mishchenko	2012-10-02	1	-2/+2
\|
*	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	2	-194/+1
\|
*	Experiments with mini AIG manager.	Alan Mishchenko	2012-09-29	3	-12/+41
\|
*	Compiler warnings.	Alan Mishchenko	2012-09-29	1	-1/+4
\|
*	Added detection of 'readline' library at compile-time.	Alan Mishchenko	2012-09-29	1	-10/+9
\|
*	Replacing 'st_table' by 'st__table' to resolve linker problems.	Alan Mishchenko	2012-09-29	14	-71/+71
\|
*	Experiments with mini AIG manager.	Alan Mishchenko	2012-09-29	3	-44/+60
\|
*	Experiments with mini AIG manager.	Alan Mishchenko	2012-09-29	1	-0/+190
\|
*	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	2	-7/+23
\|
*	Changed printouts in a few places in supergate computation.	Alan Mishchenko	2012-09-24	2	-1/+3
\|
*	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	4	-77/+19
\|
*	Cleaing AIG manager by removing pointers to HAIG.	Alan Mishchenko	2012-09-23	7	-199/+1
\|
*	Integrating time manager into choice computation.	Alan Mishchenko	2012-09-22	1	-2/+4
\|
*	Added simplification before the concurrent call to PDR.	Alan Mishchenko	2012-09-20	1	-2/+6
\|
*	Added simplification before the concurrent call to PDR.	Alan Mishchenko	2012-09-20	1	-2/+2
\|
*	Added slack computation to 'stime'.	Alan Mishchenko	2012-09-20	1	-0/+3
\|
*	Modified 'read' to read all types of libraries (genlib, liberty, scl).	Alan Mishchenko	2012-09-20	1	-0/+2
\|
*	Modified 'read' to read all types of libraries (genlib, liberty, scl).	Alan Mishchenko	2012-09-20	2	-2/+17
\|
*	Fixes to Verilog parser.	Alan Mishchenko	2012-09-20	3	-3/+9
\|
*	Extending Liberty parser to handle multi-output cells.	Alan Mishchenko	2012-09-19	1	-1/+1
\|
*	Extending Liberty parser to handle multi-output cells.	Alan Mishchenko	2012-09-19	4	-9/+9
\|
*	Extending Liberty parser to handle multi-output cells.	Alan Mishchenko	2012-09-19	5	-25/+45
\|
*	Extending BLIF parser/write to hangle multi-output cells.	Alan Mishchenko	2012-09-19	7	-100/+235
\|
*	Changes to command 'upsize'.	Alan Mishchenko	2012-09-18	1	-0/+3
\|
*	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
\|