Commit message (Collapse) | Author | Age | Files | Lines | |
---|---|---|---|---|---|
* | Added switch &trim -V <num> to remove const POs with specific value <num>. | Alan Mishchenko | 2013-01-25 | 4 | -8/+41 |
| | |||||
* | Extending verification status file format to allow for SAT status without CEX. | Alan Mishchenko | 2013-01-25 | 1 | -4/+15 |
| | |||||
* | Integration of timing manager. | Alan Mishchenko | 2013-01-25 | 1 | -3/+10 |
| | |||||
* | Enabled detecting CEXes in multiple POs without stopping (sim3 -a). | Alan Mishchenko | 2013-01-23 | 2 | -28/+26 |
| | |||||
* | Integration of timing manager. | Alan Mishchenko | 2013-01-23 | 4 | -8/+64 |
| | |||||
* | Enabled detecting CEXes in multiple POs without stopping (sim3 -a). | Alan Mishchenko | 2013-01-23 | 9 | -44/+103 |
| | |||||
* | Enabled detecting CEXes in multiple POs without stopping (sim3 -a). | Alan Mishchenko | 2013-01-23 | 4 | -24/+62 |
| | |||||
* | Integration of timing manager. | Alan Mishchenko | 2013-01-23 | 1 | -2/+4 |
| | |||||
* | Reintroduced the old abstraction procedure Saig_ManCexAbstractionFlops() ↵ | Alan Mishchenko | 2013-01-08 | 2 | -31/+162 |
| | | | | formerly called from &abs_start for backward compatibility. | ||||
* | Fixing C++ compilation issues. | Alan Mishchenko | 2013-01-08 | 1 | -0/+3 |
| | |||||
* | Fixing C++ compilation issues. | Alan Mishchenko | 2013-01-08 | 1 | -0/+3 |
| | |||||
* | Fixing C++ compilation issues. | Alan Mishchenko | 2013-01-08 | 1 | -0/+3 |
| | |||||
* | Fixing C++ compilation issues. | Alan Mishchenko | 2013-01-08 | 1 | -0/+3 |
| | |||||
* | Fixing C++ compilation issues. | Alan Mishchenko | 2013-01-08 | 7 | -11/+13 |
| | |||||
* | Fixing C++ compilation issues. | Alan Mishchenko | 2013-01-08 | 6 | -6/+3 |
| | |||||
* | Fixing C++ compilation issues. | Alan Mishchenko | 2013-01-08 | 1 | -3/+3 |
| | |||||
* | Fixing C++ compilation issues. | Alan Mishchenko | 2013-01-08 | 1 | -1/+1 |
| | |||||
* | Fixing C++ compilation issues. | Alan Mishchenko | 2013-01-08 | 1 | -1/+1 |
| | |||||
* | Fixing C++ compilation issues. | Alan Mishchenko | 2013-01-08 | 1 | -9/+9 |
| | |||||
* | Fixing C++ compilation issues. | Alan Mishchenko | 2013-01-08 | 1 | -2/+2 |
| | |||||
* | Fixing C++ compilation issues. | Alan Mishchenko | 2013-01-08 | 1 | -1/+1 |
| | |||||
* | Fixing C++ compilation issues. | Alan Mishchenko | 2013-01-08 | 1 | -3/+3 |
| | |||||
* | Fixing C++ compilation issues. | Alan Mishchenko | 2013-01-08 | 1 | -1/+1 |
| | |||||
* | Technology mapper. | Alan Mishchenko | 2013-01-08 | 1 | -0/+1 |
| | |||||
* | Adding support of flops to the conversion of MiniAIG into ABC network. | Alan Mishchenko | 2013-01-08 | 2 | -0/+127 |
| | |||||
* | Technology mapper. | Alan Mishchenko | 2013-01-08 | 2 | -0/+1621 |
| | |||||
* | Technology mapper. | Alan Mishchenko | 2013-01-08 | 2 | -9/+109 |
| | |||||
* | New unrolling manager. | Alan Mishchenko | 2012-12-24 | 3 | -3/+463 |
| | |||||
* | Improvements to DSD manager. | Alan Mishchenko | 2012-12-15 | 2 | -48/+175 |
| | |||||
* | Assembling timing/hierarchy manager from input data. | Alan Mishchenko | 2012-12-15 | 4 | -25/+133 |
| | |||||
* | Assembling timing/hierarchy manager from input data. | Alan Mishchenko | 2012-12-13 | 8 | -129/+170 |
| | |||||
* | Unifification of custom extensions. | Alan Mishchenko | 2012-12-13 | 1 | -1/+1 |
| | |||||
* | Unifification of custom extensions. | Alan Mishchenko | 2012-12-13 | 1 | -2/+2 |
| | |||||
* | Unifification of custom extensions. | Alan Mishchenko | 2012-12-13 | 1 | -3/+3 |
| | |||||
* | Unifification of custom extensions. | Alan Mishchenko | 2012-12-13 | 1 | -14/+14 |
| | |||||
* | Improvements to DSD manager. | Alan Mishchenko | 2012-12-11 | 3 | -44/+79 |
| | |||||
* | Improvements to DSD manager. | Alan Mishchenko | 2012-12-10 | 1 | -19/+21 |
| | |||||
* | Improvements to DSD manager. | Alan Mishchenko | 2012-12-10 | 1 | -185/+93 |
| | |||||
* | Improvements to DSD manager. | Alan Mishchenko | 2012-12-10 | 1 | -134/+46 |
| | |||||
* | Assembling timing/hierarchy manager from input data. | Alan Mishchenko | 2012-12-10 | 2 | -0/+62 |
| | |||||
* | Unifification of custom extensions. | Alan Mishchenko | 2012-12-10 | 26 | -1147/+809 |
| | |||||
* | Retiring old 'fpga' command and package. | Alan Mishchenko | 2012-12-10 | 1 | -2/+0 |
| | |||||
* | Renaming If_Lut_t into If_LibLut_t. | Alan Mishchenko | 2012-12-10 | 14 | -77/+76 |
| | |||||
* | Adding box library. | Alan Mishchenko | 2012-12-10 | 10 | -15/+669 |
| | |||||
* | Enabling multi-output solving in 'pdr'. | Alan Mishchenko | 2012-12-09 | 1 | -2/+2 |
| | |||||
* | Enabling multi-output solving in 'pdr'. | Alan Mishchenko | 2012-12-09 | 5 | -9/+18 |
| | |||||
* | Renaming multi-output mode enable switch 'bmc3 -s' to be 'bmc3 -a'. | Alan Mishchenko | 2012-12-09 | 1 | -4/+4 |
| | |||||
* | Enabling multi-output solving in 'pdr'. | Alan Mishchenko | 2012-12-09 | 2 | -24/+43 |
| | |||||
* | Enabling multi-output solving in 'pdr'. | Alan Mishchenko | 2012-12-09 | 11 | -85/+91 |
| | |||||
* | Enabling multi-output solving in 'pdr'. | Alan Mishchenko | 2012-12-09 | 1 | -1/+9 |
| |