Commit message (Collapse) | Author | Age | Files | Lines | ||
---|---|---|---|---|---|---|
... | ||||||
| * | Disabling SAT sweeping in 'map' by default. | Alan Mishchenko | 2012-10-23 | 1 | -1/+1 | |
| | | ||||||
| * | Adding #ifdef to guard windows-specific debugging option. | Alan Mishchenko | 2012-10-20 | 1 | -3/+5 | |
| | | ||||||
| * | Bug fix in hierarchical BLIF reader. | Alan Mishchenko | 2012-10-11 | 1 | -3/+2 | |
| | | ||||||
* | | Replaced printfs with Abc_Print | Niklas Een | 2012-10-29 | 19 | -450/+464 | |
| | | ||||||
* | | Replaced printfs with Abc_Print | Niklas Een | 2012-10-29 | 1 | -36/+35 | |
| | | ||||||
* | | Replaced printfs with Abc_Print | Niklas Een | 2012-10-29 | 1 | -46/+45 | |
| | | ||||||
* | | Replaced printfs with Abc_Print | Niklas Een | 2012-10-29 | 1 | -48/+47 | |
| | | ||||||
* | | Replaced printfs with Abc_Print | Niklas Een | 2012-10-29 | 1 | -89/+88 | |
|/ | ||||||
* | Commenting out printout. | Alan Mishchenko | 2012-10-10 | 1 | -2/+2 | |
| | ||||||
* | Added procedure to check correctness of the topo order during AIG construction. | Alan Mishchenko | 2012-10-10 | 1 | -0/+27 | |
| | ||||||
* | Added command to transform GIA into the file with truth tables for each output. | Alan Mishchenko | 2012-10-10 | 1 | -0/+77 | |
| | ||||||
* | Improvements to gate sizing. | Alan Mishchenko | 2012-10-09 | 3 | -41/+46 | |
| | ||||||
* | Improvements to gate sizing. | Alan Mishchenko | 2012-10-09 | 7 | -163/+221 | |
| | ||||||
* | Making report about the number of correcty covered frames consistent across ↵ | Alan Mishchenko | 2012-10-09 | 4 | -6/+7 | |
| | | | | the engines. | |||||
* | Improvements to gate-sizing. | Alan Mishchenko | 2012-10-09 | 1 | -2/+4 | |
| | ||||||
* | Improvements to gate-sizing. | Alan Mishchenko | 2012-10-09 | 3 | -9/+27 | |
| | ||||||
* | Improvements to gate sizing (bug fix). | Alan Mishchenko | 2012-10-09 | 1 | -4/+6 | |
| | ||||||
* | Improvements to gate sizing (bug fix). | Alan Mishchenko | 2012-10-09 | 1 | -1/+2 | |
| | ||||||
* | Bug fix in &gla (incorrect reporting of proved timeframes). | Alan Mishchenko | 2012-10-09 | 1 | -2/+2 | |
| | ||||||
* | Bug fix in &gla (incorrect reporting of proved timeframes). | Alan Mishchenko | 2012-10-09 | 1 | -1/+2 | |
| | ||||||
* | Improvements to gate sizing. | Alan Mishchenko | 2012-10-09 | 1 | -2/+2 | |
| | ||||||
* | Improvements to gate sizing. | Alan Mishchenko | 2012-10-09 | 4 | -14/+24 | |
| | ||||||
* | Improvements to gate sizing. | Alan Mishchenko | 2012-10-09 | 3 | -6/+35 | |
| | ||||||
* | Making explicit cast to 64-bit unsigned in a few places. | Alan Mishchenko | 2012-10-09 | 10 | -31/+31 | |
| | ||||||
* | Extending the default GIA writing buffer. | Alan Mishchenko | 2012-10-09 | 1 | -1/+1 | |
| | ||||||
* | 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 | 11 | -203/+902 | |
| | ||||||
* | 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 | -3/+3 | |
| | ||||||
* | New AIG optimization package. | Alan Mishchenko | 2012-10-06 | 1 | -5/+5 | |
| | ||||||
* | Updating readme. | Alan Mishchenko | 2012-10-06 | 2 | -3/+8 | |
| | ||||||
* | 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 | 7 | -0/+691 | |
| | ||||||
* | 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 | |
| |