| Commit message (Expand) | Author | Age | Files | Lines |
* | Adding command-line switch 'testnpn -A 12' for P-only canonical form computat... | Alan Mishchenko | 2021-12-03 | 1 | -1/+1 |
* | Experimental resubstitution. | Alan Mishchenko | 2020-05-07 | 1 | -0/+8 |
* | 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 | 4 | -7/+7 |
* | 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 |
* | Suspected bug fix in exact NPN classification. | Alan Mishchenko | 2018-09-08 | 1 | -8/+32 |
* | Expriments with functions. | Alan Mishchenko | 2018-09-08 | 1 | -10/+92 |
* | Hash table profiling. | Alan Mishchenko | 2018-09-08 | 1 | -0/+1 |
* | Expriments with functions (bug fixes). | Alan Mishchenko | 2018-09-08 | 1 | -30/+35 |
* | Expriments with functions (bug fixes). | Alan Mishchenko | 2018-09-08 | 1 | -33/+38 |
* | Expriments with functions. | Alan Mishchenko | 2018-09-08 | 1 | -0/+1 |
* | Expriments with functions. | Alan Mishchenko | 2018-09-08 | 1 | -40/+188 |
* | Expriments with functions (bug fixes). | Alan Mishchenko | 2018-09-07 | 2 | -12/+23 |
* | Expriments with functions. | Alan Mishchenko | 2018-09-07 | 2 | -26/+33 |
* | Expriments with functions. | Alan Mishchenko | 2018-09-07 | 1 | -0/+258 |
* | Expriments with functions (compiler warnings). | Alan Mishchenko | 2018-08-30 | 1 | -2/+4 |
* | Expriments with functions. | Alan Mishchenko | 2018-08-29 | 1 | -9/+15 |
* | Expriments with functions. | Alan Mishchenko | 2018-08-29 | 1 | -109/+171 |
* | Experiments with function enumeration. | Alan Mishchenko | 2018-08-01 | 1 | -16/+61 |
* | Experiments with function enumeration. | Alan Mishchenko | 2018-08-01 | 1 | -7/+8 |
* | Experiments with function enumeration. | Alan Mishchenko | 2018-08-01 | 1 | -2/+2 |
* | Experiments with function enumeration. | Alan Mishchenko | 2018-08-01 | 1 | -5/+4 |