Commit message (Collapse) | Author | Age | Files | Lines | |
---|---|---|---|---|---|
* | g++ compiler warnings. | Alan Mishchenko | 2015-11-08 | 1 | -1/+1 |
| | |||||
* | Adding support for black boxes in extended AIG. | Alan Mishchenko | 2015-10-04 | 1 | -1/+1 |
| | |||||
* | Adding switch -x to command &fadds. | Alan Mishchenko | 2015-02-26 | 1 | -7/+12 |
| | |||||
* | Extending &fadds to support artificial chains. New command &setregnum. | Alan Mishchenko | 2014-11-20 | 1 | -21/+141 |
| | |||||
* | Extending &fadds to support artificial chains. | Alan Mishchenko | 2014-11-19 | 1 | -4/+245 |
| | |||||
* | Integrating mfs2 package to work with boxes. | Alan Mishchenko | 2014-11-16 | 1 | -1/+1 |
| | |||||
* | Enabling AIGs with boxes for word-level and sequential designs. | Alan Mishchenko | 2014-11-13 | 1 | -7/+9 |
| | |||||
* | Removing unauthorized printout in 'pdr'. | Alan Mishchenko | 2014-11-09 | 1 | -1/+7 |
| | |||||
* | Detecting full-adder chains and putting them into white boxes. | Alan Mishchenko | 2014-11-09 | 1 | -4/+11 |
| | |||||
* | Detecting full-adder chains and putting them into white boxes. | Alan Mishchenko | 2014-11-09 | 1 | -56/+484 |
| | |||||
* | Full adder detection code. | Alan Mishchenko | 2014-11-08 | 1 | -0/+300 |