Commit message (Collapse) | Author | Age | Files | Lines | |
---|---|---|---|---|---|
* | Experiments with the mapper. | Alan Mishchenko | 2022-06-23 | 1 | -1/+1 |
| | |||||
* | Intersection a bug in rewrite/refactor. | Alan Mishchenko | 2022-02-22 | 1 | -3/+4 |
| | |||||
* | Compiler warnings. | Alan Mishchenko | 2021-09-30 | 1 | -2/+2 |
| | |||||
* | Various changes. | Alan Mishchenko | 2021-09-30 | 4 | -0/+184 |
| | |||||
* | Updating LUT synthesis code. | Alan Mishchenko | 2021-05-26 | 1 | -1/+2 |
| | |||||
* | Experimental cost function in technology mapping. | Alan Mishchenko | 2020-11-01 | 2 | -0/+26 |
| | |||||
* | Fixing broken build and compiler warnings. | Alan Mishchenko | 2020-04-17 | 3 | -3/+3 |
| | |||||
* | Extend ISOP to return the truth table. | Alan Mishchenko | 2020-04-02 | 3 | -5/+14 |
| | |||||
* | Extending TT-based ISOP to handle ISFs. | Alan Mishchenko | 2020-03-18 | 4 | -0/+124 |
| | |||||
* | 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 |
| |