summaryrefslogtreecommitdiffstats
path: root/src/aig/gia/giaFx.c
Commit message (Expand)AuthorAgeFilesLines
* Removing verbose output in &cec and &syn4.Alan Mishchenko2016-07-131-2/+2
* Several bug fixes and silencing requests.Alan Mishchenko2015-03-161-1/+3
* Several small bug fixes.Alan Mishchenko2015-01-171-0/+1
* Organizing commands for barbuf-aware flow.Alan Mishchenko2015-01-171-12/+16
* Improving GIA interfaces for some procedures.Alan Mishchenko2014-08-251-1/+1
* Correcting incorrect handling of timing in several &-commands.Alan Mishchenko2014-08-251-0/+1
* Computing AIG using DSD instead of factored forms in &fx.Alan Mishchenko2013-10-021-21/+56
* Producing AIG after structural mapping.Alan Mishchenko2013-09-301-1/+1
* Changing default values.Alan Mishchenko2013-09-301-12/+14
* New logic sharing extraction.Alan Mishchenko2013-09-291-0/+442