Commit message (Collapse) | Author | Age | Files | Lines | |
---|---|---|---|---|---|
* | Fix in represneting constants in a platform-independent way. | Alan Mishchenko | 2014-02-10 | 1 | -12/+12 |
| | |||||
* | Commenting out warnings about combinational network during retiming. | Alan Mishchenko | 2014-02-09 | 1 | -3/+3 |
| | |||||
* | Fixing assertion failure when all POs have constant functions. | Alan Mishchenko | 2014-02-06 | 2 | -1/+4 |
| | |||||
* | Fixing Liberty parser to handle 'scalar' delay/slew tables. | Alan Mishchenko | 2014-02-06 | 3 | -0/+33 |
| | |||||
* | Initial new interpolation code. | Alan Mishchenko | 2014-01-28 | 7 | -0/+1254 |
| | |||||
* | Handling C++-style comments in Liberty parser. | Alan Mishchenko | 2014-01-28 | 1 | -0/+26 |
| | |||||
* | Initial new interpolation code. | Alan Mishchenko | 2014-01-28 | 2 | -2/+6 |
| | |||||
* | Improving switching activity computation. | Alan Mishchenko | 2013-12-30 | 1 | -1/+1 |
| | |||||
* | Improving switching activity computation. | Alan Mishchenko | 2013-12-30 | 1 | -1/+3 |
| | |||||
* | Adding check for the presence of precomputed data. | Alan Mishchenko | 2013-12-29 | 2 | -0/+10 |
| | |||||
* | Improving switching activity computation. | Alan Mishchenko | 2013-12-26 | 4 | -27/+26 |
| | |||||
* | Fixed problem with timeout in &bmc. | Alan Mishchenko | 2013-12-18 | 1 | -0/+2 |
| | |||||
* | New command &write_cnf. | Alan Mishchenko | 2013-12-18 | 3 | -2/+95 |
| | |||||
* | reverting an accidental change to Makefile | Baruch Sterin | 2013-12-11 | 1 | -2/+0 |
| | |||||
* | pyabc scripts: use -q instead of -c in scripts to prevent echoing the ↵ | Baruch Sterin | 2013-12-07 | 6 | -6/+6 |
| | | | | command to the command line. | ||||
* | 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 |
| | |