summaryrefslogtreecommitdiffstats
path: root/src/base/acb
Commit message (Expand)AuthorAgeFilesLines
* Various changes.Alan Mishchenko2021-10-221-0/+2
* Adding command &reshape.Alan Mishchenko2021-09-211-21/+0
* Various changes.Alan Mishchenko2021-09-212-8/+14
* Various changes.Alan Mishchenko2021-09-141-9/+16
* Various changes.Alan Mishchenko2021-09-021-5/+253
* Adding input/output/flop name reading in command &r.Alan Mishchenko2021-08-221-0/+39
* Adding timeout to several commands.Alan Mishchenko2020-12-072-9/+18
* Improving MFFC computation code.Alan Mishchenko2020-09-172-164/+166
* Compiler warnings.Alan Mishchenko2020-09-131-1/+1
* Experiments with iterative synthesis.Alan Mishchenko2020-09-132-20/+66
* Fixing a typo in setting the miter type.Alan Mishchenko2020-09-061-1/+1
* Experiments with ICCAD CAD benchmarks (Problem A).Alan Mishchenko2020-09-032-7/+627
* Experiment with structural similarity.Alan Mishchenko2020-07-161-0/+15
* Adding new utility procedures.Alan Mishchenko2020-05-113-45/+149
* Adding new utility procedures.Alan Mishchenko2020-05-103-9/+172
* Experimental resubstitution.Alan Mishchenko2020-05-032-2/+6
* Fixing broken build and compiler warnings.Alan Mishchenko2020-04-171-1/+1
* Fixing broken build and compiler warnings.Alan Mishchenko2020-04-171-2/+2
* Various changes.Alan Mishchenko2020-04-102-1/+3
* Various changes.Alan Mishchenko2020-04-102-8/+106
* Various changes.Alan Mishchenko2020-04-082-31/+68
* Various changes.Alan Mishchenko2020-03-291-11/+10
* Various changes.Alan Mishchenko2020-03-212-8/+10
* Various changes.Alan Mishchenko2020-03-182-13/+171
* Ongoing changes to the simulator.Alan Mishchenko2020-03-092-13/+126
* Updating and extending simulation data structures.Alan Mishchenko2020-03-051-10/+28
* Changes to the old parser.Alan Mishchenko2020-03-021-6/+21
* Several misc changes.Alan Mishchenko2020-03-011-1/+8
* Adding commands to generate data for experiments.Alan Mishchenko2020-02-222-0/+56
* Experimental simulation based code.Alan Mishchenko2020-02-061-0/+2
* Cleaning up code and fixing for several typos.Alan Mishchenko2020-01-271-1/+1
* Bug fix in recently modified code.Alan Mishchenko2019-12-111-1/+1
* Bug fix in recently modified code.Alan Mishchenko2019-12-111-7/+9
* Changes to several APIs.Alan Mishchenko2019-12-052-9/+45
* Small changes.Alan Mishchenko2019-12-041-2/+8
* Adding macro to disable bridge output and APIs by popular demand.Alan Mishchenko2019-11-091-2/+2
* Changes to several APIs.Alan Mishchenko2019-11-033-60/+382
* Changes to several APIs.Alan Mishchenko2019-11-011-0/+1
* Fixing some warnings by adding cast from 'int' to 'size_t' in memset, memcpy,...Alan Mishchenko2019-03-051-1/+1
* Adding switch &w -n to modify the comment section of the AIGER file written.Alan Mishchenko2018-11-212-5/+5
* Complication problem fix.Alan Mishchenko2018-08-191-1/+1
* Updates to NDR format (flops, memories, signed mult, etc).Alan Mishchenko2018-04-291-1/+1
* The ECO code (fix to the broken build).Alan Mishchenko2018-04-281-2/+2
* The ECO code.Alan Mishchenko2018-04-251-2/+2494
* Improvements to NDR to represent hierarchical designs.Alan Mishchenko2018-02-051-1/+1
* Profiling quantification and other changes.Alan Mishchenko2017-11-061-0/+61
* Improvements to truth table manipulation.Alan Mishchenko2017-10-051-2/+2
* Small fixes for C++ compilersBruno Schmitt2017-07-041-1/+1
* Logic restructuring after mapping.Alan Mishchenko2017-04-231-2/+22
* Logic restructuring after mapping.Alan Mishchenko2017-04-191-4/+4