summaryrefslogtreecommitdiffstats
path: root/src/aig/gia/giaShow.c
Commit message (Collapse)AuthorAgeFilesLines
* Experiments with don't-cares.Alan Mishchenko2017-04-081-1/+1
|
* Improvements in AIG visualization.Alan Mishchenko2017-02-051-12/+15
|
* Updates to arithmetic verification.Alan Mishchenko2017-01-151-3/+10
|
* Updates to arithmetic verification.Alan Mishchenko2017-01-141-6/+8
|
* Updates to arithmetic verification.Alan Mishchenko2017-01-131-10/+18
|
* Adding print-out of critical path for mapped AIGs to &show.Alan Mishchenko2017-01-131-9/+301
|
* Changing file naming in 'show' and '&show'.Alan Mishchenko2017-01-111-6/+2
|
* Updates to arithmetic verification.Alan Mishchenko2017-01-101-6/+0
|
* Several changes in arithmetic circuit manipulation.Alan Mishchenko2016-12-221-5/+7
|
* Bug fix in 'dsat <file.cnf>' when the number of classes in listed incorrectly.Alan Mishchenko2016-12-131-6/+6
|
* Improvements to GIA visualization.Alan Mishchenko2016-12-081-1/+0
|
* Improvements to GIA visualization.Alan Mishchenko2016-12-081-265/+505
|
* 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