summaryrefslogtreecommitdiffstats
path: root/src/aig/gia/giaShow.c
Commit message (Expand)AuthorAgeFilesLines
* Experiments with CEC for arithmetic circuits.Alan Mishchenko2016-05-081-11/+224
* Experiments with CEC for arithmetic circuits.Alan Mishchenko2016-05-071-2/+2
* Update to &show to show AIGs with XORs and MUXes (derived by &st -m).Alan Mishchenko2016-05-041-2/+28
* Enabling native Gia visualization in &show.Alan Mishchenko2016-04-031-0/+369