| Commit message (Expand) | Author | Age | Files | Lines |
|---|
| * | 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 | 9 | -280/+727 |
| * | 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 | 445 | -873/+873 |
| * | 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 |
| * | Other improvements to &vta and &gla. | Alan Mishchenko | 2012-07-05 | 2 | -15/+21 |
| * | Changing default conflict limits in bmc2 and bmc3 to be 0 (no limit). | Alan Mishchenko | 2012-07-05 | 2 | -6/+6 |
| * | Other improvements to &vta and &gla. | Alan Mishchenko | 2012-07-05 | 5 | -188/+257 |
| * | Other improvements to &vta and &gla. | Alan Mishchenko | 2012-07-04 | 4 | -82/+193 |
| * | Various changes to enable sensitization-based refinement in &gla. | Alan Mishchenko | 2012-07-04 | 11 | -356/+191 |
| * | Added static fanout to GIA package. | Alan Mishchenko | 2012-07-04 | 3 | -0/+143 |
| * | Performance improvement in &gla. | Alan Mishchenko | 2012-07-04 | 5 | -7/+274 |
| * | Performance improvement in &gla_refine. | Alan Mishchenko | 2012-07-03 | 1 | -2/+2 |
| * | Performance improvement in &gla_refine. | Alan Mishchenko | 2012-07-03 | 5 | -238/+391 |
| * | Bug fix in Gia_ObjPrint() | Alan Mishchenko | 2012-07-03 | 1 | -2/+2 |
| * | Other improvements to &vta and &gla. | Alan Mishchenko | 2012-07-01 | 3 | -80/+738 |
| * | Other improvements to bmc2 and bmc3. | Alan Mishchenko | 2012-07-01 | 1 | -3/+4 |
| * | Other improvements to bmc2 and bmc3. | Alan Mishchenko | 2012-07-01 | 1 | -4/+4 |
