| Commit message (Expand) | Author | Age | Files | Lines |
|---|
| * | Changes several defaults of 'super' to be infinite. | Alan Mishchenko | 2012-10-01 | 5 | -52/+51 |
| * | Structural reparametrization. | Alan Mishchenko | 2012-09-30 | 4 | -0/+450 |
| * | 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 multi-outpu... | Alan Mishchenko | 2012-09-23 | 3 | -164/+265 |
| * | 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 |
| * | 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 libr... | Alan Mishchenko | 2012-09-20 | 3 | -19/+121 |
| * | 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 |
