summaryrefslogtreecommitdiffstats
path: root/src/aig/gia/giaBalance.c
Commit message (Expand)AuthorAgeFilesLines
* Improving GIA interfaces for some procedures.Alan Mishchenko2014-08-251-2/+2
* Correcting incorrect handling of timing in several &-commands.Alan Mishchenko2014-08-251-34/+8
* Propagating timing support to the new synthesis/mapping commands.Alan Mishchenko2014-08-201-0/+6
* Increasing the size of pre-allocated memory in &syn2.Alan Mishchenko2014-08-111-1/+1
* Adding delay optimization to synthesis script &syn2.Alan Mishchenko2014-08-081-3/+50
* Updates and changes to several packages.Alan Mishchenko2014-07-201-0/+1
* Updates and bug fixes.Alan Mishchenko2014-06-151-1/+5
* Adding more features to the synthesis script &syn2.Alan Mishchenko2014-06-141-6/+17
* Various modifications.Alan Mishchenko2014-06-131-1/+2
* Various modifications.Alan Mishchenko2014-06-121-8/+8
* Integrating recent changes.Alan Mishchenko2014-06-121-8/+12
* Propagating initial PI level during balancing.Alan Mishchenko2013-11-151-0/+45
* Corner-case bug in synthesis commands.Alan Mishchenko2013-11-011-0/+6
* Adding new synthesis scripts.Alan Mishchenko2013-10-231-2/+68
* More accurate level calculation in AIG balancing.Alan Mishchenko2013-10-221-5/+14
* Integrating synthesis into the new BMC engine.Alan Mishchenko2013-10-031-6/+6
* Integrating synthesis into the new BMC engine.Alan Mishchenko2013-10-021-4/+6
* Integrating synthesis into the new BMC engine.Alan Mishchenko2013-10-021-0/+1
* Integrating synthesis into the new BMC engine.Alan Mishchenko2013-10-021-7/+47
* Changing default values.Alan Mishchenko2013-10-021-2/+2
* Converting mapped AIG into strashed AIG.Alan Mishchenko2013-09-301-4/+11
* Changing default values.Alan Mishchenko2013-09-301-3/+4
* Changing default values.Alan Mishchenko2013-09-301-1/+1
* Changing default values.Alan Mishchenko2013-09-301-8/+26
* Changing default values.Alan Mishchenko2013-09-301-19/+34
* New logic sharing extraction.Alan Mishchenko2013-09-291-1/+1
* Updating logic extraction.Alan Mishchenko2013-09-291-2/+3
* Updating logic extraction.Alan Mishchenko2013-09-291-11/+58
* Changing default values.Alan Mishchenko2013-09-291-2/+3
* New logic sharing extraction.Alan Mishchenko2013-09-281-68/+97
* New logic sharing extraction.Alan Mishchenko2013-09-281-61/+575
* Performance balancing command &b.Alan Mishchenko2013-09-271-0/+328