Commit message (Collapse) | Author | Age | Files | Lines | ||
---|---|---|---|---|---|---|
... | ||||||
* | Improvements to the standard cell flow. | Alan Mishchenko | 2013-11-08 | 2 | -0/+21 | |
| | ||||||
* | Fix parenthesization of Abc_Clock #ifdef. | Aaron Tomb | 2013-11-06 | 1 | -1/+1 | |
| | | | | | The previous location of parentheses led to an attempt to compile against Linux-only clock APIs when building on 32-bit OS X. | |||||
* | Merged in atomb/abc (pull request #1) | Alan Mishchenko | 2013-11-05 | 2 | -4/+6 | |
|\ | | | | | | | Several patches to fix compilation under MINGW32 | |||||
| * | Don't assume MSVC when __MINGW32__ set. | Aaron Tomb | 2013-11-04 | 1 | -0/+2 | |
| | | ||||||
| * | Choose Windows file operations with MINGW32. | Aaron Tomb | 2013-11-04 | 1 | -3/+3 | |
| | | ||||||
| * | Make definition of Abc_Clock work with MINGW32. | Aaron Tomb | 2013-11-04 | 1 | -1/+1 | |
| | | ||||||
* | | Tuning for multi-ouptut solver. | Alan Mishchenko | 2013-11-04 | 1 | -1/+4 | |
|/ | ||||||
* | Changes to Liberty parser. | Alan Mishchenko | 2013-10-30 | 1 | -0/+22 | |
| | ||||||
* | Compiler warnings. | Alan Mishchenko | 2013-10-30 | 2 | -7/+6 | |
| | ||||||
* | Multi-output property solver. | Alan Mishchenko | 2013-10-23 | 1 | -0/+338 | |
| | ||||||
* | Extending truth table support in &jf for more than 6 inputs. | Alan Mishchenko | 2013-10-10 | 1 | -3/+4 | |
| | ||||||
* | Improvements to the canonical form computation. | Alan Mishchenko | 2013-10-10 | 1 | -0/+1 | |
| | ||||||
* | Moved the code to a different file. | Alan Mishchenko | 2013-10-06 | 1 | -0/+197 | |
| | ||||||
* | Resubstitution code. | Alan Mishchenko | 2013-10-06 | 2 | -20/+43 | |
| | ||||||
* | Towards better Boolean matching. | Alan Mishchenko | 2013-10-05 | 1 | -0/+13 | |
| | ||||||
* | Towards better Boolean matching. | Alan Mishchenko | 2013-10-05 | 1 | -0/+13 | |
| | ||||||
* | Added 'abort' message in bridge mode for pdr -a timeout | Niklas Een | 2013-10-04 | 1 | -8/+30 | |
| | ||||||
* | Changing default values. | Alan Mishchenko | 2013-10-02 | 1 | -13/+13 | |
| | ||||||
* | Changing default values. | Alan Mishchenko | 2013-09-30 | 1 | -0/+17 | |
| | ||||||
* | Changing default values. | Alan Mishchenko | 2013-09-29 | 1 | -0/+13 | |
| | ||||||
* | Code to test AIG generation for DSD structures. | Alan Mishchenko | 2013-09-27 | 1 | -0/+31 | |
| | ||||||
* | Fixed a bug in Bridge mode | Niklas Een | 2013-09-27 | 1 | -2/+15 | |
| | ||||||
* | New logic sharing extraction. | Alan Mishchenko | 2013-09-26 | 2 | -213/+253 | |
| | ||||||
* | Improving DAG-aware unmapping. | Alan Mishchenko | 2013-09-25 | 1 | -4/+6 | |
| | ||||||
* | Improving DAG-aware unmapping. | Alan Mishchenko | 2013-09-25 | 2 | -3/+7 | |
| | ||||||
* | Changes to enable decomposition of non-DSD functions. | Alan Mishchenko | 2013-09-25 | 2 | -0/+97 | |
| | ||||||
* | Added bridge integration for multi-output 'pdr -a'. | Alan Mishchenko | 2013-09-16 | 1 | -1/+1 | |
| | ||||||
* | Added bridge integration for multi-output 'pdr -a'. | Alan Mishchenko | 2013-09-16 | 1 | -5/+2 | |
| | ||||||
* | Added bridge integration for multi-output 'pdr -a'. | Alan Mishchenko | 2013-09-16 | 1 | -8/+11 | |
| | ||||||
* | Infrastructure to support full Liberty format and unitification of library ↵ | Alan Mishchenko | 2013-09-15 | 2 | -2/+22 | |
| | | | | representations. | |||||
* | Removing duplicated typedef line. | Alan Mishchenko | 2013-09-13 | 1 | -1/+0 | |
| | ||||||
* | Improvements to the new technology mapper. | Alan Mishchenko | 2013-09-12 | 2 | -0/+49 | |
| | ||||||
* | Improvements to the new technology mapper. | Alan Mishchenko | 2013-09-12 | 1 | -0/+46 | |
| | ||||||
* | Improvements to the new technology mapper. | Alan Mishchenko | 2013-09-11 | 1 | -9/+4 | |
| | ||||||
* | Improvements to the new technology mapper. | Alan Mishchenko | 2013-09-11 | 2 | -4/+19 | |
| | ||||||
* | Updates for the new BMC engine. | Alan Mishchenko | 2013-09-10 | 1 | -0/+208 | |
| | ||||||
* | Improvements to the new technology mapper. | Alan Mishchenko | 2013-09-09 | 2 | -7/+16 | |
| | ||||||
* | Improvements to the new technology mapper. | Alan Mishchenko | 2013-09-09 | 3 | -0/+1109 | |
| | ||||||
* | Unifying parameters for the &ps command. | Alan Mishchenko | 2013-09-05 | 1 | -1/+1 | |
| | ||||||
* | Buf fixes and minor changes to the &if mapper. | Alan Mishchenko | 2013-08-29 | 1 | -2/+2 | |
| | ||||||
* | Adding procedures to specify permutations with unused flops. | Alan Mishchenko | 2013-08-28 | 1 | -0/+21 | |
| | ||||||
* | Small changes to compile on Mac. | Alan Mishchenko | 2013-08-15 | 1 | -1/+1 | |
| | ||||||
* | Enabling additional matching feature in the LUT mapper. | Alan Mishchenko | 2013-08-12 | 1 | -0/+44 | |
| | ||||||
* | Integrated buffering and sizing. | Alan Mishchenko | 2013-08-08 | 1 | -0/+5 | |
| | ||||||
* | New technology mapper. | Alan Mishchenko | 2013-07-14 | 2 | -7/+23 | |
| | ||||||
* | New technology mapper. | Alan Mishchenko | 2013-07-13 | 1 | -3/+12 | |
| | ||||||
* | Precomputing DSD functions. | Alan Mishchenko | 2013-07-11 | 1 | -0/+13 | |
| | ||||||
* | Compiler warning. | Alan Mishchenko | 2013-07-01 | 1 | -4/+6 | |
| | ||||||
* | Adding #include <stdlib.h> to 'abc_global.h' to prevent compilation problem ↵ | Alan Mishchenko | 2013-07-01 | 1 | -0/+1 | |
| | | | | on some platforms. | |||||
* | Updating new mapper. | Alan Mishchenko | 2013-06-29 | 1 | -4/+15 | |
| |