summaryrefslogtreecommitdiffstats
path: root/src/aig/gia/giaShow.c
Commit message (Expand)AuthorAgeFilesLines
* Updates to arithmetic verification.Alan Mishchenko2016-08-051-6/+10
* Small changes for today's experiments.Alan Mishchenko2016-06-031-1/+10
* Enabling AIGs without structural hashing.Alan Mishchenko2016-05-201-1/+1
* Experiments with CEC for arithmetic circuits.Alan Mishchenko2016-05-111-1/+1
* 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