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