| Commit message (Collapse) | Author | Age | Files | Lines | |
|---|---|---|---|---|---|
| * | Enabling additional stat printouts. | Alan Mishchenko | 2012-12-01 | 1 | -2/+114 |
| | | |||||
| * | Counter-example analysis and optimization. | Alan Mishchenko | 2012-11-30 | 1 | -6/+6 |
| | | |||||
| * | Counter-example analysis and optimization. | Alan Mishchenko | 2012-11-30 | 1 | -0/+57 |
| | | |||||
| * | Counter-example analysis and optimization. | Alan Mishchenko | 2012-11-28 | 1 | -1/+9 |
| | | |||||
| * | DSD manager. | Alan Mishchenko | 2012-11-20 | 2 | -3/+17 |
| | | |||||
| * | DSD manager. | Alan Mishchenko | 2012-11-19 | 1 | -0/+14 |
| | | |||||
| * | Added switch 'cexcut -m' to generate bad states for all frames after G. | Alan Mishchenko | 2012-11-15 | 1 | -9/+17 |
| | | |||||
| * | Added switch 'cexcut -n' to generate only one bad state. | Alan Mishchenko | 2012-11-15 | 1 | -86/+18 |
| | | |||||
| * | Added command 'cexcut' and 'cexmerge'. | Alan Mishchenko | 2012-11-14 | 1 | -12/+22 |
| | | |||||
| * | Added command 'cexcut' and 'cexmerge'. | Alan Mishchenko | 2012-11-14 | 1 | -0/+2 |
| | | |||||
| * | Added command 'cexcut' and 'cexmerge'. | Alan Mishchenko | 2012-11-14 | 1 | -10/+208 |
| | | |||||
| * | Added command 'cexcut' and 'cexmerge'. | Alan Mishchenko | 2012-11-14 | 1 | -2/+97 |
| | | |||||
| * | Added command 'cexsave' and 'cexload'. | Alan Mishchenko | 2012-11-14 | 3 | -4/+189 |
| | | |||||
| * | Isolating BMC code into a separate package. | Alan Mishchenko | 2012-11-14 | 2 | -0/+2 |
| | | |||||
| * | Modifying parameter limits to allow mapping into 2-LUTs. | Alan Mishchenko | 2012-11-14 | 1 | -3/+3 |
| | | |||||
| * | Made print-out of frontier cut an option ('-c') in '&ps'. | Alan Mishchenko | 2012-11-12 | 2 | -7/+12 |
| | | |||||
| * | Extending GIA to represent pintypes and pins. | Alan Mishchenko | 2012-11-12 | 2 | -1/+95 |
| | | |||||
| * | Improved DSD. | Alan Mishchenko | 2012-11-11 | 1 | -10/+6 |
| | | |||||
| * | Improved DSD. | Alan Mishchenko | 2012-11-10 | 1 | -2/+6 |
| | | |||||
| * | Improved DSD. | Alan Mishchenko | 2012-11-10 | 1 | -2/+2 |
| | | |||||
| * | Performance bug fix in choice generation. | Alan Mishchenko | 2012-11-09 | 4 | -25/+35 |
| | | |||||
| * | Improvements to LMS code. | Alan Mishchenko | 2012-11-06 | 3 | -251/+234 |
| | | |||||
| * | Improved DSD. | Alan Mishchenko | 2012-11-03 | 1 | -0/+4 |
| | | |||||
| * | Adding dumping truth tables from LMS manager. | Alan Mishchenko | 2012-11-02 | 2 | -22/+117 |
| | | |||||
| * | Fixing out-of-bound problem when collecting GIA nodes. | Alan Mishchenko | 2012-11-02 | 1 | -0/+5 |
| | | |||||
| * | Improvements to LMS code. | Alan Mishchenko | 2012-11-02 | 1 | -7/+82 |
| | | |||||
| * | Improvements to LMS code. | Alan Mishchenko | 2012-11-02 | 3 | -13/+49 |
| | | |||||
| * | Improvements to LMS code. | Alan Mishchenko | 2012-11-01 | 1 | -28/+10 |
| | | |||||
| * | Improvements to LMS code. | Alan Mishchenko | 2012-11-01 | 3 | -18/+74 |
| | | |||||
| * | Improvements to the truth table computations. | Alan Mishchenko | 2012-11-01 | 1 | -4/+15 |
| | | |||||
| * | Improvements to the truth table computations. | Alan Mishchenko | 2012-11-01 | 2 | -3/+16 |
| | | |||||
| * | Improvements to the truth table computations. | Alan Mishchenko | 2012-11-01 | 1 | -2/+2 |
| | | |||||
| * | Removed 'send_cex'. | Alan Mishchenko | 2012-10-31 | 1 | -49/+0 |
| | | |||||
| * | Improvements to the truth table computations. | Alan Mishchenko | 2012-10-30 | 1 | -0/+2 |
| | | |||||
| * | Added switch for netlist type to 'send_aig'. Changed defautl to &-space. ↵ | Niklas Een | 2012-10-30 | 3 | -346/+358 |
| | | | | | Fixed printf -> Abc_Print in some places. | ||||
| * | Removed CEX communication through bridge in Abc_FrameReplaceCex | Niklas Een | 2012-10-30 | 1 | -1002/+995 |
| | | |||||
| * | Added new bridge commands. | Alan Mishchenko | 2012-10-29 | 1 | -0/+173 |
| | | |||||
| * | Tentatively integrated new DSD. | Alan Mishchenko | 2012-10-29 | 2 | -1/+22 |
| | | |||||
| * | Move truth table code into a separte file. | Alan Mishchenko | 2012-10-28 | 1 | -42/+1 |
| | | |||||
| * | Improvements to LMS code. | Alan Mishchenko | 2012-10-28 | 1 | -4/+2 |
| | | |||||
| * | Improvements to LMS code. | Alan Mishchenko | 2012-10-28 | 1 | -3/+6 |
| | | |||||
| * | Improvements to LMS code. | Alan Mishchenko | 2012-10-28 | 1 | -5/+5 |
| | | |||||
| * | Improvements to LMS code. | Alan Mishchenko | 2012-10-28 | 3 | -23/+251 |
| | | |||||
| * | Improvements to LMS code. | Alan Mishchenko | 2012-10-28 | 3 | -150/+714 |
| | | |||||
| * | Improvements to LMS code. | Alan Mishchenko | 2012-10-27 | 1 | -18/+4 |
| | | |||||
| * | Improvements to LMS code. | Alan Mishchenko | 2012-10-27 | 4 | -61/+846 |
| | | |||||
| * | Added switch '-q' to 'scorr' and '&scorr' to quit when PO is not a candidate ↵ | Alan Mishchenko | 2012-10-25 | 1 | -4/+12 |
| | | | | | constant. | ||||
| * | Adding binary file dumping for truth tables. | Alan Mishchenko | 2012-10-25 | 1 | -1/+1 |
| | | |||||
| * | Adding binary file dumping for truth tables. | Alan Mishchenko | 2012-10-25 | 4 | -19/+43 |
| | | |||||
| * | Changing the defaults of command 'collapse'. | Alan Mishchenko | 2012-10-25 | 1 | -2/+2 |
| | | |||||
 |
index : iCE40/abc | |
| [no description] |
| summaryrefslogtreecommitdiffstats |