Commit message (Collapse) | Author | Age | Files | Lines | |
---|---|---|---|---|---|
* | Changes to be able to compile ABC without CUDD. | Alan Mishchenko | 2015-08-24 | 1 | -1/+1 |
| | |||||
* | Changes to be able to compile ABC without CUDD. | Alan Mishchenko | 2015-08-24 | 3 | -3/+3 |
| | |||||
* | Changes to be able to compile ABC without CUDD. | Alan Mishchenko | 2015-08-24 | 6 | -3/+30 |
| | |||||
* | Improvements and tuning of CBA. | Alan Mishchenko | 2015-02-01 | 1 | -10/+8 |
| | |||||
* | Compiler warnings. | Alan Mishchenko | 2014-11-29 | 1 | -4/+0 |
| | |||||
* | Extending &fadds to support artificial chains. | Alan Mishchenko | 2014-11-19 | 1 | -0/+6 |
| | |||||
* | Making public some APIs. | Alan Mishchenko | 2014-11-03 | 1 | -3/+3 |
| | |||||
* | Compiler warnings. | Alan Mishchenko | 2014-10-28 | 2 | -1/+2 |
| | |||||
* | Improvements to ISOP. | Alan Mishchenko | 2014-10-10 | 1 | -1/+1 |
| | |||||
* | Compiler warnings. | Alan Mishchenko | 2014-08-02 | 1 | -0/+1 |
| | |||||
* | Experiments with CNF generation. | Alan Mishchenko | 2014-06-18 | 1 | -1/+1 |
| | |||||
* | Improvements to DSD balancing. | Alan Mishchenko | 2014-04-19 | 1 | -3/+7 |
| | |||||
* | Improvement in SOP balancing. | Alan Mishchenko | 2014-04-06 | 2 | -1/+8 |
| | |||||
* | Preparing new implementation of SOP/DSD balancing in 'if' mapper. | Alan Mishchenko | 2014-04-05 | 2 | -0/+26 |
| | |||||
* | Improvements to DSD manager. | Alan Mishchenko | 2014-04-02 | 1 | -1/+1 |
| | |||||
* | Compiler warnings. | Alan Mishchenko | 2013-10-30 | 2 | -39/+39 |
| | |||||
* | Compiler warnings. | Alan Mishchenko | 2013-10-30 | 1 | -7/+7 |
| | |||||
* | Compiler warnings. | Alan Mishchenko | 2013-10-17 | 3 | -2/+3 |
| | |||||
* | Changes to enable decomposition of non-DSD functions. | Alan Mishchenko | 2013-09-25 | 1 | -8/+49 |
| | |||||
* | Compiler warnings. | Alan Mishchenko | 2013-07-12 | 1 | -1/+1 |
| | |||||
* | Minor compilation problem. | Alan Mishchenko | 2013-06-26 | 1 | -1/+1 |
| | |||||
* | Limiting runtime limit checks in 'pdr'. | Alan Mishchenko | 2013-06-22 | 4 | -0/+738 |
| | |||||
* | Adding a wrapper around clock() for more accurate time counting in ABC. | Alan Mishchenko | 2013-05-27 | 8 | -61/+61 |
| | |||||
* | Windows Visual Studio 2008 warnings. | Alan Mishchenko | 2013-05-20 | 1 | -1/+1 |
| | |||||
* | New fast extract. | Alan Mishchenko | 2013-05-05 | 1 | -2/+2 |
| | |||||
* | Compiler warnings. | Alan Mishchenko | 2013-03-31 | 1 | -4/+0 |
| | |||||
* | Shrink for 6-LUTs. | Alan Mishchenko | 2013-03-31 | 5 | -0/+983 |
| | |||||
* | Fixing compilation problems on Linux-32 related to constants of type ↵ | Alan Mishchenko | 2013-01-31 | 1 | -4/+4 |
| | | | | unsigned long long. | ||||
* | Fixing compilation problems on Linux-32 related to constants of type ↵ | Alan Mishchenko | 2013-01-30 | 6 | -70/+70 |
| | | | | unsigned long long. | ||||
* | Bug fix in semi-canonical form computation. | Alan Mishchenko | 2012-11-02 | 2 | -19/+74 |
| | |||||
* | Improvements to LMS code. | Alan Mishchenko | 2012-10-28 | 1 | -0/+2 |
| | |||||
* | Integrating GIA with LUT mapping. | Alan Mishchenko | 2012-10-24 | 2 | -23/+70 |
| | |||||
* | C++ portability changes. | Alan Mishchenko | 2012-10-03 | 1 | -3/+3 |
| | |||||
* | C++ portability changes. | Alan Mishchenko | 2012-10-03 | 2 | -15/+15 |
| | |||||
* | C++ portability changes. | Alan Mishchenko | 2012-10-03 | 3 | -23/+23 |
| | |||||
* | C++ portability changes. | Alan Mishchenko | 2012-10-03 | 2 | -6/+5 |
| | |||||
* | C++ portability changes. | Alan Mishchenko | 2012-10-03 | 1 | -1/+1 |
| | |||||
* | C++ portability changes. | Alan Mishchenko | 2012-10-03 | 2 | -13/+17 |
| | |||||
* | Improvements to the NPN semi-canonical form computation package. | Alan Mishchenko | 2012-09-25 | 1 | -1/+1 |
| | |||||
* | Improvements to the NPN semi-canonical form computation package. | Alan Mishchenko | 2012-09-25 | 7 | -78/+521 |
| | |||||
* | Debugging 64-bit bug in new semi-canonical form.. | Alan Mishchenko | 2012-09-07 | 1 | -19/+5 |
| | |||||
* | Debugging 64-bit bug in new semi-canonical form.. | Alan Mishchenko | 2012-09-07 | 1 | -53/+32 |
| | |||||
* | Debugging 64-bit bug in new semi-canonical form.. | Alan Mishchenko | 2012-09-07 | 1 | -17/+49 |
| | |||||
* | Debugging 64-bit bug in new semi-canonical form.. | Alan Mishchenko | 2012-09-06 | 1 | -12/+0 |
| | |||||
* | Debugging 64-bit bug in new semi-canonical form.. | Alan Mishchenko | 2012-09-06 | 1 | -0/+12 |
| | |||||
* | Debugging 64-bit bug in new semi-canonical form.. | Alan Mishchenko | 2012-09-06 | 1 | -12/+5 |
| | |||||
* | Debugging 64-bit bug in new semi-canonical form.. | Alan Mishchenko | 2012-09-06 | 1 | -21/+8 |
| | |||||
* | Debugging 64-bit bug in new semi-canonical form.. | Alan Mishchenko | 2012-09-06 | 1 | -2/+7 |
| | |||||
* | Debugging 64-bit bug in new semi-canonical form.. | Alan Mishchenko | 2012-09-06 | 1 | -0/+5 |
| | |||||
* | Debugging 64-bit bug in new semi-canonical form.. | Alan Mishchenko | 2012-09-06 | 1 | -0/+4 |
| |