| Commit message (Collapse) | Author | Age | Files | Lines | |
|---|---|---|---|---|---|
| * | 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 |
| | | |||||
| * | Forgot that LIN64 was used in place of LIN for 64-bit architectures. Fixed. | Niklas Een | 2013-06-29 | 1 | -2/+2 |
| | | |||||
 |
index : iCE40/abc | |
| [no description] |
| summaryrefslogtreecommitdiffstats |