summaryrefslogtreecommitdiffstats
path: root/src/aig/gia/giaBalAig.c
Commit message (Expand)AuthorAgeFilesLines
* Synchronizing various data-structures.Alan Mishchenko2017-07-041-2/+26
* Improving robustness of &b.Alan Mishchenko2016-10-151-2/+2
* Adding option to rehash AIG after mapping.Alan Mishchenko2016-04-271-1/+1
* Improvements to &b -das.Alan Mishchenko2015-09-181-7/+70
* Adding switch to &b to prevent dumplicated area when used in delay-mode (&b -...Alan Mishchenko2015-09-181-26/+26
* Commenting out assertion in &b, which does not hold.Alan Mishchenko2015-09-181-1/+1
* Integrating barrier buffers.Alan Mishchenko2014-12-111-0/+19
* Spurious assertion.Alan Mishchenko2014-09-171-1/+1
* Code restructuring.Alan Mishchenko2014-09-161-0/+989