| Commit message (Expand) | Author | Age | Files | Lines |
|---|
| * | Added switch 'satclp -Z' to control the max size of the cone to work with (fi... | Alan Mishchenko | 2015-10-25 | 1 | -7/+11 |
| * | Changes for delay-oriented computation. | Alan Mishchenko | 2015-10-24 | 7 | -53/+133 |
| * | Changes for delay-oriented computation. | Alan Mishchenko | 2015-10-24 | 6 | -110/+128 |
| * | Adding switch in 'print_genlib' and 'write_genlib' to print area-min gates only. | Alan Mishchenko | 2015-10-23 | 3 | -16/+38 |
| * | Set the default cube limit in 'satclp' to be 0. | Alan Mishchenko | 2015-10-23 | 3 | -13/+16 |
| * | Added switch 'satclp -Z' to control the max size of the cone to work with. | Alan Mishchenko | 2015-10-23 | 3 | -12/+37 |
| * | Changes for delay-oriented computation. | Alan Mishchenko | 2015-10-23 | 8 | -121/+641 |
| * | Quality improvement in 'satclp'. | Alan Mishchenko | 2015-10-22 | 1 | -2/+85 |
| * | Minor tuning in 'satclp'. | Alan Mishchenko | 2015-10-22 | 3 | -13/+21 |
| * | Compiler warnings. | Alan Mishchenko | 2015-10-21 | 4 | -5/+5 |
| * | Corner case bug in 'satclp'. | Alan Mishchenko | 2015-10-21 | 1 | -3/+6 |
| * | Code inserts to profile runtime of 'satclp'. | Alan Mishchenko | 2015-10-21 | 1 | -0/+24 |
| * | Gate combination precomputation with delay profile. | Alan Mishchenko | 2015-10-21 | 3 | -17/+137 |
| * | Corner case bug in 'satclp'. | Alan Mishchenko | 2015-10-21 | 1 | -2/+3 |
| * | Added several knobs to control QoR in &nf. | Alan Mishchenko | 2015-10-20 | 1 | -4/+2 |
| * | Added several knobs to control QoR in &nf. | Alan Mishchenko | 2015-10-20 | 3 | -51/+108 |
| * | Code simplification and improvements in &nf. | Alan Mishchenko | 2015-10-19 | 1 | -129/+85 |
| * | Additional improvements in 'satclp'. | Alan Mishchenko | 2015-10-18 | 1 | -1/+1 |
| * | Additional improvements in 'satclp'. | Alan Mishchenko | 2015-10-18 | 4 | -22/+326 |
| * | Added approximate SAT-based irredundant procedure to 'satclp'. | Alan Mishchenko | 2015-10-17 | 1 | -0/+80 |
| * | Typo in src/bdd/extrab/module.make. | Alan Mishchenko | 2015-10-17 | 1 | -1/+1 |
| * | Typo in src/bdd/extrab/module.make. | Alan Mishchenko | 2015-10-17 | 1 | -1/+1 |
| * | Added comment how to print binary clauses in procedure Sat_SolverWriteDimacs(). | Alan Mishchenko | 2015-10-16 | 1 | -1/+4 |
| * | Bug fix in 'satclp -r'. | Alan Mishchenko | 2015-10-16 | 1 | -1/+4 |
| * | Fix to the #include <stdlib.h> problem for Debug version on Window. | Alan Mishchenko | 2015-10-16 | 1 | -8/+8 |
| * | Moving BDD-based threshold function detection to the BDD part of the code. | Alan Mishchenko | 2015-10-16 | 6 | -4/+14 |
| * | make sure all of ABC and related libraries are in the same namespace (when co... | Baruch Sterin | 2015-10-16 | 15 | -113/+9 |
| * | Fix C++ compilation errors | Baruch Sterin | 2015-10-16 | 3 | -9/+11 |
| * | Experiments with precomputation and matching. | Alan Mishchenko | 2015-10-16 | 2 | -38/+71 |
| * | Experiments with precomputation and matching. | Alan Mishchenko | 2015-10-15 | 5 | -6/+295 |
| * | Experiments with precomputation and matching. | Alan Mishchenko | 2015-10-15 | 5 | -105/+364 |
| * | Experiments with precomputation and matching. | Alan Mishchenko | 2015-10-14 | 4 | -50/+162 |
| * | Experiments with precomputation and matching. | Alan Mishchenko | 2015-10-13 | 5 | -99/+186 |
| * | Experiments with precomputation and matching. | Alan Mishchenko | 2015-10-13 | 3 | -50/+222 |
| * | Experiments with precomputation and matching. | Alan Mishchenko | 2015-10-12 | 8 | -81/+625 |
| * | Experiments with functional matching. | Alan Mishchenko | 2015-10-09 | 2 | -57/+137 |
| * | Experiments with functional matching. | Alan Mishchenko | 2015-10-08 | 4 | -190/+618 |
| * | Two fixes in 'dsd_filter'. | Alan Mishchenko | 2015-10-07 | 2 | -2/+3 |
| * | New switch 'satclp -r' to reverse variable order. | Alan Mishchenko | 2015-10-07 | 4 | -22/+31 |
| * | Bug fix in 'if -g' (incorrect use of a macro). | Alan Mishchenko | 2015-10-07 | 1 | -3/+3 |
| * | Experiments with functional matching. | Alan Mishchenko | 2015-10-05 | 4 | -195/+278 |
| * | Adding support for black boxes in extended AIG. | Alan Mishchenko | 2015-10-04 | 11 | -45/+122 |
| * | Adding support for flop init-states in extended AIG. | Alan Mishchenko | 2015-10-04 | 8 | -2/+66 |
| * | Experiments with functional matching. | Alan Mishchenko | 2015-10-03 | 2 | -0/+550 |
| * | Bug fix in propagating required times in &nf (another issue). | Alan Mishchenko | 2015-10-01 | 1 | -10/+4 |
| * | Bug fix in propagating required times in &nf. | Alan Mishchenko | 2015-10-01 | 1 | -2/+2 |
| * | Naive LUT packing algorithm (command &pack). | Alan Mishchenko | 2015-09-30 | 3 | -0/+307 |
| * | Experiments with LUT structure mapping. | Alan Mishchenko | 2015-09-30 | 3 | -104/+291 |
| * | Experiments with LUT structure mapping. | Alan Mishchenko | 2015-09-29 | 1 | -36/+17 |
| * | Experiments with LUT structure mapping. | Alan Mishchenko | 2015-09-29 | 1 | -84/+358 |
