| Commit message (Expand) | Author | Age | Files | Lines |
|---|
| * | Other compiler changes. | Alan Mishchenko | 2021-09-26 | 1 | -0/+4 |
| * | Changing declaration of Vec_Ptr_t sorting function to satisfy some compilers. | Alan Mishchenko | 2021-09-26 | 3 | -5/+5 |
| * | Various changes. | Alan Mishchenko | 2021-09-21 | 1 | -3/+3 |
| * | Compiler warnings. | Alan Mishchenko | 2021-08-23 | 1 | -2/+1 |
| * | Bug fix. | Alan Mishchenko | 2021-08-03 | 1 | -1/+1 |
| * | Upgrading choice computation. | Alan Mishchenko | 2021-07-31 | 1 | -2/+2 |
| * | Making default value (-M 0) work correctly in &mfs. | Alan Mishchenko | 2021-04-07 | 1 | -6/+6 |
| * | Integration with several commands. | Alan Mishchenko | 2020-11-19 | 1 | -2/+5 |
| * | Improving resub window computation by always including the TFI of the pivot n... | Alan Mishchenko | 2020-11-03 | 1 | -1/+0 |
| * | Trying to explicitly compute don't-cares during optimization. | Alan Mishchenko | 2020-11-01 | 4 | -12/+171 |
| * | Experimental resubstitution. | Alan Mishchenko | 2020-05-07 | 1 | -0/+8 |
| * | Temporary commenting out of the assertion. | Alan Mishchenko | 2020-02-06 | 1 | -1/+1 |
| * | Cleaning up code and fixing for several typos. | Alan Mishchenko | 2020-01-27 | 1 | -1/+1 |
| * | Preventing 'mfs' from using fanins of fixed objects as divisors. | Alan Mishchenko | 2020-01-11 | 1 | -1/+38 |
| * | Improving performance of 'lutpack'. | Alan Mishchenko | 2020-01-10 | 6 | -12/+134 |
| * | Preserving additional AIG manager when dandling nodes are present. | Alan Mishchenko | 2020-01-08 | 1 | -1/+1 |
| * | Allowing nodes and boxes to have more than 6 inputs in mfs2 and &mfs. | Alan Mishchenko | 2020-01-07 | 6 | -16/+65 |
| * | Making sure arrival time of constant node is -infinity. | Alan Mishchenko | 2020-01-02 | 1 | -0/+34 |
| * | Fixing compilication problem related to shiftFunc(). | Alan Mishchenko | 2019-09-27 | 1 | -1/+1 |
| * | Fixing compilication problem related to Abc_TtVerifySmallTruth(). | Alan Mishchenko | 2019-09-26 | 1 | -1/+1 |
| * | Fixing some update gcc. | Alan Mishchenko | 2019-07-24 | 3 | -4/+4 |
| * | Enabling dumping of the library of minimum circuits (compiler warnings). | Alan Mishchenko | 2019-04-18 | 2 | -10/+14 |
| * | Enabling dumping of the library of minimum circuits (file support). | Alan Mishchenko | 2019-04-18 | 2 | -28/+25 |
| * | Enabling dumping of the library of minimum circuits. | Alan Mishchenko | 2019-04-17 | 1 | -7/+5 |
| * | Small change to fix broken C++ build. | Alan Mishchenko | 2019-04-09 | 1 | -1/+2 |
| * | Updated NPN classification code (compiler warnings). | Alan Mishchenko | 2019-03-12 | 2 | -4/+5 |
| * | Updated NPN classification code (bug fix). | Alan Mishchenko | 2019-03-10 | 1 | -5/+5 |
| * | Updated functional enumation code. | Alan Mishchenko | 2019-03-08 | 1 | -21/+594 |
| * | Updating canonical form computation procedures (compiler warnings). | Alan Mishchenko | 2019-03-05 | 1 | -1/+1 |
| * | Updating canonical form computation procedures (compiler warnings). | Alan Mishchenko | 2019-03-05 | 1 | -6/+7 |
| * | Updating canonical form computation procedures. | Alan Mishchenko | 2019-03-05 | 1 | -99/+556 |
| * | Fixing some warnings by adding cast from 'int' to 'size_t' in memset, memcpy,... | Alan Mishchenko | 2019-03-05 | 12 | -15/+15 |
| * | Suggested white-space changes for fewer gcc warnings. | Alan Mishchenko | 2019-03-04 | 3 | -11/+11 |
| * | Added missing `static`. | Heinz Riener | 2019-01-12 | 1 | -1/+1 |
| * | Corner-case bug fix in LUT to AIG translation. | Alan Mishchenko | 2018-10-09 | 1 | -0/+4 |
| * | Experiments with Boolean functions. | Alan Mishchenko | 2018-10-02 | 1 | -1/+1 |
| * | Experiments with Boolean functions. | Alan Mishchenko | 2018-10-02 | 1 | -5/+5 |
| * | Experiments with Boolean functions. | Alan Mishchenko | 2018-10-02 | 1 | -2/+33 |
| * | Experiments with Boolean functions. | Alan Mishchenko | 2018-10-02 | 1 | -13/+195 |
| * | Compiler problem. | Alan Mishchenko | 2018-09-20 | 1 | -1/+0 |
| * | Fixing mismatch in exact NPN computation (by XueGong Zhou) | Alan Mishchenko | 2018-09-17 | 3 | -738/+751 |
| * | Expriments with functions. | Alan Mishchenko | 2018-09-16 | 1 | -15/+32 |
| * | Expriments with functions. | Alan Mishchenko | 2018-09-16 | 1 | -2/+2 |
| * | Expriments with functions. | Alan Mishchenko | 2018-09-16 | 1 | -0/+277 |
| * | Expriments with functions. | Alan Mishchenko | 2018-09-16 | 2 | -2/+3 |
| * | Expriments with functions (cleanup). | Alan Mishchenko | 2018-09-13 | 1 | -2/+2 |
| * | Expriments with functions (cleanup). | Alan Mishchenko | 2018-09-13 | 1 | -140/+59 |
| * | Expriments with functions (supporting symmetries). | Alan Mishchenko | 2018-09-11 | 1 | -89/+89 |
| * | Expriments with functions (performance bug fix). | Alan Mishchenko | 2018-09-11 | 1 | -1/+5 |
| * | Suspected bug fix in exact NPN classification (undoing this change as useless). | Alan Mishchenko | 2018-09-10 | 1 | -32/+8 |
