Commit message (Collapse) | Author | Age | Files | Lines | |
---|---|---|---|---|---|
* | Cleaning up code and fixing for several typos. | Alan Mishchenko | 2020-01-27 | 2 | -4/+4 |
| | |||||
* | Experiments with truth tables. | Alan Mishchenko | 2019-11-19 | 1 | -0/+74 |
| | |||||
* | Fixing some warnings by adding cast from 'int' to 'size_t' in memset, ↵ | Alan Mishchenko | 2019-03-05 | 6 | -48/+48 |
| | | | | memcpy, etc. | ||||
* | Suggested white-space changes for fewer gcc warnings. | Alan Mishchenko | 2019-03-04 | 2 | -3/+3 |
| | |||||
* | Commenting out problematic assertion in resub. | Alan Mishchenko | 2017-11-04 | 1 | -1/+1 |
| | |||||
* | Compiler warnings. | Alan Mishchenko | 2017-07-22 | 1 | -1/+1 |
| | |||||
* | Windows complier errors. | Alan Mishchenko | 2016-08-06 | 1 | -4/+9 |
| | |||||
* | Group based exact NPN classification. | Ana Petkovska | 2016-06-18 | 1 | -0/+119 |
| | |||||
* | Updating GIG parser. | Alan Mishchenko | 2016-05-01 | 1 | -1/+1 |
| | |||||
* | Bug fix in truth table reading for funcs with less than 6 vars. | Alan Mishchenko | 2016-03-28 | 1 | -1/+1 |
| | |||||
* | 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 |
| |