Commit message (Collapse) | Author | Age | Files | Lines | |
---|---|---|---|---|---|
* | 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 |
| | | |||||
* | | Tuning for multi-ouptut solver. | Alan Mishchenko | 2013-11-04 | 2 | -2/+3 |
| | | |||||
* | | Tuning for multi-ouptut solver. | Alan Mishchenko | 2013-11-04 | 5 | -4/+51 |
| | | |||||
* | | Tuning for multi-ouptut solver. | Alan Mishchenko | 2013-11-04 | 1 | -0/+2 |
| | | |||||
* | | Added sharing of counter-examples across multiple failed properties in 'bmc3 ↵ | Alan Mishchenko | 2013-11-04 | 1 | -2/+2 |
| | | | | | | | | -a'. | ||||
* | | Added sharing of counter-examples across multiple failed properties in 'bmc3 ↵ | Alan Mishchenko | 2013-11-04 | 1 | -1/+2 |
| | | | | | | | | -a'. | ||||
* | | Merging heads. | Alan Mishchenko | 2013-11-04 | 1 | -0/+5 |
|\ \ | |||||
| * | | Specialized inductive check. | Alan Mishchenko | 2013-11-04 | 1 | -0/+5 |
| |/ | |||||
* / | Added sharing of counter-examples across multiple failed properties in 'bmc3 ↵ | Alan Mishchenko | 2013-11-04 | 1 | -43/+84 |
|/ | | | | -a'. | ||||
* | Sweeper internal dumping. | Alan Mishchenko | 2013-11-01 | 1 | -7/+5 |
| | |||||
* | Sweeper internal dumping. | Alan Mishchenko | 2013-11-01 | 2 | -0/+33 |
| | |||||
* | Sweeper internal verification. | Alan Mishchenko | 2013-11-01 | 3 | -5/+7 |
| | |||||
* | Sweeper internal verification and new switch for &cfraig. | Alan Mishchenko | 2013-11-01 | 5 | -9/+21 |
| | |||||
* | Sweeper internal verification. | Alan Mishchenko | 2013-11-01 | 4 | -24/+77 |
| | |||||
* | Corner-case bug in synthesis commands. | Alan Mishchenko | 2013-11-01 | 1 | -0/+6 |
| | |||||
* | Sweeper condition complement bug-fix. | Alan Mishchenko | 2013-11-01 | 1 | -1/+1 |
| |