Commit message (Collapse) | Author | Age | Files | Lines | ||
---|---|---|---|---|---|---|
... | ||||||
* | Added command 'cexsave' and 'cexload'. | Alan Mishchenko | 2012-11-14 | 9 | -12/+201 | |
| | ||||||
* | Isolating BMC code into a separate package. | Alan Mishchenko | 2012-11-14 | 2 | -4/+3 | |
| | ||||||
* | Isolating BMC code into a separate package. | Alan Mishchenko | 2012-11-14 | 21 | -54/+234 | |
| | ||||||
* | Modifying parameter limits to allow mapping into 2-LUTs. | Alan Mishchenko | 2012-11-14 | 1 | -3/+3 | |
| | ||||||
* | DSD manager. | Alan Mishchenko | 2012-11-13 | 12 | -50/+996 | |
| | ||||||
* | Made print-out of frontier cut an option ('-c') in '&ps'. | Alan Mishchenko | 2012-11-12 | 11 | -24/+29 | |
| | ||||||
* | Extending GIA to represent pintypes and pins. | Alan Mishchenko | 2012-11-12 | 7 | -5/+127 | |
| | ||||||
* | Improved DSD. | Alan Mishchenko | 2012-11-11 | 5 | -17/+297 | |
| | ||||||
* | Improved DSD. | Alan Mishchenko | 2012-11-11 | 1 | -2/+5 | |
| | ||||||
* | Improved DSD. | Alan Mishchenko | 2012-11-11 | 4 | -8/+122 | |
| | ||||||
* | Improved DSD. | Alan Mishchenko | 2012-11-11 | 5 | -119/+594 | |
| | ||||||
* | Improved DSD. | Alan Mishchenko | 2012-11-10 | 4 | -7/+27 | |
| | ||||||
* | Improved DSD. | Alan Mishchenko | 2012-11-10 | 7 | -58/+256 | |
| | ||||||
* | Improved DSD. | Alan Mishchenko | 2012-11-10 | 5 | -145/+1032 | |
| | ||||||
* | Performance bug fix in choice generation. | Alan Mishchenko | 2012-11-09 | 7 | -27/+51 | |
| | ||||||
* | Enabling verbose report of dumping abstraction in GLA. | Alan Mishchenko | 2012-11-07 | 1 | -4/+4 | |
| | ||||||
* | Slightly improved cut computation. | Alan Mishchenko | 2012-11-06 | 1 | -1/+85 | |
| | ||||||
* | Improved DSD. | Alan Mishchenko | 2012-11-06 | 1 | -68/+80 | |
| | ||||||
* | Improved DSD. | Alan Mishchenko | 2012-11-06 | 1 | -2/+2 | |
| | ||||||
* | Improved DSD. | Alan Mishchenko | 2012-11-06 | 3 | -358/+356 | |
| | ||||||
* | Improvements to LMS code. | Alan Mishchenko | 2012-11-06 | 7 | -259/+259 | |
| | ||||||
* | Improved DSD. | Alan Mishchenko | 2012-11-06 | 2 | -88/+365 | |
| | ||||||
* | Improved DSD. | Alan Mishchenko | 2012-11-03 | 2 | -218/+384 | |
| | ||||||
* | Improved DSD. | Alan Mishchenko | 2012-11-03 | 3 | -55/+154 | |
| | ||||||
* | Bug fix in semi-canonical form computation. | Alan Mishchenko | 2012-11-02 | 2 | -19/+74 | |
| | ||||||
* | Adding dumping truth tables from LMS manager. | Alan Mishchenko | 2012-11-02 | 2 | -22/+117 | |
| | ||||||
* | Improved DSD. | Alan Mishchenko | 2012-11-02 | 2 | -41/+253 | |
| | ||||||
* | Fixing out-of-bound problem when collecting GIA nodes. | Alan Mishchenko | 2012-11-02 | 4 | -34/+156 | |
| | ||||||
* | Changing default parameter in &if. | Alan Mishchenko | 2012-11-02 | 1 | -1/+1 | |
| | ||||||
* | 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 | 2 | -28/+12 | |
| | ||||||
* | Improvements to LMS code. | Alan Mishchenko | 2012-11-01 | 5 | -20/+76 | |
| | ||||||
* | Improvements to the truth table computations. | Alan Mishchenko | 2012-11-01 | 4 | -40/+36 | |
| | ||||||
* | Improvements to the truth table computations. | Alan Mishchenko | 2012-11-01 | 5 | -1100/+889 | |
| | ||||||
* | Improvements to the truth table computations. | Alan Mishchenko | 2012-11-01 | 3 | -126/+451 | |
| | ||||||
* | External APIs needed to use ABC as a static library. | Alan Mishchenko | 2012-10-31 | 1 | -0/+66 | |
| | ||||||
* | Increasing memory page limit in the main SAT solver. | Alan Mishchenko | 2012-10-31 | 1 | -1/+1 | |
| | ||||||
* | Improvements to the truth table computations. | Alan Mishchenko | 2012-10-31 | 1 | -88/+0 | |
| | ||||||
* | Removed 'send_cex'. | Alan Mishchenko | 2012-10-31 | 1 | -49/+0 | |
| | ||||||
* | Improvements to the truth table computations. | Alan Mishchenko | 2012-10-31 | 1 | -13/+22 | |
| | ||||||
* | Improvements to the truth table computations. | Alan Mishchenko | 2012-10-31 | 1 | -2/+4 | |
| | ||||||
* | Improvements to the truth table computations. | Alan Mishchenko | 2012-10-31 | 2 | -2/+125 | |
| | ||||||
* | Improvements to the truth table computations. | Alan Mishchenko | 2012-10-30 | 1 | -2/+39 | |
| | ||||||
* | Improvements to the truth table computations. | Alan Mishchenko | 2012-10-30 | 2 | -7/+7 | |
| | ||||||
* | Improvements to the truth table computations. | Alan Mishchenko | 2012-10-30 | 2 | -0/+537 | |
| | ||||||
* | Improvements to the truth table computations. | Alan Mishchenko | 2012-10-30 | 6 | -242/+993 | |
| | ||||||
* | Added switch for netlist type to 'send_aig'. Changed defautl to &-space. ↵ | Niklas Een | 2012-10-30 | 5 | -356/+378 | |
| | | | | Fixed printf -> Abc_Print in some places. | |||||
* | Removed CEX communication through bridge in Abc_FrameReplaceCex | Niklas Een | 2012-10-30 | 1 | -1002/+995 | |
| | ||||||
* | Merge | Niklas Een | 2012-10-30 | 48 | -566/+4994 | |
|\ |