iCE40/abc - [no description]

	Commit message (Collapse)	Author	Age	Files	Lines
...
*	Added serialization of Mini AIG.	Alan Mishchenko	2012-09-29	2	-6/+72
\|
*	Experiments with mini AIG manager.	Alan Mishchenko	2012-09-29	5	-5/+11
\|
*	Updating code of non-ABC files to have no ABC-specific macros.	Alan Mishchenko	2012-09-29	2	-9/+0
\|
*	Experiments with mini AIG manager.	Alan Mishchenko	2012-09-29	3	-12/+41
\|
*	Compiler warnings.	Alan Mishchenko	2012-09-29	2	-2/+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	67	-1162/+1162
\|
*	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	2	-66/+76
\|
*	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
\|
*	Cleaned up interfaces of genlib/liberty/supergate reading/writing.	Alan Mishchenko	2012-09-25	12	-269/+669
\|
*	Improvements to the NPN semi-canonical form computation package.	Alan Mishchenko	2012-09-25	1	-0/+4
\|
*	Improvements to the NPN semi-canonical form computation package.	Alan Mishchenko	2012-09-25	2	-2/+2
\|
*	Improvements to the NPN semi-canonical form computation package.	Alan Mishchenko	2012-09-25	9	-133/+609
\|
*	Cleaned up interfaces of genlib/liberty/supergate reading/writing.	Alan Mishchenko	2012-09-25	19	-1244/+418
\|
*	Changed printouts in a few places in supergate computation.	Alan Mishchenko	2012-09-24	7	-6/+14
\|
*	Correcting comment related to pthreads.	Alan Mishchenko	2012-09-24	1	-1/+1
\|
*	Testing GIA with time manager.	Alan Mishchenko	2012-09-24	3	-12/+57
\|
*	Improving computation of choices from equivalence classes.	Alan Mishchenko	2012-09-23	9	-150/+539
\|
*	Testing GIA with time manager.	Alan Mishchenko	2012-09-23	14	-84/+530
\|
*	Modified structural constraint extraction (unfold -s) to work for ↵	Alan Mishchenko	2012-09-23	3	-164/+265
\| \| \| \|	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	18	-1137/+2
\|
*	Integrating time manager into choice computation.	Alan Mishchenko	2012-09-22	11	-333/+471
\|
*	Added GIA normalization using timing manager.	Alan Mishchenko	2012-09-22	3	-8/+96
\|
*	Upgrading hierarchy timing manager.	Alan Mishchenko	2012-09-21	17	-997/+1455
\|
*	Added switch '-E <filename>' to 'read_library' to exclude gates listed while ↵	Alan Mishchenko	2012-09-21	1	-35/+44
\| \| \| \|	reading a Genlib file.
*	Added simplification before the concurrent call to PDR.	Alan Mishchenko	2012-09-20	4	-14/+22
\|
*	Added simplification before the concurrent call to PDR.	Alan Mishchenko	2012-09-20	2	-3/+17
\|
*	Added slack computation to 'stime'.	Alan Mishchenko	2012-09-20	3	-19/+55
\|
*	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	7	-8/+27
\|
*	Added command 'minsize' to reduce all gates to their minimum size in the ↵	Alan Mishchenko	2012-09-20	3	-19/+121
\| \| \| \|	library.
*	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	4	-8/+8
\|
*	Extending Liberty parser to handle multi-output cells.	Alan Mishchenko	2012-09-19	12	-21/+106
\|
*	Extending Liberty parser to handle multi-output cells.	Alan Mishchenko	2012-09-19	10	-48/+104
\|
*	Extending BLIF parser/write to hangle multi-output cells.	Alan Mishchenko	2012-09-19	15	-136/+289
\|
*	Extending Genlib to hangle multi-output cells.	Alan Mishchenko	2012-09-19	3	-57/+105
\|
*	Changes to command 'upsize'.	Alan Mishchenko	2012-09-18	3	-66/+138
\|
*	Changes to command 'upsize'.	Alan Mishchenko	2012-09-18	8	-47/+352
\|
*	Fixing mismatch between declaration of the output value of Extra_CpuTime.	Alan Mishchenko	2012-09-18	3	-5/+9
\|
*	Bug fix in bmc3.	Alan Mishchenko	2012-09-17	1	-1/+6
\|
*	Bug fix: no need to normalize const0 node.	Alan Mishchenko	2012-09-17	1	-2/+2
\|
*	Fixed timeout problem in bmc3 -s.	Alan Mishchenko	2012-09-17	1	-12/+7
\|
*	Moving binary IO streams to the vector package.	Alan Mishchenko	2012-09-17	3	-116/+116
\|
*	Added delay multipliers to 'map'.	Alan Mishchenko	2012-09-16	2	-8/+14
\|