Commit message (Collapse) | Author | Age | Files | Lines | |
---|---|---|---|---|---|
* | Integration of timing manager. | Alan Mishchenko | 2013-02-03 | 1 | -1/+1 |
| | |||||
* | Integration of timing manager. | Alan Mishchenko | 2013-02-01 | 1 | -0/+1 |
| | |||||
* | Integration of timing manager. | Alan Mishchenko | 2013-01-30 | 1 | -0/+2 |
| | |||||
* | Fixing compilation problems on Linux-32 related to constants of type ↵ | Alan Mishchenko | 2013-01-30 | 3 | -80/+86 |
| | | | | unsigned long long. | ||||
* | Updated CEX code to handle trivial CEX of the type (Abc_Cex_t*)1. | Alan Mishchenko | 2013-01-25 | 1 | -0/+19 |
| | |||||
* | 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 | 1 | -1/+2 |
| | |||||
* | Integration of timing manager. | Alan Mishchenko | 2013-01-23 | 1 | -2/+4 |
| | |||||
* | Fixing C++ compilation issues. | Alan Mishchenko | 2013-01-08 | 2 | -4/+8 |
| | |||||
* | Technology mapper. | Alan Mishchenko | 2013-01-08 | 1 | -0/+253 |
| | |||||
* | Assembling timing/hierarchy manager from input data. | Alan Mishchenko | 2012-12-15 | 2 | -5/+51 |
| | |||||
* | Assembling timing/hierarchy manager from input data. | Alan Mishchenko | 2012-12-13 | 2 | -10/+22 |
| | |||||
* | Assembling timing/hierarchy manager from input data. | Alan Mishchenko | 2012-12-10 | 2 | -0/+62 |
| | |||||
* | Unifification of custom extensions. | Alan Mishchenko | 2012-12-10 | 3 | -32/+31 |
| | |||||
* | Enabling multi-output solving in 'pdr'. | Alan Mishchenko | 2012-12-09 | 1 | -3/+4 |
| | |||||
* | Deriving CEX after phase/tempor/reparam. | Alan Mishchenko | 2012-12-09 | 1 | -6/+5 |
| | |||||
* | Deriving CEX after phase/tempor/reparam. | Alan Mishchenko | 2012-12-08 | 2 | -1/+118 |
| | |||||
* | Counter-example analysis and optimization. | Alan Mishchenko | 2012-11-30 | 1 | -2/+2 |
| | |||||
* | Counter-example analysis and optimization. | Alan Mishchenko | 2012-11-29 | 2 | -0/+20 |
| | |||||
* | Counter-example analysis and optimization. | Alan Mishchenko | 2012-11-28 | 2 | -0/+12 |
| | |||||
* | DSD manager. | Alan Mishchenko | 2012-11-20 | 1 | -5/+5 |
| | |||||
* | DSD manager. | Alan Mishchenko | 2012-11-19 | 1 | -0/+1 |
| | |||||
* | Added switch 'cexcut -m' to generate bad states for all frames after G. | Alan Mishchenko | 2012-11-15 | 1 | -2/+2 |
| | |||||
* | Added command 'cexcut' and 'cexmerge'. | Alan Mishchenko | 2012-11-14 | 1 | -11/+12 |
| | |||||
* | Added command 'cexcut' and 'cexmerge'. | Alan Mishchenko | 2012-11-14 | 2 | -0/+59 |
| | |||||
* | Made print-out of frontier cut an option ('-c') in '&ps'. | Alan Mishchenko | 2012-11-12 | 1 | -1/+1 |
| | |||||
* | Improved DSD. | Alan Mishchenko | 2012-11-11 | 1 | -3/+46 |
| | |||||
* | Improved DSD. | Alan Mishchenko | 2012-11-06 | 1 | -0/+52 |
| | |||||
* | Improved DSD. | Alan Mishchenko | 2012-11-06 | 1 | -45/+164 |
| | |||||
* | Improved DSD. | Alan Mishchenko | 2012-11-03 | 1 | -1/+2 |
| | |||||
* | Improved DSD. | Alan Mishchenko | 2012-11-02 | 1 | -21/+36 |
| | |||||
* | Improvements to the truth table computations. | Alan Mishchenko | 2012-11-01 | 1 | -10/+2 |
| | |||||
* | Improvements to the truth table computations. | Alan Mishchenko | 2012-11-01 | 1 | -462/+69 |
| | |||||
* | Improvements to the truth table computations. | Alan Mishchenko | 2012-11-01 | 1 | -84/+101 |
| | |||||
* | Improvements to the truth table computations. | Alan Mishchenko | 2012-10-31 | 1 | -13/+22 |
| | |||||
* | Improvements to the truth table computations. | Alan Mishchenko | 2012-10-31 | 1 | -2/+4 |
| | |||||
* | Improvements to the truth table computations. | Alan Mishchenko | 2012-10-31 | 1 | -2/+38 |
| | |||||
* | Improvements to the truth table computations. | Alan Mishchenko | 2012-10-30 | 1 | -2/+39 |
| | |||||
* | Improvements to the truth table computations. | Alan Mishchenko | 2012-10-30 | 1 | -4/+4 |
| | |||||
* | Improvements to the truth table computations. | Alan Mishchenko | 2012-10-30 | 4 | -80/+906 |
| | |||||
* | Added switch for netlist type to 'send_aig'. Changed defautl to &-space. ↵ | Niklas Een | 2012-10-30 | 2 | -10/+20 |
| | | | | Fixed printf -> Abc_Print in some places. | ||||
* | Improvements to the truth table computation in 'if' package. | Alan Mishchenko | 2012-10-29 | 1 | -4/+103 |
| | |||||
* | Move truth table code into a separte file. | Alan Mishchenko | 2012-10-28 | 1 | -0/+323 |
| | |||||
* | Improvements to LMS code. | Alan Mishchenko | 2012-10-27 | 1 | -8/+7 |
| | |||||
* | Improvements to LMS code. | Alan Mishchenko | 2012-10-27 | 1 | -5/+78 |
| | |||||
* | Adding #ifdef to guard windows-specific debugging option. | Alan Mishchenko | 2012-10-20 | 1 | -3/+5 |
| | |||||
* | Improvements to gate sizing. | Alan Mishchenko | 2012-10-09 | 1 | -0/+3 |
| | |||||
* | Improvements to gate sizing. | Alan Mishchenko | 2012-10-08 | 1 | -0/+360 |
| | |||||
* | Bug fix in loading the timing manager. | Alan Mishchenko | 2012-10-05 | 1 | -0/+8 |
| | |||||
* | Minor bug fix. | Alan Mishchenko | 2012-10-04 | 1 | -3/+3 |
| |