summaryrefslogtreecommitdiffstats
path: root/src/aig/gia/giaMuxes.c
Commit message (Collapse)AuthorAgeFilesLines
* Enabling support for reading AIGs with XOR gates.Alan Mishchenko2022-06-051-0/+67
|
* New AIG restructuring feature.Alan Mishchenko2020-04-231-0/+181
|
* Various changes.Alan Mishchenko2020-03-211-4/+4
|
* Various changes.Alan Mishchenko2020-03-181-1/+1
|
* Adding switch &st -s for MUX restructring.Alan Mishchenko2019-04-211-0/+74
|
* New SAT-based optimization package.Alan Mishchenko2016-12-041-1/+1
|
* Experiments with CEC for arithmetic circuits.Alan Mishchenko2016-05-071-1/+1
|
* silence clang errors when compiling as C++Baruch Sterin2015-11-051-1/+1
|
* New TFI/TFO profiling code.Alan Mishchenko2015-07-101-17/+41
|
* New TFI/TFO profiling code.Alan Mishchenko2015-07-091-0/+289
|
* Integrating barrier buffers.Alan Mishchenko2014-12-111-6/+6
|
* New flavor of DSD-friendly 'eliminate'.Alan Mishchenko2014-12-091-0/+4
|
* Small changes.Alan Mishchenko2014-07-211-29/+34
|
* Improvements to profiling and printing statistics.Alan Mishchenko2014-07-091-3/+6
|
* Improvements to representation of choices.Alan Mishchenko2014-07-011-32/+21
|
* Improvements to power-aware mapping.Alan Mishchenko2014-06-231-1/+1
|
* Added command &mux_profile.Alan Mishchenko2014-06-221-65/+154
|
* Experiments with MUX profiling.Alan Mishchenko2014-06-191-16/+141
|
* Updates and bug fixes.Alan Mishchenko2014-06-151-0/+13
|
* Updates and bug fixes.Alan Mishchenko2014-06-151-0/+1
|
* Various modifications.Alan Mishchenko2014-06-121-6/+55
|
* Bug fix in &b when reference counters are given.Alan Mishchenko2013-11-301-0/+1
|
* Integrating synthesis into the new BMC engine.Alan Mishchenko2013-10-031-1/+1
|
* Changing default values.Alan Mishchenko2013-09-301-1/+2
|
* Performance balancing command &b.Alan Mishchenko2013-09-271-10/+10
|
* Unifying parameters for the &ps command.Alan Mishchenko2013-09-051-3/+3
|
* Multiplexer profiling.Alan Mishchenko2013-05-271-0/+322