| Commit message (Collapse) | Author | Age | Files | Lines | |
|---|---|---|---|---|---|
| * | add a new command line option to ABC, -q, same as -c, but without echoing ↵ | Baruch Sterin | 2013-12-07 | 2 | -15/+29 |
| | | | | | the command | ||||
| * | final version of Bob's scripts for hwmcc13 | Baruch Sterin | 2013-12-07 | 1 | -100/+80 |
| | | |||||
| * | fixes for simple_livness | Baruch Sterin | 2013-12-07 | 3 | -28/+42 |
| | | |||||
| * | Making 'fold' and 'unfold' skip constant POs (another fix). | Alan Mishchenko | 2013-12-04 | 1 | -6/+18 |
| | | |||||
| * | Upgrading command 'print_supp'. | Alan Mishchenko | 2013-12-04 | 1 | -3/+12 |
| | | |||||
| * | Making 'fold' and 'unfold' skip constant POs (fixed). | Alan Mishchenko | 2013-12-04 | 1 | -4/+5 |
| | | |||||
| * | Bug fixes in the above patches. | Alan Mishchenko | 2013-12-03 | 2 | -6/+7 |
| | | |||||
| * | Suggested patch of AIG writers. | Alan Mishchenko | 2013-12-03 | 2 | -34/+116 |
| | | |||||
| * | Making 'fold' and 'unfold' skip constant POs. | Alan Mishchenko | 2013-12-03 | 1 | -0/+4 |
| | | |||||
| * | New canonical DSD form. | Alan Mishchenko | 2013-12-02 | 1 | -0/+660 |
| | | |||||
| * | Bug fix in &b when reference counters are given. | Alan Mishchenko | 2013-11-30 | 1 | -0/+1 |
| | | |||||
| * | Commeting out an assertion in sizing. | Alan Mishchenko | 2013-11-27 | 1 | -1/+1 |
| | | |||||
| * | Patching ABC for Yosys. | Alan Mishchenko | 2013-11-27 | 1 | -1/+2 |
| | | |||||
| * | Patching ABC for Yosys. | Alan Mishchenko | 2013-11-27 | 1 | -2/+2 |
| | | |||||
| * | Patching ABC for Yosys. | Alan Mishchenko | 2013-11-27 | 2 | -4/+6 |
| | | |||||
| * | Patching ABC for Yosys. | Alan Mishchenko | 2013-11-27 | 6 | -67/+139 |
| | | |||||
| * | Structural mapper into structures. | Alan Mishchenko | 2013-11-26 | 2 | -42/+65 |
| | | |||||
| * | Explanation for one assetion. | Alan Mishchenko | 2013-11-26 | 1 | -1/+1 |
| | | |||||
| * | Bug fix in timing update. | Alan Mishchenko | 2013-11-26 | 1 | -1/+1 |
| | | |||||
| * | Structural mapper into structures. | Alan Mishchenko | 2013-11-24 | 3 | -81/+191 |
| | | |||||
| * | Bug fix in technology mapper. | Alan Mishchenko | 2013-11-24 | 1 | -4/+13 |
| | | |||||
| * | Bug fix in liberty parser. | Alan Mishchenko | 2013-11-23 | 1 | -2/+4 |
| | | |||||
| * | Add command 'splitsop' to split large node SOPs into smaller ones. | Alan Mishchenko | 2013-11-23 | 2 | -0/+152 |
| | | |||||
| * | Several changes to allow Liberty files without delay info. | Alan Mishchenko | 2013-11-21 | 6 | -19/+67 |
| | | |||||
| * | Fixing several simple bugs in library handling. | Alan Mishchenko | 2013-11-21 | 3 | -1/+3 |
| | | |||||
| * | Bug fix in writing constants in write_verilog. | Alan Mishchenko | 2013-11-21 | 1 | -1/+1 |
| | | |||||
| * | Propagating initial PI level during balancing. | Alan Mishchenko | 2013-11-15 | 1 | -0/+45 |
| | | |||||
| * | Adding switch to control the number of nodes tried in mfs2. | Alan Mishchenko | 2013-11-14 | 4 | -14/+29 |
| | | |||||
| * | Structural mapper into structures. | Alan Mishchenko | 2013-11-12 | 8 | -2/+754 |
| | | |||||
| * | Improvements to the standard cell flow. | Alan Mishchenko | 2013-11-08 | 7 | -14/+34 |
| | | |||||
| * | Merged in atomb/abc (pull request #2) | Alan Mishchenko | 2013-11-07 | 2 | -4/+4 |
| |\ | | | | | | | More portability/flexibility fixes | ||||
| | * | Remove unncessary use of PWD in CPP include option. | Aaron Tomb | 2013-11-06 | 1 | -1/+1 |
| | | | | | | | | | | | | | The use of an absolute path can sometimes leads to compile errors using Jenkins on Windows. The form without PWD seems to build correctly on several varieties of each of Linux, OS X, and Windows. | ||||
| | * | Allow ARCHFLAGS and OPTFLAGS to be overridden. | Aaron Tomb | 2013-11-06 | 1 | -2/+2 |
| | | | |||||
| | * | 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. | ||||
| * | | Organizing the timing report functions. | Alan Mishchenko | 2013-11-07 | 2 | -23/+22 |
| | | | |||||
| * | | Fixing the wire-load approximation problem. | Alan Mishchenko | 2013-11-07 | 8 | -64/+88 |
| |/ | |||||
| * | Specialized inductive check. | Alan Mishchenko | 2013-11-05 | 1 | -6/+3 |
| | | |||||
| * | Specialized inductive check. | Alan Mishchenko | 2013-11-05 | 1 | -1/+1 |
| | | |||||
| * | Specialized inductive check. | Alan Mishchenko | 2013-11-05 | 3 | -4/+159 |
| | | |||||
| * | 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-05 | 3 | -4/+30 |
| | | | |||||
| * | | Tuning for multi-ouptut solver. | Alan Mishchenko | 2013-11-05 | 1 | -1/+1 |
| | | | |||||
| * | | Tuning for multi-ouptut solver. | Alan Mishchenko | 2013-11-04 | 1 | -3/+3 |
| | | | |||||
| * | | Tuning for multi-ouptut solver. | Alan Mishchenko | 2013-11-04 | 1 | -7/+0 |
| | | | |||||
| * | | Tuning for multi-ouptut solver. | Alan Mishchenko | 2013-11-04 | 1 | -1/+1 |
| | | | |||||
| * | | Tuning for multi-ouptut solver. | Alan Mishchenko | 2013-11-04 | 1 | -1/+5 |
| | | | |||||
| * | | Tuning for multi-ouptut solver. | Alan Mishchenko | 2013-11-04 | 1 | -0/+2 |
| | | | |||||
 |
index : iCE40/abc | |
| [no description] |
| summaryrefslogtreecommitdiffstats |