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