Commit message (Collapse) | Author | Age | Files | Lines | |
---|---|---|---|---|---|
* | Improvements to gate sizing. | Alan Mishchenko | 2012-10-09 | 3 | -82/+82 |
| | |||||
* | Bug fix in LMS code. | Alan Mishchenko | 2012-10-08 | 1 | -1/+1 |
| | |||||
* | Improvements to gate sizing. | Alan Mishchenko | 2012-10-08 | 12 | -203/+910 |
| | |||||
* | Bug fix in reading AIGER with both signal names and extensions. | Alan Mishchenko | 2012-10-08 | 1 | -79/+79 |
| | |||||
* | Updating readme. | Alan Mishchenko | 2012-10-06 | 1 | -4/+0 |
| | |||||
* | Updating readme. | Alan Mishchenko | 2012-10-06 | 1 | -3/+4 |
| | |||||
* | Updating readme. | Alan Mishchenko | 2012-10-06 | 3 | -14/+785 |
| | |||||
* | Updating readme. | Alan Mishchenko | 2012-10-06 | 1 | -12/+19 |
| | |||||
* | New AIG optimization package. | Alan Mishchenko | 2012-10-06 | 1 | -5/+5 |
| | |||||
* | Updating readme. | Alan Mishchenko | 2012-10-06 | 5 | -70/+91 |
| | |||||
* | New AIG optimization package. | Alan Mishchenko | 2012-10-06 | 1 | -31/+18 |
| | |||||
* | New AIG optimization package. | Alan Mishchenko | 2012-10-06 | 3 | -27/+59 |
| | |||||
* | New AIG optimization package. | Alan Mishchenko | 2012-10-06 | 3 | -3/+4 |
| | |||||
* | New AIG optimization package. | Alan Mishchenko | 2012-10-06 | 9 | -1/+712 |
| | |||||
* | Allow for binary input file in 'testdec' and 'testnpn'. | Alan Mishchenko | 2012-10-05 | 2 | -3/+15 |
| | |||||
* | 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 | 3 | -54/+144 |
| | |||||
* | Simplification in AIG manager object counting. | Alan Mishchenko | 2012-10-05 | 2 | -4/+3 |
| | |||||
* | Bug fix in loading the timing manager. | Alan Mishchenko | 2012-10-05 | 1 | -0/+8 |
| | |||||
* | Bug fix in XOR balancing (command 'balance -x'). | Alan Mishchenko | 2012-10-05 | 1 | -1/+1 |
| | |||||
* | Changed 'readline' declaration rules. | Alan Mishchenko | 2012-10-04 | 1 | -2/+2 |
| | |||||
* | Minor bug fix. | Alan Mishchenko | 2012-10-04 | 1 | -3/+3 |
| | |||||
* | Minor bug fix. | Alan Mishchenko | 2012-10-04 | 1 | -0/+3 |
| | |||||
* | 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 | 3 | -3/+3 |
| | |||||
* | C++ portability changes. | Alan Mishchenko | 2012-10-03 | 1 | -1/+1 |
| | |||||
* | C++ portability changes. | Alan Mishchenko | 2012-10-03 | 1 | -1/+1 |
| | |||||
* | C++ portability changes. | Alan Mishchenko | 2012-10-03 | 18 | -51/+57 |
| | |||||
* | Minor bug fixes. | Alan Mishchenko | 2012-10-03 | 2 | -6/+11 |
| | |||||
* | Added command 'starter' to call ABC concurrently. | Alan Mishchenko | 2012-10-02 | 2 | -4/+4 |
| | |||||
* | Added command 'starter' to call ABC concurrently. | Alan Mishchenko | 2012-10-02 | 2 | -31/+85 |
| | |||||
* | Added command 'starter' to call ABC concurrently. | Alan Mishchenko | 2012-10-02 | 8 | -8/+310 |
| | |||||
* | Renamed reference counting APIs in GIA package. | Alan Mishchenko | 2012-10-02 | 23 | -93/+85 |
| | |||||
* | Structural reparametrization. | Alan Mishchenko | 2012-10-02 | 2 | -81/+235 |
| | |||||
* | Combined old reparametrization command with the new one. | Alan Mishchenko | 2012-10-02 | 7 | -68/+26 |
| | |||||
* | Added detection of 'readline' library at compile-time. | Alan Mishchenko | 2012-10-02 | 1 | -2/+2 |
| | |||||
* | Added detection of 'readline' library at compile-time. | Alan Mishchenko | 2012-10-02 | 1 | -2/+2 |
| | |||||
* | Structural reparametrization. | Alan Mishchenko | 2012-10-02 | 4 | -133/+154 |
| | |||||
* | Separated truth table computation for GIA manager and added new procedures. | Alan Mishchenko | 2012-10-02 | 3 | -70/+89 |
| | |||||
* | Separated truth table computation for GIA manager and added new procedures. | Alan Mishchenko | 2012-10-02 | 5 | -149/+305 |
| | |||||
* | Structural reparametrization. | Alan Mishchenko | 2012-10-01 | 3 | -28/+314 |
| | |||||
* | Fixed several important problems in choice computation (command 'dch'). | Alan Mishchenko | 2012-10-01 | 1 | -1/+1 |
| | |||||
* | Fixed several important problems in choice computation (command 'dch'). | Alan Mishchenko | 2012-10-01 | 7 | -1627/+284 |
| | |||||
* | Changes several defaults of 'super' to be infinite. | Alan Mishchenko | 2012-10-01 | 5 | -52/+51 |
| | |||||
* | Structural reparametrization. | Alan Mishchenko | 2012-09-30 | 4 | -0/+450 |
| | |||||
* | Added serialization of Mini AIG. | Alan Mishchenko | 2012-09-29 | 2 | -6/+72 |
| | |||||
* | Experiments with mini AIG manager. | Alan Mishchenko | 2012-09-29 | 5 | -5/+11 |
| |