| Commit message (Expand) | Author | Age | Files | Lines |
|---|
| * | Changes to clause mapping. | Alan Mishchenko | 2012-07-11 | 8 | -134/+75 |
| * | Changes to clause mapping. | Alan Mishchenko | 2012-07-11 | 3 | -6/+6 |
| * | Improvements in the proof-logging SAT solver. | Alan Mishchenko | 2012-07-11 | 18 | -577/+644 |
| * | Fixed several problems when CEX is detected by &vta/&gla. | Alan Mishchenko | 2012-07-11 | 2 | -3/+7 |
| * | Enabling refinement in &gla_refine even if CEX is invalid. | Alan Mishchenko | 2012-07-11 | 1 | -2/+2 |
| * | Replacing printf() by Abc_Print(). | Alan Mishchenko | 2012-07-10 | 3 | -42/+42 |
| * | Improving print-outs of &vta and &gla. | Alan Mishchenko | 2012-07-10 | 2 | -9/+27 |
| * | Improving print-outs of &vta and &gla. | Alan Mishchenko | 2012-07-10 | 5 | -9/+68 |
| * | Performance bug fix in the SAT solver (clearing variable activity after rollb... | Alan Mishchenko | 2012-07-10 | 1 | -10/+0 |
| * | Performance bug fix in the SAT solver (clearing variable activity after rollb... | Alan Mishchenko | 2012-07-09 | 1 | -0/+7 |
| * | Performance bug fix in the SAT solver (clearing variable activity after rollb... | Alan Mishchenko | 2012-07-09 | 1 | -0/+3 |
| * | Replacing Mb/Gb to be MB/GB. | Alan Mishchenko | 2012-07-09 | 59 | -90/+90 |
| * | Bug fix in the recent changes to the SAT solver. | Alan Mishchenko | 2012-07-09 | 1 | -0/+3 |
| * | Removing print-out message. | Alan Mishchenko | 2012-07-09 | 1 | -1/+1 |
| * | Removing print-out message in bridge mode. | Alan Mishchenko | 2012-07-09 | 1 | -2/+4 |
| * | Performance bug fix in &gla. | Alan Mishchenko | 2012-07-09 | 1 | -1/+3 |
| * | Adding several command-line arguments to 'dsat'. | Alan Mishchenko | 2012-07-09 | 11 | -31/+89 |
| * | Updated Python code to reflect change in include files. | Alan Mishchenko | 2012-07-09 | 2 | -3/+3 |
| * | Added learned clause recycling to the SAT solver (may impact bmc2, bmc3, dsat... | Alan Mishchenko | 2012-07-09 | 10 | -280/+731 |
| * | Added command &gla_purify. | Alan Mishchenko | 2012-07-08 | 6 | -181/+322 |
| * | Updating truth table computation for GIA to work for internal nodes as well. | Alan Mishchenko | 2012-07-08 | 2 | -16/+20 |
| * | Updating memory print-out of &vta and &gla. | Alan Mishchenko | 2012-07-08 | 5 | -10/+11 |
| * | Adding printout to report command line executed in batch mode. | Alan Mishchenko | 2012-07-08 | 1 | -0/+1 |
| * | Adding restart to rarity simulation in sim3 and &sim3. | Alan Mishchenko | 2012-07-08 | 4 | -37/+99 |
| * | Adding flushing stdout after printing verbose stats. | Alan Mishchenko | 2012-07-07 | 4 | -0/+5 |
| * | Adding simple program for executing several instances of ABC in parallel. | Alan Mishchenko | 2012-07-07 | 1 | -0/+194 |
| * | Updating project settings to have simpler include paths. | Alan Mishchenko | 2012-07-07 | 448 | -878/+878 |
| * | Fixing time primtouts throughout the code. | Alan Mishchenko | 2012-07-07 | 2 | -2/+4 |
| * | Fixing time primtouts throughout the code. | Alan Mishchenko | 2012-07-07 | 10 | -12/+14 |
| * | Fixing time primtouts throughout the code. | Alan Mishchenko | 2012-07-07 | 44 | -58/+79 |
| * | Fixing time primtouts throughout the code. | Alan Mishchenko | 2012-07-07 | 331 | -1091/+1277 |
| * | Changing the default value of &vta -t to reduce proof memory usage. | Alan Mishchenko | 2012-07-07 | 1 | -1/+1 |
| * | Fixing time primtouts in &vta and &gla. | Alan Mishchenko | 2012-07-07 | 2 | -19/+22 |
| * | Adding memory report to print-outs produced by &vta and &gla. | Alan Mishchenko | 2012-07-07 | 2 | -0/+3 |
| * | Bug fix in &gla_refine. | Alan Mishchenko | 2012-07-07 | 1 | -0/+3 |
| * | Procedure to compute truth tables for POs of GIA. | Alan Mishchenko | 2012-07-07 | 4 | -2/+199 |
| * | Diabling compact AIGER writing by default. | Alan Mishchenko | 2012-07-07 | 1 | -1/+1 |
| * | Fixed &gla to work in the bridge mode. | Alan Mishchenko | 2012-07-07 | 2 | -29/+76 |
| * | Making 'pdr', &gla, &vta print correctly in batch mode. | Alan Mishchenko | 2012-07-07 | 10 | -11/+35 |
| * | Added warning for GIA reader when input AIG has dangling nodes. | Alan Mishchenko | 2012-07-07 | 1 | -10/+3 |
| * | Fixing time printouts in 'pdr'. | Alan Mishchenko | 2012-07-07 | 1 | -4/+4 |
| * | Fixing time printouts in 'pdr'. | Alan Mishchenko | 2012-07-07 | 2 | -2/+2 |
| * | Fixing time printouts in 'pdr'. | Alan Mishchenko | 2012-07-07 | 6 | -22/+21 |
| * | Fixing time printouts in 'pdr'. | Alan Mishchenko | 2012-07-07 | 1 | -4/+4 |
| * | Fixing time printouts in 'pdr'. | Alan Mishchenko | 2012-07-07 | 2 | -13/+13 |
| * | Commands &fla_gla/&gla_fla to convert between flop-level and gate-level abstr... | Alan Mishchenko | 2012-07-06 | 4 | -75/+263 |
| * | Tentatively retiring command &abs_start, &abs_cba, &abs_pba, &gla_cba, &gla_pba. | Alan Mishchenko | 2012-07-06 | 1 | -10/+10 |
| * | Setting infinite default conflict limits in 'bmc', 'int', 'pdr'. | Alan Mishchenko | 2012-07-06 | 3 | -8/+8 |
| * | Updated BIP binary name. | Alan Mishchenko | 2012-07-05 | 1 | -1/+1 |
| * | Other improvements to &vta and &gla. | Alan Mishchenko | 2012-07-05 | 2 | -15/+21 |
