Commit message (Collapse) | Author | Age | Files | Lines | |
---|---|---|---|---|---|
* | Updating features of &if mapper. | Alan Mishchenko | 2022-10-09 | 1 | -1/+1 |
| | |||||
* | Various changes. | Alan Mishchenko | 2021-09-02 | 1 | -1/+2 |
| | |||||
* | Disabled special handling of 2-input LUTs. | Alan Mishchenko | 2021-06-02 | 1 | -2/+4 |
| | |||||
* | Updating cost function in &save/&load. | Alan Mishchenko | 2021-05-08 | 1 | -1/+1 |
| | |||||
* | Updating cost function in &save/&load. | Alan Mishchenko | 2021-05-08 | 1 | -8/+27 |
| | |||||
* | Rare bug fix in mapping with choices. | Alan Mishchenko | 2020-10-29 | 1 | -0/+38 |
| | |||||
* | Memory leaks. | Alan Mishchenko | 2020-09-28 | 1 | -0/+1 |
| | |||||
* | Memory leaks. | Alan Mishchenko | 2020-09-25 | 1 | -0/+1 |
| | |||||
* | Adding a new feature to decompose special 6-input cuts. | Alan Mishchenko | 2019-10-26 | 1 | -0/+28 |
| | |||||
* | Making &mfs work with boxes larger than 6 inputs. Adding option &if -w to ↵ | Alan Mishchenko | 2019-09-19 | 1 | -0/+7 |
| | | | | print delay profile. | ||||
* | Undoing some of the previous changes. | Alan Mishchenko | 2018-11-15 | 1 | -1/+5 |
| | |||||
* | Several recent bug fixes. | Alan Mishchenko | 2018-11-04 | 1 | -3/+2 |
| | |||||
* | Fix timing info communication in GIA APIs. | Alan Mishchenko | 2018-10-23 | 1 | -0/+1 |
| | |||||
* | Fix timing info communication in GIA APIs. | Alan Mishchenko | 2018-10-23 | 1 | -0/+1 |
| | |||||
* | Fix timing info communication in GIA APIs. | Alan Mishchenko | 2018-10-22 | 1 | -1/+15 |
| | |||||
* | Maintenance and updates. | Alan Mishchenko | 2017-09-24 | 1 | -4/+4 |
| | |||||
* | Maintenance and updates. | Alan Mishchenko | 2017-09-20 | 1 | -0/+4 |
| | |||||
* | Compiler warnings. | Alan Mishchenko | 2017-07-22 | 1 | -3/+3 |
| | |||||
* | Supporting CO attributes in GIA. | Alan Mishchenko | 2017-07-12 | 1 | -1/+8 |
| | |||||
* | Merged in boschmitt/abc (pull request #77) | Alan Mishchenko | 2017-07-04 | 1 | -1/+1 |
|\ | | | | | | | Small fixes for C++ compilers | ||||
| * | Small fixes for C++ compilers | Bruno Schmitt | 2017-07-04 | 1 | -1/+1 |
| | | |||||
* | | Synchronizing various data-structures. | Alan Mishchenko | 2017-07-04 | 1 | -1/+94 |
|/ | |||||
* | Outputting cell configurations. | Alan Mishchenko | 2017-06-02 | 1 | -3/+51 |
| | |||||
* | Small fixes and a change to &cec to allow two files names given as ↵ | Alan Mishchenko | 2017-01-21 | 1 | -8/+8 |
| | | | | command-line arguments. | ||||
* | Updates to delay optimization project. | Alan Mishchenko | 2017-01-02 | 1 | -16/+16 |
| | |||||
* | Infrastructure for using the results of exact SAT-based synthesis during ↵ | Alan Mishchenko | 2016-07-29 | 1 | -6/+6 |
| | | | | mapping. | ||||
* | Adding option to rehash AIG after mapping. | Alan Mishchenko | 2016-04-27 | 1 | -3/+2 |
| | |||||
* | Improved algo for edge computation. | Alan Mishchenko | 2016-04-24 | 1 | -2/+5 |
| | |||||
* | Improved algo for edge computation. | Alan Mishchenko | 2016-04-22 | 1 | -2/+5 |
| | |||||
* | Supporting edge information during mapping. | Alan Mishchenko | 2016-04-11 | 1 | -1/+2 |
| | |||||
* | Adding AIG rehashing after LUT mapping in Gia. | Alan Mishchenko | 2016-04-07 | 1 | -1/+56 |
| | |||||
* | Windowing for technology mapping. | Alan Mishchenko | 2016-03-30 | 1 | -5/+5 |
| | |||||
* | Windowing for technology mapping. | Alan Mishchenko | 2016-03-29 | 1 | -0/+24 |
| | |||||
* | Adding support for flop init-states in extended AIG. | Alan Mishchenko | 2015-10-04 | 1 | -0/+1 |
| | |||||
* | Experiments with LUT structure mapping. | Alan Mishchenko | 2015-09-30 | 1 | -2/+6 |
| | |||||
* | Small changes to enable collecting results using &ps -D file. | Alan Mishchenko | 2015-07-09 | 1 | -7/+14 |
| | |||||
* | Temp change in the AIG reader and minor tuning. | Alan Mishchenko | 2015-07-08 | 1 | -0/+2 |
| | |||||
* | C++ compiler typecast problem. | Alan Mishchenko | 2015-07-08 | 1 | -1/+1 |
| | |||||
* | Copying prog cell data. | Alan Mishchenko | 2015-05-21 | 1 | -0/+5 |
| | |||||
* | Making sure the names are transfered when &get -n is used. | Alan Mishchenko | 2015-04-04 | 1 | -0/+5 |
| | |||||
* | Properly copying and saving the timing info in &get and &put. | Alan Mishchenko | 2015-04-04 | 1 | -0/+2 |
| | |||||
* | Enable arrival/required times in &nf. | Alan Mishchenko | 2015-03-15 | 1 | -0/+5 |
| | |||||
* | Compiler warnings. | Alan Mishchenko | 2015-03-08 | 1 | -3/+3 |
| | |||||
* | Support for representing programmable cell configuration data. | Alan Mishchenko | 2015-03-08 | 1 | -29/+78 |
| | |||||
* | Exprimental features in tech-mapping. | Alan Mishchenko | 2014-12-21 | 1 | -110/+142 |
| | |||||
* | Exprimental features in tech-mapping. | Alan Mishchenko | 2014-12-21 | 1 | -1/+40 |
| | |||||
* | Adding new mapping feature. | Alan Mishchenko | 2014-12-11 | 1 | -1/+7 |
| | |||||
* | Integrating barrier buffers. | Alan Mishchenko | 2014-12-11 | 1 | -2/+15 |
| | |||||
* | Changes to history recording and other small things. | Alan Mishchenko | 2014-11-30 | 1 | -3/+13 |
| | |||||
* | Improvements to handling boxes and flops. | Alan Mishchenko | 2014-11-24 | 1 | -3/+4 |
| |