Commit message (Collapse) | Author | Age | Files | Lines | |
---|---|---|---|---|---|
* | 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 |
| | |||||
* | C++ portability changes. | Alan Mishchenko | 2012-10-03 | 1 | -5/+6 |
| | |||||
* | Minor bug fixes. | Alan Mishchenko | 2012-10-03 | 1 | -3/+3 |
| | |||||
* | Replacing 'st_table' by 'st__table' to resolve linker problems. | Alan Mishchenko | 2012-09-29 | 8 | -270/+270 |
| | |||||
* | Testing GIA with time manager. | Alan Mishchenko | 2012-09-24 | 2 | -9/+54 |
| | |||||
* | Testing GIA with time manager. | Alan Mishchenko | 2012-09-23 | 5 | -18/+75 |
| | |||||
* | Modified structural constraint extraction (unfold -s) to work for ↵ | Alan Mishchenko | 2012-09-23 | 1 | -0/+22 |
| | | | | multi-output testcases. | ||||
* | Integrating time manager into choice computation. | Alan Mishchenko | 2012-09-22 | 4 | -53/+76 |
| | |||||
* | Upgrading hierarchy timing manager. | Alan Mishchenko | 2012-09-21 | 10 | -989/+1394 |
| | |||||
* | Modified 'read' to read all types of libraries (genlib, liberty, scl). | Alan Mishchenko | 2012-09-20 | 1 | -1/+1 |
| | |||||
* | Changes to command 'upsize'. | Alan Mishchenko | 2012-09-18 | 1 | -0/+36 |
| | |||||
* | Fixing mismatch between declaration of the output value of Extra_CpuTime. | Alan Mishchenko | 2012-09-18 | 2 | -2/+2 |
| | |||||
* | Moving binary IO streams to the vector package. | Alan Mishchenko | 2012-09-17 | 1 | -0/+115 |
| | |||||
* | Several minor changes. | Alan Mishchenko | 2012-09-03 | 1 | -0/+41 |
| | |||||
* | Added printout of library cells. | Alan Mishchenko | 2012-08-27 | 1 | -0/+22 |
| | |||||
* | New package to read/write a subset of Liberty for STA. | Alan Mishchenko | 2012-08-25 | 1 | -0/+1 |
| | |||||
* | New package to read/write a subset of Liberty for STA. | Alan Mishchenko | 2012-08-24 | 1 | -0/+17 |
| | |||||
* | Added new algorithm for NPN semi-canonical form computation. | Alan Mishchenko | 2012-08-23 | 2 | -4/+86 |
| | |||||
* | Added purification of UNSAT core in &gla. | Alan Mishchenko | 2012-08-10 | 1 | -6/+6 |
| | |||||
* | Improved abstraction refinement. | Alan Mishchenko | 2012-08-09 | 1 | -4/+6 |
| |