iCE40/abc - [no description]

	Commit message (Collapse)	Author	Age	Files	Lines
*	Improved DSD.	Alan Mishchenko	2012-11-10	1	-0/+4
\|
*	Improvements to the truth table computations.	Alan Mishchenko	2012-11-01	1	-0/+4
\|
*	Improvements to the truth table computations.	Alan Mishchenko	2012-10-30	1	-0/+4
\|
*	Enumerating decompositions.	Alan Mishchenko	2012-10-29	1	-0/+4
\|
*	Move truth table code into a separte file.	Alan Mishchenko	2012-10-28	1	-0/+4
\|
*	Improvements to LMS code.	Alan Mishchenko	2012-10-27	1	-0/+4
\|
*	Improvements to gate sizing.	Alan Mishchenko	2012-10-08	1	-0/+8
\|
*	New AIG optimization package.	Alan Mishchenko	2012-10-06	1	-0/+20
\|
*	Added command 'starter' to call ABC concurrently.	Alan Mishchenko	2012-10-02	1	-0/+4
\|
*	Combined old reparametrization command with the new one.	Alan Mishchenko	2012-10-02	1	-4/+4
\|
*	Separated truth table computation for GIA manager and added new procedures.	Alan Mishchenko	2012-10-02	1	-0/+4
\|
*	Fixed several important problems in choice computation (command 'dch').	Alan Mishchenko	2012-10-01	1	-8/+0
\|
*	Structural reparametrization.	Alan Mishchenko	2012-09-30	1	-0/+4
\|
*	Experiments with mini AIG manager.	Alan Mishchenko	2012-09-29	1	-4/+8
\|
*	Experiments with mini AIG manager.	Alan Mishchenko	2012-09-29	1	-0/+4
\|
*	Improvements to the NPN semi-canonical form computation package.	Alan Mishchenko	2012-09-25	1	-0/+4
\|
*	Improving computation of choices from equivalence classes.	Alan Mishchenko	2012-09-23	1	-0/+4
\|
*	Testing GIA with time manager.	Alan Mishchenko	2012-09-23	1	-0/+4
\|
*	Cleaing AIG manager by removing pointers to HAIG.	Alan Mishchenko	2012-09-23	1	-4/+0
\|
*	Upgrading hierarchy timing manager.	Alan Mishchenko	2012-09-21	1	-0/+24
\|
*	Forgot to add one file into Windows project.	Alan Mishchenko	2012-09-16	1	-0/+4
\|
*	Restructured the code to post-process object used during refinement in &gla.	Alan Mishchenko	2012-09-16	1	-8/+0
\|
*	Created new abstraction package from the code that was all over the place.	Alan Mishchenko	2012-09-15	1	-92/+76
\|
*	Prepared &gla to try abstracting and proving concurrently.	Alan Mishchenko	2012-09-14	1	-0/+8
\|
*	Started CEX minimization procedure.	Alan Mishchenko	2012-09-08	1	-0/+4
\|
*	Updating &gla_refine to perform suffic refinement.	Alan Mishchenko	2012-09-07	1	-0/+4
\|
*	Integrated new fast semi-canonical form for Boolean functions up to 16 inputs.	Alan Mishchenko	2012-09-06	1	-0/+12
\|
*	Added new command &gla_shrink.	Alan Mishchenko	2012-09-04	1	-0/+4
\|
*	New package to read/write a subset of Liberty for STA.	Alan Mishchenko	2012-08-29	1	-0/+8
\|
*	Added buffering based on combinational merging.	Alan Mishchenko	2012-08-28	1	-0/+4
\|
*	Added printout of library cells.	Alan Mishchenko	2012-08-27	1	-0/+4
\|
*	New package to read/write a subset of Liberty for STA.	Alan Mishchenko	2012-08-24	1	-0/+28
\|
*	Compiler warnings.	Alan Mishchenko	2012-08-11	1	-0/+4
\|
*	Added generation of values of internal nodes for GIA manager.	Alan Mishchenko	2012-08-08	1	-0/+4
\|
*	New command 'testnpn' to compare semi-canonical forms.	Alan Mishchenko	2012-08-08	1	-0/+4
\|
*	New semi-canonical form computation package.	Alan Mishchenko	2012-08-07	1	-0/+4
\|
*	New cut-based refinement.	Alan Mishchenko	2012-08-06	1	-0/+8
\|
*	New semi-canonical form computation package.	Alan Mishchenko	2012-08-06	1	-0/+20
\|
*	Started implementing command 'testdec'.	Alan Mishchenko	2012-07-28	1	-0/+4
\|
*	Removed unused files from the project.	Alan Mishchenko	2012-07-25	1	-28/+0
\|
*	Scalable gate-level abstraction.	Alan Mishchenko	2012-07-21	1	-0/+4
\|
*	Updated code for lazy man's synthesis (memory optimization).	Alan Mishchenko	2012-07-20	1	-0/+4
\|
*	Updated code for lazy man's synthesis.	Alan Mishchenko	2012-07-15	1	-0/+4
\|
*	Added new refinement manager for &gla and &abs_refine.	Alan Mishchenko	2012-07-14	1	-0/+8
\|
*	Removed useless file.	Alan Mishchenko	2012-07-12	1	-4/+0
\|
*	Added learned clause recycling to the SAT solver (may impact bmc2, bmc3, ↵	Alan Mishchenko	2012-07-09	1	-0/+4
\| \| \| \|	dsat, etc).
*	Updating project settings to have simpler include paths.	Alan Mishchenko	2012-07-07	1	-2/+2
\|
*	Added min-cut-based refinement of gate-level abstraction (command &gla_refine).	Alan Mishchenko	2012-06-24	1	-0/+4
\|
*	Misc changes.	Alan Mishchenko	2012-04-22	1	-0/+4
\|
*	Moving Vec_Set_t to the vector directory.	Alan Mishchenko	2012-03-28	1	-4/+4
\|