Commit message (Expand) | Author | Age | Files | Lines | |
---|---|---|---|---|---|
* | Various changes to enable better CNF generation. | Alan Mishchenko | 2014-06-17 | 1 | -0/+4 |
* | Various modifications. | Alan Mishchenko | 2014-06-10 | 1 | -0/+4 |
* | Adding CEC command &splitprove. | Alan Mishchenko | 2014-06-04 | 1 | -0/+4 |
* | Experiment with support minimization. | Alan Mishchenko | 2014-05-21 | 1 | -0/+12 |
* | Exploration of functions. | Alan Mishchenko | 2014-04-26 | 1 | -0/+4 |
* | Exploration of MFFCs. | Alan Mishchenko | 2014-04-26 | 1 | -0/+4 |
* | Experiments with permutations. | Alan Mishchenko | 2014-04-21 | 1 | -0/+8 |
* | Command to test console colors. | Alan Mishchenko | 2014-04-10 | 1 | -0/+4 |
* | Adding command to dump UNSAT core of BMC instance. | Alan Mishchenko | 2014-04-07 | 1 | -0/+4 |
* | Implementation of DSD balancing. | Alan Mishchenko | 2014-04-06 | 1 | -0/+4 |
* | Preparing new implementation of SOP/DSD balancing in 'if' mapper. | Alan Mishchenko | 2014-04-05 | 1 | -0/+4 |
* | Better CEX minimization and renaming of write_counter into write_cex. | Alan Mishchenko | 2014-04-04 | 1 | -0/+4 |
* | Experiments with mapping. | Alan Mishchenko | 2014-03-22 | 1 | -0/+4 |
* | Experiments with recent ideas. | Alan Mishchenko | 2014-03-20 | 1 | -3/+7 |
* | Experiments with cut caching. | Alan Mishchenko | 2014-03-20 | 1 | -0/+4 |
* | Experiments with recent ideas. | Alan Mishchenko | 2014-03-19 | 1 | -152/+0 |
* | Experiments with recent ideas. | Alan Mishchenko | 2014-03-19 | 1 | -0/+156 |
* | Experiments with recent ideas. | Alan Mishchenko | 2014-03-18 | 1 | -0/+4 |
* | Adding barrier buffers. | Alan Mishchenko | 2014-03-16 | 1 | -0/+4 |
* | Experiments with simulation. | Alan Mishchenko | 2014-03-14 | 1 | -0/+4 |
* | Changes to LUT mappers. | Alan Mishchenko | 2014-03-08 | 1 | -0/+4 |
* | Experiments with delay fault testing. | Alan Mishchenko | 2014-03-04 | 1 | -0/+4 |
* | Changes to LUT mappers. | Alan Mishchenko | 2014-02-27 | 1 | -0/+4 |
* | Changes to LUT mappers. | Alan Mishchenko | 2014-02-17 | 1 | -0/+4 |
* | Removing unused LMS code. | Alan Mishchenko | 2014-02-16 | 1 | -8/+0 |
* | Initial new interpolation code. | Alan Mishchenko | 2014-01-28 | 1 | -0/+4 |
* | Structural mapper into structures. | Alan Mishchenko | 2013-11-12 | 1 | -0/+4 |
* | False path detection. | Alan Mishchenko | 2013-10-31 | 1 | -0/+4 |
* | Specialized induction check. | Alan Mishchenko | 2013-10-31 | 1 | -0/+4 |
* | Multi-output property solver. | Alan Mishchenko | 2013-10-23 | 1 | -0/+4 |
* | Resubstitution code. | Alan Mishchenko | 2013-10-06 | 1 | -0/+4 |
* | Towards better Boolean matching. | Alan Mishchenko | 2013-10-05 | 1 | -144/+4 |
* | Experiment with the AIG package. | Alan Mishchenko | 2013-10-03 | 1 | -0/+144 |
* | New logic sharing extraction. | Alan Mishchenko | 2013-09-29 | 1 | -0/+4 |
* | New logic sharing extraction. | Alan Mishchenko | 2013-09-28 | 1 | -0/+4 |
* | Performance balancing command &b. | Alan Mishchenko | 2013-09-27 | 1 | -0/+4 |
* | Generation of plain AIG after mapping. | Alan Mishchenko | 2013-09-27 | 1 | -0/+4 |
* | New logic sharing extraction. | Alan Mishchenko | 2013-09-26 | 1 | -5/+1 |
* | Improving DAG-aware unmapping. | Alan Mishchenko | 2013-09-25 | 1 | -0/+4 |
* | Infrastructure to support full Liberty format and unitification of library re... | Alan Mishchenko | 2013-09-15 | 1 | -2/+10 |
* | Updates for the new BMC engine. | Alan Mishchenko | 2013-09-10 | 1 | -0/+4 |
* | Improvements to the new technology mapper. | Alan Mishchenko | 2013-09-09 | 1 | -0/+4 |
* | Improvements to the new technology mapper. | Alan Mishchenko | 2013-09-07 | 1 | -0/+4 |
* | Updates for the new BMC engine. | Alan Mishchenko | 2013-09-05 | 1 | -0/+4 |
* | Adding interpolant computation sat_solver2. | Alan Mishchenko | 2013-09-05 | 1 | -0/+4 |
* | Enabling additional matching feature in the LUT mapper. | Alan Mishchenko | 2013-08-12 | 1 | -0/+4 |
* | Integrated buffering and sizing. | Alan Mishchenko | 2013-08-08 | 1 | -0/+4 |
* | SAT solver with dynamic CNF loading. | Alan Mishchenko | 2013-08-01 | 1 | -0/+4 |
* | Improved buffering. | Alan Mishchenko | 2013-07-29 | 1 | -4/+0 |
* | Improved gate-sizing. | Alan Mishchenko | 2013-07-29 | 1 | -0/+4 |