summaryrefslogtreecommitdiffstats
path: root/src/aig/gia/giaPf.c
Commit message (Expand)AuthorAgeFilesLines
* Updating canonical form computation procedures (compiler warnings).Alan Mishchenko2019-03-051-1/+1
* Compiler warnings.Alan Mishchenko2015-02-191-5/+6
* Diabling pin-permutation in &nf mapper.Alan Mishchenko2015-02-081-0/+1353