summaryrefslogtreecommitdiffstats
path: root/src/aig/gia/giaIiff.h
Commit message (Expand)AuthorAgeFilesLines
* Adding API to dump MiniAIG into a Verilog file and other small changes.Alan Mishchenko2017-10-221-0/+54