summaryrefslogtreecommitdiffstats
path: root/src/aig/gia/giaSupp.c
Commit message (Expand)AuthorAgeFilesLines
* Fixing bronken C++ build; Satoko internal header, solver.h, should not be use...Bruno Schmitt2017-08-291-4/+3
* Commenting out things in GIA constant sweeping.Alan Mishchenko2017-07-141-3/+3
* Experiments with support minimization.Alan Mishchenko2017-04-291-0/+549
* Experiments with support minimization.Alan Mishchenko2017-04-271-0/+338