Commit message (Expand) | Author | Age | Files | Lines | |
---|---|---|---|---|---|
* | Fixing a typo in setting the miter type. | Alan Mishchenko | 2020-09-06 | 1 | -1/+1 |
* | Experiments with ICCAD CAD benchmarks (Problem A). | Alan Mishchenko | 2020-09-03 | 2 | -7/+627 |
* | Experiment with structural similarity. | Alan Mishchenko | 2020-07-16 | 1 | -0/+15 |
* | Adding new utility procedures. | Alan Mishchenko | 2020-05-11 | 3 | -45/+149 |
* | Adding new utility procedures. | Alan Mishchenko | 2020-05-10 | 3 | -9/+172 |
* | Experimental resubstitution. | Alan Mishchenko | 2020-05-03 | 2 | -2/+6 |
* | Fixing broken build and compiler warnings. | Alan Mishchenko | 2020-04-17 | 1 | -1/+1 |
* | Fixing broken build and compiler warnings. | Alan Mishchenko | 2020-04-17 | 1 | -2/+2 |
* | Various changes. | Alan Mishchenko | 2020-04-10 | 2 | -1/+3 |
* | Various changes. | Alan Mishchenko | 2020-04-10 | 2 | -8/+106 |
* | Various changes. | Alan Mishchenko | 2020-04-08 | 2 | -31/+68 |
* | Various changes. | Alan Mishchenko | 2020-03-29 | 1 | -11/+10 |
* | Various changes. | Alan Mishchenko | 2020-03-21 | 2 | -8/+10 |
* | Various changes. | Alan Mishchenko | 2020-03-18 | 2 | -13/+171 |
* | Ongoing changes to the simulator. | Alan Mishchenko | 2020-03-09 | 2 | -13/+126 |
* | Updating and extending simulation data structures. | Alan Mishchenko | 2020-03-05 | 1 | -10/+28 |
* | Changes to the old parser. | Alan Mishchenko | 2020-03-02 | 1 | -6/+21 |
* | Several misc changes. | Alan Mishchenko | 2020-03-01 | 1 | -1/+8 |
* | Adding commands to generate data for experiments. | Alan Mishchenko | 2020-02-22 | 2 | -0/+56 |
* | Experimental simulation based code. | Alan Mishchenko | 2020-02-06 | 1 | -0/+2 |
* | Cleaning up code and fixing for several typos. | Alan Mishchenko | 2020-01-27 | 1 | -1/+1 |
* | Bug fix in recently modified code. | Alan Mishchenko | 2019-12-11 | 1 | -1/+1 |
* | Bug fix in recently modified code. | Alan Mishchenko | 2019-12-11 | 1 | -7/+9 |
* | Changes to several APIs. | Alan Mishchenko | 2019-12-05 | 2 | -9/+45 |
* | Small changes. | Alan Mishchenko | 2019-12-04 | 1 | -2/+8 |
* | Adding macro to disable bridge output and APIs by popular demand. | Alan Mishchenko | 2019-11-09 | 1 | -2/+2 |
* | Changes to several APIs. | Alan Mishchenko | 2019-11-03 | 3 | -60/+382 |
* | Changes to several APIs. | Alan Mishchenko | 2019-11-01 | 1 | -0/+1 |
* | Fixing some warnings by adding cast from 'int' to 'size_t' in memset, memcpy,... | Alan Mishchenko | 2019-03-05 | 1 | -1/+1 |
* | Adding switch &w -n to modify the comment section of the AIGER file written. | Alan Mishchenko | 2018-11-21 | 2 | -5/+5 |
* | Complication problem fix. | Alan Mishchenko | 2018-08-19 | 1 | -1/+1 |
* | Updates to NDR format (flops, memories, signed mult, etc). | Alan Mishchenko | 2018-04-29 | 1 | -1/+1 |
* | The ECO code (fix to the broken build). | Alan Mishchenko | 2018-04-28 | 1 | -2/+2 |
* | The ECO code. | Alan Mishchenko | 2018-04-25 | 1 | -2/+2494 |
* | Improvements to NDR to represent hierarchical designs. | Alan Mishchenko | 2018-02-05 | 1 | -1/+1 |
* | Profiling quantification and other changes. | Alan Mishchenko | 2017-11-06 | 1 | -0/+61 |
* | Improvements to truth table manipulation. | Alan Mishchenko | 2017-10-05 | 1 | -2/+2 |
* | Small fixes for C++ compilers | Bruno Schmitt | 2017-07-04 | 1 | -1/+1 |
* | Logic restructuring after mapping. | Alan Mishchenko | 2017-04-23 | 1 | -2/+22 |
* | Logic restructuring after mapping. | Alan Mishchenko | 2017-04-19 | 1 | -4/+4 |
* | Logic restructuring after mapping. | Alan Mishchenko | 2017-04-19 | 3 | -49/+326 |
* | Logic restruturing after mapping. | Alan Mishchenko | 2017-04-17 | 1 | -0/+124 |
* | Logic restruturing after mapping. | Alan Mishchenko | 2017-04-17 | 2 | -0/+23 |
* | Experiments with hashing. | Alan Mishchenko | 2017-04-08 | 3 | -1/+56 |
* | Experiments with don't-cares. | Alan Mishchenko | 2017-04-08 | 3 | -22/+48 |
* | Experiments with don't-cares. | Alan Mishchenko | 2017-04-04 | 4 | -48/+169 |
* | Experiments with don't-cares. | Alan Mishchenko | 2017-04-04 | 3 | -170/+435 |
* | Experiments with don't-cares. | Alan Mishchenko | 2017-04-02 | 5 | -308/+579 |
* | Experiments with don't-cares. | Alan Mishchenko | 2017-03-31 | 1 | -2/+2 |
* | Experiments with don't-cares. | Alan Mishchenko | 2017-03-31 | 2 | -60/+195 |