| Commit message (Expand) | Author | Age | Files | Lines |
* | 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 unsigned... | Alan Mishchenko | 2013-01-31 | 1 | -4/+4 |
* | Fixing compilation problems on Linux-32 related to constants of type unsigned... | Alan Mishchenko | 2013-01-30 | 6 | -70/+70 |
* | 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 |
* | 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 | -1/+4 |
* | Debugging 64-bit bug in new semi-canonical form.. | Alan Mishchenko | 2012-09-06 | 1 | -0/+1 |
* | Integrated new fast semi-canonical form for Boolean functions up to 16 inputs. | Alan Mishchenko | 2012-09-06 | 2 | -6/+2 |
* | Integrated new fast semi-canonical form for Boolean functions up to 16 inputs. | Alan Mishchenko | 2012-09-06 | 6 | -186/+186 |
* | Integrated new fast semi-canonical form for Boolean functions up to 16 inputs. | Alan Mishchenko | 2012-09-06 | 2 | -21/+23 |
* | Integrated new fast semi-canonical form for Boolean functions up to 16 inputs. | Alan Mishchenko | 2012-09-06 | 10 | -23/+1125 |
* | Added new algorithm for NPN semi-canonical form computation. | Alan Mishchenko | 2012-08-23 | 1 | -2/+2 |
* | Compiler warnings. | Alan Mishchenko | 2012-08-09 | 1 | -1/+2 |
* | Compiler warnings. | Alan Mishchenko | 2012-08-09 | 3 | -17/+18 |
* | Compiler warnings. | Alan Mishchenko | 2012-08-09 | 1 | -4/+1 |
* | Compiler warnings. | Alan Mishchenko | 2012-08-09 | 1 | -2/+2 |
* | New semi-canonical form computation package. | Alan Mishchenko | 2012-08-08 | 1 | -0/+94 |
* | New semi-canonical form computation package. | Alan Mishchenko | 2012-08-07 | 1 | -1/+1 |
* | New semi-canonical form computation package. | Alan Mishchenko | 2012-08-07 | 2 | -2/+127 |
* | Changing the default value '&gla -n' to the opposite. | Alan Mishchenko | 2012-08-06 | 1 | -0/+3 |
* | New semi-canonical form computation package. | Alan Mishchenko | 2012-08-06 | 5 | -0/+1247 |
* | Fixing a problem with printing out factored forms. | Alan Mishchenko | 2012-07-30 | 1 | -12/+12 |
* | Adding command 'testdec'. | Alan Mishchenko | 2012-07-28 | 4 | -11/+158 |