| Commit message (Expand) | Author | Age | Files | Lines | |
|---|---|---|---|---|---|
| * | 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 |
 |
index : iCE40/abc | |
| [no description] |
| summaryrefslogtreecommitdiffstats |