| Commit message (Expand) | Author | Age | Files | Lines |
* | Compiler warning. | Alan Mishchenko | 2015-12-16 | 1 | -7/+0 |
* | add a new #define ABC_NAMESPACE_USING_NAMESPACE that adds a using decelaratio... | Baruch Sterin | 2015-11-20 | 1 | -0/+3 |
* | move namespace logic into a separate file. It is useful for users of ABC that... | Baruch Sterin | 2015-11-20 | 2 | -27/+56 |
* | Improvements to storing and reusing simulation info. | Alan Mishchenko | 2015-11-05 | 2 | -2/+59 |
* | pyabc: remove python integration from abc, it is moved to a separate extension | Baruch Sterin | 2015-11-05 | 1 | -4/+0 |
* | Compiler warnings. | Alan Mishchenko | 2015-10-25 | 1 | -14/+3 |
* | Extending library handling to 8 inputs. | Alan Mishchenko | 2015-10-25 | 1 | -5/+30 |
* | Changes for delay-oriented computation. | Alan Mishchenko | 2015-10-24 | 1 | -1/+1 |
* | Compiler warnings. | Alan Mishchenko | 2015-10-21 | 1 | -1/+1 |
* | Fix to the #include <stdlib.h> problem for Debug version on Window. | Alan Mishchenko | 2015-10-16 | 1 | -8/+8 |
* | Moving BDD-based threshold function detection to the BDD part of the code. | Alan Mishchenko | 2015-10-16 | 2 | -694/+0 |
* | make sure all of ABC and related libraries are in the same namespace (when co... | Baruch Sterin | 2015-10-16 | 1 | -0/+1 |
* | Adding support for black boxes in extended AIG. | Alan Mishchenko | 2015-10-04 | 4 | -7/+25 |
* | Experiments with LUT structure mapping. | Alan Mishchenko | 2015-09-27 | 1 | -0/+40 |
* | Improvements to Scl_Lib/SC_Cell data-structure. | Alan Mishchenko | 2015-09-24 | 1 | -0/+8 |
* | Threshold logic checking code by Augusto Neutzling and Jody Matos. | Alan Mishchenko | 2015-09-23 | 1 | -231/+591 |
* | New constraint manager and memory reporting 'ps'. | Alan Mishchenko | 2015-09-08 | 1 | -0/+12 |
* | More tuning in &nf. | Alan Mishchenko | 2015-09-06 | 1 | -1/+6 |
* | Bug fix in Vec_IntInsert() and a couple of new APIs. | Alan Mishchenko | 2015-08-26 | 2 | -1/+16 |
* | Changes to be able to compile ABC without CUDD. | Alan Mishchenko | 2015-08-24 | 15 | -10275/+1280 |
* | Changes to be able to compile ABC without CUDD. | Alan Mishchenko | 2015-08-24 | 1 | -9/+1 |
* | Changes to be able to compile ABC without CUDD. | Alan Mishchenko | 2015-08-24 | 1 | -0/+1 |
* | Compiler warning. | Alan Mishchenko | 2015-08-23 | 1 | -1/+1 |
* | Experiments with mapping plus small changes. | Alan Mishchenko | 2015-08-23 | 1 | -0/+69 |
* | Improvements to Cba data-structure. | Alan Mishchenko | 2015-08-09 | 1 | -5/+18 |
* | Improvements to Cba data-structure. | Alan Mishchenko | 2015-08-09 | 2 | -8/+18 |
* | Improvements to Cba data-structure. | Alan Mishchenko | 2015-08-08 | 4 | -37/+119 |
* | Updates to the Cba data-structure. | Alan Mishchenko | 2015-07-25 | 1 | -1/+1 |
* | Renaming Cba into Bac. | Alan Mishchenko | 2015-07-21 | 1 | -0/+21 |
* | Print-out for char arrays. | Alan Mishchenko | 2015-07-12 | 1 | -2/+2 |
* | Print-out for char arrays. | Alan Mishchenko | 2015-07-12 | 1 | -0/+20 |
* | C++ compiler typecast problem. | Alan Mishchenko | 2015-07-08 | 1 | -1/+1 |
* | Procedure to dump ZDD representing a set of cubes into a PLA file. | Alan Mishchenko | 2015-04-10 | 2 | -0/+40 |
* | Important corner-case bug in SOP computation (recently introduced). | Alan Mishchenko | 2015-04-01 | 1 | -0/+3 |
* | Bug with in not property copying box info in &save/&load. | Alan Mishchenko | 2015-03-25 | 1 | -0/+18 |
* | Scalable SOP manipulation package. | Alan Mishchenko | 2015-03-23 | 4 | -1/+79 |
* | Scalable SOP manipulation package. | Alan Mishchenko | 2015-03-18 | 1 | -0/+8 |
* | Fix incorrect transfer of box copy ID. | Alan Mishchenko | 2015-03-13 | 1 | -2/+2 |
* | Improvements to the CBA package. | Alan Mishchenko | 2015-03-01 | 1 | -0/+33 |
* | Experiments with cube hashing. | Alan Mishchenko | 2015-02-27 | 2 | -154/+365 |
* | Experiments with cube hashing. | Alan Mishchenko | 2015-02-20 | 1 | -1/+292 |
* | Changing semantics of switch -C in 'sop' to limit cubes at one node. | Alan Mishchenko | 2015-02-18 | 3 | -24/+24 |
* | Several improvements to CBA data-structure. | Alan Mishchenko | 2015-02-17 | 1 | -0/+34 |
* | Compiler warnings. | Alan Mishchenko | 2015-02-15 | 1 | -1/+1 |
* | Several improvements to CBA data-structure. | Alan Mishchenko | 2015-02-13 | 1 | -0/+1 |
* | Adding resource limit switch -C to 'sop'. | Alan Mishchenko | 2015-02-11 | 2 | -4/+5 |
* | Adding resource limit to 'sop'. | Alan Mishchenko | 2015-02-10 | 2 | -0/+265 |
* | Adding binary dump to CBA. | Alan Mishchenko | 2015-02-05 | 1 | -0/+7 |
* | Major rehash of the CBA code. | Alan Mishchenko | 2015-01-31 | 3 | -2/+56 |
* | Preprocessing for multi-output PLA tables. | Alan Mishchenko | 2015-01-31 | 2 | -0/+19 |