Commit message (Collapse) | Author | Age | Files | Lines | |
---|---|---|---|---|---|
* | Multi-output property solver. | Alan Mishchenko | 2013-10-23 | 2 | -43/+101 |
| | |||||
* | Adding new synthesis scripts. | Alan Mishchenko | 2013-10-23 | 1 | -3/+161 |
| | |||||
* | Compiler warnings. | Alan Mishchenko | 2013-10-17 | 4 | -11/+16 |
| | |||||
* | Fix for writing choices into a BLIF file. | Alan Mishchenko | 2013-10-16 | 1 | -2/+8 |
| | |||||
* | Adding switch 'pdr -i' to start push_clauses from an intermediate timeframe. | Alan Mishchenko | 2013-10-15 | 1 | -3/+7 |
| | |||||
* | Improvements to buffering and sizing. | Alan Mishchenko | 2013-10-13 | 2 | -4/+4 |
| | |||||
* | Improvements to buffering and sizing. | Alan Mishchenko | 2013-10-12 | 2 | -5/+8 |
| | |||||
* | Extending truth table support in &jf for more than 6 inputs. | Alan Mishchenko | 2013-10-10 | 1 | -3/+3 |
| | |||||
* | Improvements to the canonical form computation. | Alan Mishchenko | 2013-10-10 | 2 | -3/+20 |
| | |||||
* | CNF generating using new mapper. | Alan Mishchenko | 2013-10-10 | 1 | -0/+1 |
| | |||||
* | Upgrading 'mfs2' to consider some nodes as having no level. | Alan Mishchenko | 2013-10-09 | 1 | -1/+1 |
| | |||||
* | Upgrading 'mfs2' to consider some nodes as having no level. | Alan Mishchenko | 2013-10-09 | 2 | -2/+2 |
| | |||||
* | Towards better Boolean matching. | Alan Mishchenko | 2013-10-09 | 2 | -1/+15 |
| | |||||
* | Towards better Boolean matching. | Alan Mishchenko | 2013-10-09 | 1 | -1/+1 |
| | |||||
* | Resubstitution code. | Alan Mishchenko | 2013-10-06 | 1 | -0/+1 |
| | |||||
* | Towards better Boolean matching. | Alan Mishchenko | 2013-10-05 | 1 | -14/+23 |
| | |||||
* | Bug fix and performance improvement in &iso. | Alan Mishchenko | 2013-10-03 | 1 | -4/+8 |
| | |||||
* | Experiment with the AIG package. | Alan Mishchenko | 2013-10-03 | 1 | -2/+4 |
| | |||||
* | 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 |
| |