summaryrefslogtreecommitdiffstats
path: root/src/opt/dau/dauGia.c
Commit message (Expand)AuthorAgeFilesLines
* Updates to delay optimization project.Alan Mishchenko2016-12-311-1/+1
* Updates to delay optimization project.Alan Mishchenko2016-12-311-1/+1
* Updates to delay optimization project.Alan Mishchenko2016-12-291-1/+1
* Adding support for minimalistic representation of LUT mapping.Alan Mishchenko2016-12-051-1/+1
* New SAT-based optimization package.Alan Mishchenko2016-12-041-2/+6
* New SAT-based optimization package.Alan Mishchenko2016-11-281-10/+32
* Integrating barrier buffers.Alan Mishchenko2014-12-111-1/+8
* Synchronizing packages.Alan Mishchenko2014-09-201-1/+1
* Updates and changes to several packages.Alan Mishchenko2014-07-201-3/+21
* Small changes in several packages.Alan Mishchenko2014-07-181-1/+2
* Added delay-oriented balancing to unmapping in &st.Alan Mishchenko2014-06-191-7/+207
* Integrating synthesis into the new BMC engine.Alan Mishchenko2013-10-021-4/+15
* Converting mapped AIG into strashed AIG.Alan Mishchenko2013-09-301-1/+62
* Producing AIG after structural mapping.Alan Mishchenko2013-09-301-5/+4
* Producing AIG after structural mapping.Alan Mishchenko2013-09-301-6/+5
* Producing AIG after structural mapping.Alan Mishchenko2013-09-301-2/+2
* Changing default values.Alan Mishchenko2013-09-291-1/+1
* Performance improvements in GIA package.Alan Mishchenko2013-09-271-0/+26
* Generation of plain AIG after mapping.Alan Mishchenko2013-09-271-0/+225