Commit message (Expand) | Author | Age | Files | Lines | |
---|---|---|---|---|---|
* | Bug fix in truth table reading for funcs with less than 6 vars. | Alan Mishchenko | 2016-03-28 | 1 | -1/+1 |
* | Improvements to ISOP. | Alan Mishchenko | 2014-10-10 | 1 | -5/+5 |
* | Improvements to ISOP. | Alan Mishchenko | 2014-10-10 | 1 | -4/+6 |
* | Detection of threshold functions. | Alan Mishchenko | 2014-10-08 | 1 | -0/+3 |
* | Changes to LUT mappers. | Alan Mishchenko | 2014-02-25 | 1 | -3/+6 |
* | Towards better Boolean matching. | Alan Mishchenko | 2013-10-09 | 1 | -1/+14 |
* | New technology mapper. | Alan Mishchenko | 2013-07-14 | 1 | -1/+6 |
* | Adding a wrapper around clock() for more accurate time counting in ABC. | Alan Mishchenko | 2013-05-27 | 1 | -2/+2 |
* | DSD manager. | Alan Mishchenko | 2012-11-20 | 1 | -1/+1 |
* | Improved DSD. | Alan Mishchenko | 2012-11-11 | 1 | -10/+6 |
* | Improved DSD. | Alan Mishchenko | 2012-11-10 | 1 | -2/+2 |
* | Tentatively integrated new DSD. | Alan Mishchenko | 2012-10-29 | 1 | -1/+21 |
* | Adding binary file dumping for truth tables. | Alan Mishchenko | 2012-10-25 | 1 | -5/+7 |
* | Allow for binary input file in 'testdec' and 'testnpn'. | Alan Mishchenko | 2012-10-05 | 1 | -1/+2 |
* | Allow for binary input file in 'testdec' and 'testnpn'. | Alan Mishchenko | 2012-10-05 | 1 | -2/+4 |
* | Allow for binary input file in 'testdec' and 'testnpn'. | Alan Mishchenko | 2012-10-05 | 1 | -34/+85 |
* | Several improvements to command 'testnpn'. | Alan Mishchenko | 2012-08-25 | 1 | -9/+7 |
* | Compiler warnings. | Alan Mishchenko | 2012-08-09 | 1 | -7/+7 |
* | New command 'testnpn' to compare semi-canonical forms. | Alan Mishchenko | 2012-08-08 | 1 | -12/+35 |
* | Fixed compiler warnings. | Alan Mishchenko | 2012-07-29 | 1 | -2/+2 |
* | Adding command 'testdec'. | Alan Mishchenko | 2012-07-28 | 1 | -4/+465 |
* | Started implementing command 'testdec'. | Alan Mishchenko | 2012-07-28 | 1 | -0/+66 |