Commit message (Expand) | Author | Age | Files | Lines | |
---|---|---|---|---|---|
* | Support of pair-wise miter and other changes. | Alan Mishchenko | 2021-08-22 | 1 | -0/+160 |
* | Merge pull request #132 from jamesjer/aliasing | alanminko | 2021-08-19 | 1 | -1/+3 |
|\ | |||||
| * | Fix violation of C strict aliasing rules. | Jerry James | 2021-08-09 | 1 | -1/+3 |
* | | Extending &trim to trim structurally equivalent primary outputs. | Alan Mishchenko | 2021-08-19 | 1 | -0/+102 |
|/ | |||||
* | Experiments with cofactoring. | Alan Mishchenko | 2021-07-31 | 1 | -0/+265 |
* | Computing sum of PO support sizes. | Alan Mishchenko | 2021-04-09 | 1 | -0/+59 |
* | Compiler warnings. | Alan Mishchenko | 2020-12-21 | 1 | -0/+34 |
* | Experiments with MFFC computation (bug fix). | Alan Mishchenko | 2020-11-15 | 1 | -1/+1 |
* | Experiments with MFFC computation. | Alan Mishchenko | 2020-11-15 | 1 | -0/+47 |
* | Experiment with structural similarity. | Alan Mishchenko | 2020-07-16 | 1 | -0/+22 |
* | Experimental resubstitution. | Alan Mishchenko | 2020-05-15 | 1 | -5/+18 |
* | Experimental resubstitution. | Alan Mishchenko | 2020-05-03 | 1 | -0/+88 |
* | Various changes. | Alan Mishchenko | 2020-03-21 | 1 | -2/+4 |
* | Adding commands to generate data for experiments. | Alan Mishchenko | 2020-02-21 | 1 | -161/+1 |
* | Experiments with MUX restructuring. | Alan Mishchenko | 2020-01-20 | 1 | -7/+34 |
* | Experiments with MUX restructuring. | Alan Mishchenko | 2020-01-19 | 1 | -0/+40 |
* | Bug fix in parsing hierarchical BLIF with mapping. | Alan Mishchenko | 2019-11-18 | 1 | -0/+2 |
* | Procedures to dump input/output data for a benchmark. | Alan Mishchenko | 2019-11-17 | 1 | -0/+158 |
* | Changes to several APIs. | Alan Mishchenko | 2019-11-03 | 1 | -0/+28 |
* | Experiments with simulation. | Alan Mishchenko | 2019-10-27 | 1 | -0/+52 |
* | Experiment with frontier cut computation. | Alan Mishchenko | 2019-05-01 | 1 | -0/+15 |
* | Profiling quantification and other changes. | Alan Mishchenko | 2017-11-06 | 1 | -0/+52 |
* | Temp changes | Alan Mishchenko | 2017-06-15 | 1 | -0/+25 |
* | Removing unused procedure. | Alan Mishchenko | 2017-02-22 | 1 | -19/+0 |
* | Compiler warnings. | Alan Mishchenko | 2017-02-18 | 1 | -1/+1 |
* | Experiments with SAT sweeping. | Alan Mishchenko | 2017-02-18 | 1 | -0/+19 |
* | Updates to arithmetic verification. | Alan Mishchenko | 2017-01-30 | 1 | -2/+2 |
* | Enabling AIGs without structural hashing (&get -c to import logic network). | Alan Mishchenko | 2016-05-20 | 1 | -1/+1 |
* | Improvements to delay-optimization in &satlut. | Alan Mishchenko | 2016-04-04 | 1 | -0/+28 |
* | New command to dump LUT network. | Alan Mishchenko | 2016-01-16 | 1 | -0/+92 |
* | Improvements to 'satclp'. | Alan Mishchenko | 2015-10-28 | 1 | -0/+41 |
* | Integrating barrier buffers. | Alan Mishchenko | 2014-12-11 | 1 | -5/+11 |
* | Integrating barrier buffers. | Alan Mishchenko | 2014-12-08 | 1 | -4/+4 |
* | Enabling AIGs with boxes for word-level and sequential designs. | Alan Mishchenko | 2014-11-13 | 1 | -25/+0 |
* | Changing default CNF generation in &bmc. | Alan Mishchenko | 2014-08-18 | 1 | -0/+6 |
* | Updates and changes to several packages. | Alan Mishchenko | 2014-07-20 | 1 | -0/+9 |
* | Compiler warning. | Alan Mishchenko | 2014-07-01 | 1 | -1/+1 |
* | Improvements to representation of choices. | Alan Mishchenko | 2014-07-01 | 1 | -7/+17 |
* | Various modifications. | Alan Mishchenko | 2014-06-12 | 1 | -28/+0 |
* | Various modifications. | Alan Mishchenko | 2014-06-10 | 1 | -0/+28 |
* | Adding print-out of average level. | Alan Mishchenko | 2014-04-19 | 1 | -0/+9 |
* | Ternary simulation for multi-output miters. | Alan Mishchenko | 2014-03-28 | 1 | -0/+54 |
* | Experiments with simulation. | Alan Mishchenko | 2014-03-14 | 1 | -0/+5 |
* | False path detection. | Alan Mishchenko | 2013-10-31 | 1 | -0/+24 |
* | Multi-output property solver. | Alan Mishchenko | 2013-10-23 | 1 | -1/+1 |
* | Adding new synthesis scripts. | Alan Mishchenko | 2013-10-23 | 1 | -0/+1 |
* | More accurate level calculation in AIG balancing. | Alan Mishchenko | 2013-10-22 | 1 | -0/+48 |
* | Changing default values. | Alan Mishchenko | 2013-09-30 | 1 | -0/+64 |
* | Changing default values. | Alan Mishchenko | 2013-09-30 | 1 | -1/+1 |
* | New logic sharing extraction. | Alan Mishchenko | 2013-09-28 | 1 | -2/+8 |