summaryrefslogtreecommitdiffstats
path: root/src/aig/gia/giaChoice.c
Commit message (Expand)AuthorAgeFilesLines
* Integrating GIA with LUT mapping.Alan Mishchenko2012-10-241-0/+103
* Commenting out printout.Alan Mishchenko2012-10-101-2/+2
* Renamed reference counting APIs in GIA package.Alan Mishchenko2012-10-021-1/+1
* Fixed several important problems in choice computation (command 'dch').Alan Mishchenko2012-10-011-295/+67
* Improving computation of choices from equivalence classes.Alan Mishchenko2012-09-231-0/+498