| Commit message (Expand) | Author | Age | Files | Lines |
* | 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 multi-outpu... | Alan Mishchenko | 2012-09-23 | 1 | -0/+22 |
* | 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 |
* | New command 'testnpn' to compare semi-canonical forms. | Alan Mishchenko | 2012-08-08 | 2 | -1/+2 |
* | Fixing performance bug with old proof-logging (adding clauses multiple times). | Alan Mishchenko | 2012-07-30 | 1 | -0/+22 |
* | Reducing memory usage in proof-based abstraction. | Alan Mishchenko | 2012-07-29 | 1 | -0/+2 |
* | Adding memory reporting to vectors. | Alan Mishchenko | 2012-07-29 | 7 | -118/+120 |
* | Recording and reusing learned util clauses in bmc2. | Alan Mishchenko | 2012-07-22 | 1 | -1/+1 |
* | Updated code for lazy man's synthesis (memory optimization). | Alan Mishchenko | 2012-07-20 | 1 | -0/+290 |
* | Updated code for lazy man's synthesis. | Alan Mishchenko | 2012-07-20 | 1 | -2/+2 |
* | New procedures to generate NPN-classes for a library of 6-input functions. | Alan Mishchenko | 2012-07-20 | 1 | -8/+16 |
* | New procedures to generate NPN-classes for a library of 6-input functions. | Alan Mishchenko | 2012-07-19 | 2 | -0/+291 |
* | Fixing the integer print-out problem. | Alan Mishchenko | 2012-07-13 | 1 | -13/+13 |
* | Fixing the integer print-out problem. | Alan Mishchenko | 2012-07-13 | 1 | -12/+18 |
* | Debugging a proof error. | Alan Mishchenko | 2012-07-13 | 1 | -25/+17 |
* | Debugging a proof error. | Alan Mishchenko | 2012-07-13 | 1 | -0/+7 |
* | Debugging a proof error. | Alan Mishchenko | 2012-07-13 | 1 | -0/+1 |
* | Debugging a proof error. | Alan Mishchenko | 2012-07-13 | 1 | -2/+2 |
* | Debugging a proof error. | Alan Mishchenko | 2012-07-13 | 1 | -0/+19 |
* | Debugging a proof error. | Alan Mishchenko | 2012-07-13 | 1 | -31/+9 |
* | Fixing a mismatch in regular/shadow page memory appending procedure. | Alan Mishchenko | 2012-07-13 | 1 | -2/+2 |
* | Improvements in the proof-logging SAT solver. | Alan Mishchenko | 2012-07-11 | 1 | -0/+19 |
* | Replacing Mb/Gb to be MB/GB. | Alan Mishchenko | 2012-07-09 | 2 | -7/+7 |
* | Added learned clause recycling to the SAT solver (may impact bmc2, bmc3, dsat... | Alan Mishchenko | 2012-07-09 | 1 | -7/+10 |
* | Updating project settings to have simpler include paths. | Alan Mishchenko | 2012-07-07 | 37 | -42/+42 |
* | Fixing time primtouts throughout the code. | Alan Mishchenko | 2012-07-07 | 11 | -19/+17 |
* | Making 'pdr', &gla, &vta print correctly in batch mode. | Alan Mishchenko | 2012-07-07 | 2 | -4/+16 |
* | Fixing time printouts in 'pdr'. | Alan Mishchenko | 2012-07-07 | 1 | -4/+4 |
* | Fixing time printouts in 'pdr'. | Alan Mishchenko | 2012-07-07 | 1 | -4/+4 |
* | Added memory reporting to &vta. | Alan Mishchenko | 2012-06-22 | 8 | -8/+137 |
* | Reporing memory usage by the SAT solver in 'bmc3'. | Alan Mishchenko | 2012-06-15 | 1 | -0/+19 |
* | Added option to compile on windows without DLL support. | Alan Mishchenko | 2012-06-15 | 1 | -2/+7 |
* | Misc changes. | Alan Mishchenko | 2012-05-03 | 2 | -1/+7 |
* | Misc changes. | Alan Mishchenko | 2012-04-22 | 1 | -2/+3 |
* | Misc changes. | Alan Mishchenko | 2012-04-20 | 3 | -14/+5 |
* | Added/moved several APIs. | Alan Mishchenko | 2012-04-10 | 2 | -9/+16 |