summaryrefslogtreecommitdiffstats
path: root/src/aig/gia/giaShow.c
Commit message (Expand)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
generated by cgit v1.2.3 (git 2.25.1) at 2024-11-05 12:50:51 +0000