iCE40/abc - [no description]

	Commit message (Collapse)	Author	Age	Files	Lines
*	C++ portability changes.	Alan Mishchenko	2012-10-03	1	-1/+1
\|
*	C++ portability changes.	Alan Mishchenko	2012-10-03	1	-1/+1
\|
*	C++ portability changes.	Alan Mishchenko	2012-10-03	18	-51/+57
\|
*	Minor bug fixes.	Alan Mishchenko	2012-10-03	2	-6/+11
\|
*	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	23	-93/+85
\|
*	Structural reparametrization.	Alan Mishchenko	2012-10-02	2	-81/+235
\|
*	Combined old reparametrization command with the new one.	Alan Mishchenko	2012-10-02	6	-64/+22
\|
*	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	4	-133/+154
\|
*	Separated truth table computation for GIA manager and added new procedures.	Alan Mishchenko	2012-10-02	3	-70/+89
\|
*	Separated truth table computation for GIA manager and added new procedures.	Alan Mishchenko	2012-10-02	4	-149/+301
\|
*	Structural reparametrization.	Alan Mishchenko	2012-10-01	3	-28/+314
\|
*	Fixed several important problems in choice computation (command 'dch').	Alan Mishchenko	2012-10-01	1	-1/+1
\|
*	Fixed several important problems in choice computation (command 'dch').	Alan Mishchenko	2012-10-01	6	-1619/+284
\|
*	Changes several defaults of 'super' to be infinite.	Alan Mishchenko	2012-10-01	5	-52/+51
\|
*	Structural reparametrization.	Alan Mishchenko	2012-09-30	3	-0/+446
\|
*	Added serialization of Mini AIG.	Alan Mishchenko	2012-09-29	2	-6/+72
\|
*	Experiments with mini AIG manager.	Alan Mishchenko	2012-09-29	3	-1/+2
\|
*	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	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
\|
*	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	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	8	-150/+535
\|
*	Testing GIA with time manager.	Alan Mishchenko	2012-09-23	13	-84/+526
\|
*	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	17	-1133/+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	16	-997/+1431
\|
*	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
\|