Commit message (Collapse) | Author | Age | Files | Lines | |
---|---|---|---|---|---|
* | Improvements to 'satclp'. | Alan Mishchenko | 2015-11-09 | 4 | -40/+57 |
| | |||||
* | Extending and improving timing manager. | Alan Mishchenko | 2015-11-08 | 1 | -1/+2 |
| | |||||
* | Extending and improving timing manager. | Alan Mishchenko | 2015-11-08 | 8 | -28/+121 |
| | |||||
* | g++ compiler warnings. | Alan Mishchenko | 2015-11-08 | 3 | -3/+3 |
| | |||||
* | Extending and improving timing manager. | Alan Mishchenko | 2015-11-08 | 5 | -436/+30 |
| | |||||
* | Merging two branches. | Alan Mishchenko | 2015-11-08 | 1 | -31/+84 |
|\ | |||||
| * | Add a -p option to load_plugin, given this option, the command does not ↵ | Baruch Sterin | 2015-11-07 | 1 | -31/+84 |
| | | | | | | | | require an absolute path for theplugin. Instead, the shell searches PATH for it. | ||||
* | | Extending and improving timing manager. | Alan Mishchenko | 2015-11-08 | 10 | -57/+737 |
|/ | |||||
* | Improvements to 'satclp' (unfinished). | Alan Mishchenko | 2015-11-06 | 2 | -69/+194 |
| | |||||
* | Improvements to 'satclp' (unfinished). | Alan Mishchenko | 2015-11-06 | 3 | -11/+457 |
| | |||||
* | Improvements to storing and reusing simulation info. | Alan Mishchenko | 2015-11-05 | 2 | -23/+99 |
| | |||||
* | Improvements to storing and reusing simulation info. | Alan Mishchenko | 2015-11-05 | 6 | -320/+148 |
| | |||||
* | pyabc: remove python integration from abc, it is moved to a separate extension | Baruch Sterin | 2015-11-05 | 14 | -2540/+0 |
| | |||||
* | main: allow the -c -C -q -f -F -s command line options to be repeated and ↵ | Baruch Sterin | 2015-11-05 | 1 | -12/+40 |
| | | | | the commands they sepcify be executed in order instead of overriding each other | ||||
* | silence clang errors when compiling as C++ | Baruch Sterin | 2015-11-05 | 12 | -38/+39 |
| | |||||
* | Bug fix in constructing internal choices by 'amap'. | Alan Mishchenko | 2015-11-04 | 1 | -1/+1 |
| | |||||
* | Adding procedure Abc_NtkSetAndGateDelay(). | Alan Mishchenko | 2015-11-04 | 2 | -2/+52 |
| | |||||
* | Small fix in one procedure to make it compile. | Alan Mishchenko | 2015-11-02 | 1 | -1/+1 |
| | |||||
* | Changes to VC6.0 makefile to accommodate new package 'opt/fret' and compiler ↵ | Alan Mishchenko | 2015-10-28 | 3 | -14/+14 |
| | | | | warnings. | ||||
* | Merged in sterin/abc (pull request #13) | Alan Mishchenko | 2015-10-28 | 7 | -17/+4418 |
|\ | | | | | | | Restoring Aaron Hurst's "fretime" command | ||||
| * | Restoring Aaron Hurst's "fretime" command | Baruch Sterin | 2015-10-28 | 7 | -17/+4418 |
| | | |||||
* | | Improvements in delay optimization. | Alan Mishchenko | 2015-10-28 | 2 | -22/+120 |
|/ | |||||
* | Enabling reverse topo order in area minimization. | Alan Mishchenko | 2015-10-28 | 3 | -45/+107 |
| | |||||
* | Improvements to 'satclp'. | Alan Mishchenko | 2015-10-28 | 5 | -25/+356 |
| | |||||
* | Improvements to command print_fanio. | Alan Mishchenko | 2015-10-27 | 3 | -55/+308 |
| | |||||
* | Experiments with precomputation and matching. | Alan Mishchenko | 2015-10-27 | 5 | -10/+96 |
| | |||||
* | Changes for delay-oriented computation. | Alan Mishchenko | 2015-10-26 | 6 | -136/+236 |
| | |||||
* | Compiler warnings. | Alan Mishchenko | 2015-10-25 | 2 | -14/+14 |
| | |||||
* | Extending library handling to 8 inputs. | Alan Mishchenko | 2015-10-25 | 9 | -80/+210 |
| | |||||
* | New command &isost. | Alan Mishchenko | 2015-10-25 | 1 | -0/+70 |
| | |||||
* | Better logic cone proprocessor for 'satclp' to reduce runtime. | Alan Mishchenko | 2015-10-25 | 2 | -0/+483 |
| | |||||
* | Added switch 'satclp -Z' to control the max size of the cone to work with ↵ | Alan Mishchenko | 2015-10-25 | 1 | -7/+11 |
| | | | | (fix overlow). | ||||
* | Changes for delay-oriented computation. | Alan Mishchenko | 2015-10-24 | 7 | -53/+133 |
| | |||||
* | Changes for delay-oriented computation. | Alan Mishchenko | 2015-10-24 | 6 | -110/+128 |
| | |||||
* | Adding switch in 'print_genlib' and 'write_genlib' to print area-min gates only. | Alan Mishchenko | 2015-10-23 | 3 | -16/+38 |
| | |||||
* | Set the default cube limit in 'satclp' to be 0. | Alan Mishchenko | 2015-10-23 | 3 | -13/+16 |
| | |||||
* | Added switch 'satclp -Z' to control the max size of the cone to work with. | Alan Mishchenko | 2015-10-23 | 3 | -12/+37 |
| | |||||
* | Changes for delay-oriented computation. | Alan Mishchenko | 2015-10-23 | 8 | -121/+641 |
| | |||||
* | Quality improvement in 'satclp'. | Alan Mishchenko | 2015-10-22 | 1 | -2/+85 |
| | |||||
* | Minor tuning in 'satclp'. | Alan Mishchenko | 2015-10-22 | 3 | -13/+21 |
| | |||||
* | Compiler warnings. | Alan Mishchenko | 2015-10-21 | 4 | -5/+5 |
| | |||||
* | Corner case bug in 'satclp'. | Alan Mishchenko | 2015-10-21 | 1 | -3/+6 |
| | |||||
* | Code inserts to profile runtime of 'satclp'. | Alan Mishchenko | 2015-10-21 | 1 | -0/+24 |
| | |||||
* | Gate combination precomputation with delay profile. | Alan Mishchenko | 2015-10-21 | 3 | -17/+137 |
| | |||||
* | Corner case bug in 'satclp'. | Alan Mishchenko | 2015-10-21 | 1 | -2/+3 |
| | |||||
* | Added several knobs to control QoR in &nf. | Alan Mishchenko | 2015-10-20 | 1 | -4/+2 |
| | |||||
* | Added several knobs to control QoR in &nf. | Alan Mishchenko | 2015-10-20 | 3 | -51/+108 |
| | |||||
* | Code simplification and improvements in &nf. | Alan Mishchenko | 2015-10-19 | 1 | -129/+85 |
| | |||||
* | Additional improvements in 'satclp'. | Alan Mishchenko | 2015-10-18 | 1 | -1/+1 |
| | |||||
* | Additional improvements in 'satclp'. | Alan Mishchenko | 2015-10-18 | 4 | -22/+326 |
| |