Commit message (Collapse) | Author | Age | Files | Lines | |
---|---|---|---|---|---|
* | Integrating synthesis into the new BMC engine. | Alan Mishchenko | 2013-10-02 | 1 | -2/+7 |
| | |||||
* | Enabling counter-example generation in the new BMC engine. | Alan Mishchenko | 2013-10-02 | 1 | -1/+3 |
| | |||||
* | Changing default values. | Alan Mishchenko | 2013-10-02 | 2 | -7/+15 |
| | |||||
* | Changes in specialized matching. | Alan Mishchenko | 2013-10-02 | 1 | -1/+1 |
| | |||||
* | Changes in specialized matching. | Alan Mishchenko | 2013-10-01 | 1 | -2/+14 |
| | |||||
* | Converting mapped AIG into strashed AIG. | Alan Mishchenko | 2013-09-30 | 1 | -5/+0 |
| | |||||
* | Changing default values. | Alan Mishchenko | 2013-09-30 | 1 | -7/+8 |
| | |||||
* | Changing default values. | Alan Mishchenko | 2013-09-30 | 1 | -3/+53 |
| | |||||
* | Changing default values. | Alan Mishchenko | 2013-09-30 | 1 | -3/+8 |
| | |||||
* | New logic sharing extraction. | Alan Mishchenko | 2013-09-29 | 2 | -17/+103 |
| | |||||
* | Changing default values. | Alan Mishchenko | 2013-09-28 | 1 | -3/+9 |
| | |||||
* | Changing default values. | Alan Mishchenko | 2013-09-28 | 2 | -6/+6 |
| | |||||
* | Improving printouts in sharing extraction. | Alan Mishchenko | 2013-09-28 | 4 | -15/+22 |
| | |||||
* | New logic sharing extraction. | Alan Mishchenko | 2013-09-28 | 1 | -3/+8 |
| | |||||
* | New logic sharing extraction. | Alan Mishchenko | 2013-09-28 | 1 | -11/+21 |
| | |||||
* | Performance balancing command &b. | Alan Mishchenko | 2013-09-27 | 1 | -0/+74 |
| | |||||
* | Generation of plain AIG after mapping. | Alan Mishchenko | 2013-09-27 | 1 | -1/+1 |
| | |||||
* | Generation of plain AIG after mapping. | Alan Mishchenko | 2013-09-27 | 1 | -4/+7 |
| | |||||
* | Bug fix. | Alan Mishchenko | 2013-09-27 | 1 | -1/+1 |
| | |||||
* | Improving DAG-aware unmapping. | Alan Mishchenko | 2013-09-25 | 1 | -3/+5 |
| | |||||
* | Changes to enable decomposition of non-DSD functions. | Alan Mishchenko | 2013-09-25 | 1 | -1/+9 |
| | |||||
* | Changing switch -R <num> in &gla to mean the max allowed size of ↵ | Alan Mishchenko | 2013-09-23 | 1 | -3/+15 |
| | | | | abstraction. Adding switch -Q <num> to stop when the number of objects exceeds num % _during_refinement_. | ||||
* | Adding API to return the mapped network. | Alan Mishchenko | 2013-09-22 | 1 | -3/+4 |
| | |||||
* | Adding API to return the mapped network. | Alan Mishchenko | 2013-09-22 | 2 | -2/+160 |
| | |||||
* | Adding resource limit to stop &gla when the number of remaining objects is ↵ | Alan Mishchenko | 2013-09-21 | 1 | -1/+1 |
| | | | | less than R/2 during refinement. | ||||
* | Added bridge integration for multi-output 'bmc3 -a'. | Alan Mishchenko | 2013-09-17 | 1 | -0/+1 |
| | |||||
* | Debugging and finetuning the flow. | Alan Mishchenko | 2013-09-17 | 2 | -1/+3 |
| | |||||
* | Adding commands to set and print timing constraints. | Alan Mishchenko | 2013-09-17 | 3 | -0/+14 |
| | |||||
* | Unifying standard cell library representations. | Alan Mishchenko | 2013-09-17 | 4 | -4/+17 |
| | |||||
* | Adding switch to enable reuse of proof-obligations in the last timeframe. | Alan Mishchenko | 2013-09-16 | 1 | -1/+5 |
| | |||||
* | Adding new switch to &if to relax the delay. | Alan Mishchenko | 2013-09-16 | 1 | -2/+14 |
| | |||||
* | Added bridge integration for multi-output 'pdr -a'. | Alan Mishchenko | 2013-09-16 | 1 | -1/+1 |
| | |||||
* | Added bridge integration for multi-output 'pdr -a'. | Alan Mishchenko | 2013-09-16 | 1 | -2/+3 |
| | |||||
* | Infrastructure to support full Liberty format and unitification of library ↵ | Alan Mishchenko | 2013-09-15 | 2 | -1/+5 |
| | | | | representations. | ||||
* | Enabling additional printouts in 'pdr'. | Alan Mishchenko | 2013-09-13 | 1 | -0/+7 |
| | |||||
* | Added command &struct for profiling non-dec structures. | Alan Mishchenko | 2013-09-13 | 1 | -0/+61 |
| | |||||
* | Fix a bug in 'zeropo'. | Alan Mishchenko | 2013-09-13 | 1 | -1/+1 |
| | |||||
* | Improvements to the new technology mapper. | Alan Mishchenko | 2013-09-12 | 1 | -2/+14 |
| | |||||
* | Improvements to the new technology mapper. | Alan Mishchenko | 2013-09-12 | 1 | -4/+12 |
| | |||||
* | Improvements to the new technology mapper. | Alan Mishchenko | 2013-09-12 | 1 | -2/+6 |
| | |||||
* | Command '&slice' to cut out the bottom part of the AIG. | Alan Mishchenko | 2013-09-11 | 1 | -0/+60 |
| | |||||
* | Small performance bug in new 'fx'. | Alan Mishchenko | 2013-09-11 | 1 | -1/+1 |
| | |||||
* | Updates for the new BMC engine. | Alan Mishchenko | 2013-09-10 | 1 | -2/+15 |
| | |||||
* | New API to return the set of all reachable states as an AIG. | Alan Mishchenko | 2013-09-10 | 1 | -1/+4 |
| | |||||
* | Updates for the new BMC engine. | Alan Mishchenko | 2013-09-09 | 1 | -3/+52 |
| | |||||
* | Improvements to the new technology mapper. | Alan Mishchenko | 2013-09-09 | 1 | -1/+32 |
| | |||||
* | Improvements to the &ps. | Alan Mishchenko | 2013-09-08 | 1 | -2/+6 |
| | |||||
* | Improvements to the new technology mapper. | Alan Mishchenko | 2013-09-07 | 1 | -2/+6 |
| | |||||
* | Improvements to the new technology mapper. | Alan Mishchenko | 2013-09-07 | 1 | -2/+123 |
| | |||||
* | Unifying parameters for the &ps command. | Alan Mishchenko | 2013-09-05 | 2 | -15/+18 |
| |