summaryrefslogtreecommitdiffstats
path: root/src/aig/gia/giaMuxes.c
Commit message (Expand)AuthorAgeFilesLines
* 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