| Commit message (Expand) | Author | Age | Files | Lines | |
|---|---|---|---|---|---|
| * | Testing utility code. | Alan Mishchenko | 2022-08-30 | 1 | -0/+31 |
| * | Supporting new resub problem format. | Alan Mishchenko | 2022-06-02 | 1 | -1/+49 |
| * | Compiler warnings. | Alan Mishchenko | 2021-08-23 | 1 | -1/+1 |
| * | Adding input/output/flop name reading in command &r. | Alan Mishchenko | 2021-08-22 | 1 | -1/+0 |
| * | 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 |
 |
index : iCE40/abc | |
| [no description] |
| summaryrefslogtreecommitdiffstats |