summaryrefslogtreecommitdiffstats
path: root/src/aig/gia/giaShow.c
Commit message (Expand)AuthorAgeFilesLines
* 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-07-14 02:58:20 +0000