Commit message (Expand) | Author | Age | Files | Lines | ||
---|---|---|---|---|---|---|
... | ||||||
* | Bug fix in transferring timing info. | Alan Mishchenko | 2014-09-09 | 1 | -0/+4 | |
* | Adding specialized matching to 'if'. | Alan Mishchenko | 2014-08-16 | 1 | -0/+8 | |
* | Added DSD-based collapsing &dsd. | Alan Mishchenko | 2014-08-16 | 1 | -0/+4 | |
* | Bug fix in &fraig -L <num>. | Alan Mishchenko | 2014-08-12 | 1 | -84/+0 | |
* | Bug fix in &fraig -L <num>. | Alan Mishchenko | 2014-08-12 | 1 | -0/+92 | |
* | Generating abstraction of standard cell library. | Alan Mishchenko | 2014-07-26 | 1 | -0/+4 | |
* | Adding new command &sopb for resource-aware SOP balancing. | Alan Mishchenko | 2014-07-21 | 1 | -0/+4 | |
* | Improvements to representation of choices. | Alan Mishchenko | 2014-07-01 | 1 | -144/+0 | |
* | Improvements to representation of choices. | Alan Mishchenko | 2014-07-01 | 1 | -0/+144 | |
* | Changes and improvements to different packages. | Alan Mishchenko | 2014-06-26 | 1 | -0/+4 | |
* | Experiments with balancing. | Alan Mishchenko | 2014-06-22 | 1 | -0/+4 | |
* | Added quick GIG parser. | Alan Mishchenko | 2014-06-19 | 1 | -0/+4 | |
* | 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 |